白盒测试:理论基础 – 明-Ming

2016-08-23

目录册

1 白盒测试的想法
2 白盒测试的次要踢向
3 测试增殖体普遍的
4 白盒测试的次要办法
逻辑车道测试
.1 陈述增殖体
.2 方针决策增殖体(部门增殖体率)
.3 条款增殖体
.4 断定/条款增殖体
.5 条款结成增殖体
.6 黑箱法补足的测试用例
方法和资源测试
.1 根本方法和资源测试
1) 把持替换流程图
2) 孤独方法和资源
3) 根本方法和资源测试
4) 器办法:图形矩阵
5 把持作文测试的以此类推变型
条款测试
.1 条款
.2 条款测试的踢向
.3 条款测试战略
弯曲局部测试
6 霉臭对付靶子的白盒测试
类测试法
.1 作文性测试
7 白盒测试器
8 总结
白盒测试的次要办法的优缺陷
衰竭方法和资源测试的起限工业用的控制

1 白盒测试的想法


 复回

白盒测试也称作文测试或逻辑车道测试,是一种测试用例设计办法,它从挨次的把持作文章派生测试用例。。(测试用例由测试输入记载跟随与之对应的输入发生结合。)

白盒测试运用被测单元内容方法任务的音讯,它容许测试人事部门设计和选择内容逻辑的测试用例。,测试挨次的逻辑方法和资源。本使用挨次行为原则的内容逻辑知,测试本增殖体迷住行为原则。、部门、方法和资源、条款。

2 白盒测试的次要踢向


 复回

  • 许诺每一模块正中鹄的迷住孤独方法和资源反正被创造一次;
  • 迷住逻辑值都需要测试、假两枝;
  • 运转左右疆界和可运转区域内的迷住弯曲局部。;
  • 反省内容记载作文以确保其无效性。

3 测试增殖体普遍的


 复回

白箱法的标点:本挨次内容逻辑的测试用例设计,因而也称为逻辑增殖体办法。。白箱法的使用,你霉臭有挨次普遍的和挨次清单。。

白盒办法将测试用例的增殖体率思索在内。。最彻底的白箱法是增殖体挨次正中鹄的每条款方法和资源,不管到什么程度鉴于挨次通常牵制每一弯曲局部,因而方法和资源的等同很大,创造每个方法和资源是不克不及相信的的。,你但是期望尽量多地增殖体。。

图1 挨次流程图

图1包含20次弯曲局部。。这么它牵制的意见分歧创造方法和资源的等同高达5。20(=1013)条,防备你想做每一很差的测试,增殖体迷住方法和资源。测试挨次测试每个方法和资源需要1手写本。,同
战利品每天24小时。,年365天, 到这地步,您要测试图中所示的applet的迷住方法和资源。,需要3170年。

测测试增殖体率,需要扩展车队普遍的,眼前,高度地经用的增殖体普遍的分离由低到高。:

  • 陈述增殖体:是每一构成弱的测试普遍的,其意思是:选择十足的测试用例,这样地挨次正中鹄的每个陈述反正可以创造一次。。它是最软弱的的逻辑增殖体。,终结乘客名额有限制的,它霉臭与以此类推办法交互式的运用。。
  • 断定增殖体(也称部门增殖体):创造十足的测试用例,使挨次的每每一部门反正经过一次。。方针决策增殖体率比结算单增殖体率略强相当多的。,但实践终结显示,只确定增殖体地域,不克不及许诺在司法条款下发展不好的。。到这地步,需要更多的逻辑增殖体普遍的来测试内容条款。。
  • 条款增殖体:创造十足的测试用例,使挨次正中鹄的每每一断定的每每一可能性值反正运转一次。;条款增殖体深化到方针决策正中鹄的每个条款中。,但可能性不克不及清偿过的断定增殖体的盘问。
  • 断定/条款增殖体:创造十足的测试用例,照着使每个条款都能推进迷住可能性的值。,使每每一确定都有杂多的可能性的发生。方针决策/条款增殖体是有缺陷的。从表面上视图,它测试迷住条款的值。。但立契转让并非如此。。有些条款常常潜匿了以此类推条款。。短少不好的的高度地条款。彻底反省迷住条款的花费,我们的需要使消释在DEISISI中发生的复合条款态度。,外形每一由多个根本方针决策嵌套的流程图。这将性质上反省迷住的条款如果绝对的。。
  • 条款结成增殖体:举十足的范例,到这地步每个方针决策中每个条款的结成都是在。这是每一相当强的增殖体普遍的。,可以反省可能性条款结成的绝对的性。。它非但容纳了迷住可能性的条款结成。,它也可以容纳迷住睿智的断定部门。,不管到什么程度有些方法和资源可能性会丧失。测试不完整的。

4 白盒测试的次要办法


 复回

  1. 逻辑车道测试
    • 陈述增殖体
    • 方针决策增殖体(部门增殖体率)
    • 条款增殖体
    • 断定/条款增殖体
    • 条款结成增殖体
  2. 根本方法和资源测试

    • 设计十足的测试用例,运转所测挨次,重写挨次中迷住可能性的方法和资源。这是最强的增殖体控制。。但当方法和资源数大时,很难真正增殖体全增殖体,增殖体方法和资源的等同霉臭紧缩到必然限制。。

逻辑车道测试

.1 陈述增殖体

挨次1如次:

PROCEDURE M(var) A,B,X:真实的);
BEGIN
IF (A>1) AND (B=0) THEN X:=X/A ;
IF (A)2) OR (X>1) THEN X:=X+1 ;
END

图2 挨次流程图

在挨次中反正建立一次陈述,只需设计每一可以经过方法和资源ACE的范例。,可以跑到结算单增殖体普遍的。诸如,选择输入记载:

A=2,B=0,X=3

缺陷: 从后面的范例可以看出,陈述增殖体实践上高度地软弱的

  • 防备第每条款款陈述正中鹄的AND不好的地编写成OR,前述的测试用例无法检测到该不好的。;
  • 在在旁边第三个条款陈述中,x> 1被以为理所当然是x> 0。,即将到来的测试用例也不克不及结束它。;
  • 不过,当创造方法和资源ABD时,x的值麝香保养不动。,防备这小眼面有不好的,前述的两种测试记载都不在。。 

.2 方针决策增殖体(部门增殖体率) 

挨次1,防备设计了两个用例,使他们经过方法和资源ACE和ABD,或经过方法和资源ACD和Abe,可以跑到方针决策增殖体的普遍的,为了这个目的,您可以选择输入记载:

  • A=3,B=0,X=1 (沿ACD方法和资源创造);
  • A=2,B=1,x=3(沿ABE方法和资源创造)

优点:部门增殖体比结算单增殖体更绝对的,鉴于防备每个部门都被创造了,每个陈述也被创造。。

缺陷:不管到什么程度,部门增殖体率还不敷

  • 两个测试侦查终成泡影了<=1的不动产权
  • 两个测试用例未能反省当创造方法和资源ABD时,x的值如果保养不动。

.3 条款增殖体

大量条款常常牵制在每一确定中。,在挨次中,断定 (A>1) AND (b=0)牵制两个条款: A>1跟随 B=0,到这地步,可以引入更强的增殖体原则——条款C。。

挨次1有四条款:

A>1 、B=0、A=2、X>1
为了跑到条款增殖体普遍的,需要在A点创造十足的测试用例。:
A>1、A≤1、B=0、B≠0
在B点:
A=2、A≠2、X>1、X≤1
现时,独一无二的两个测试用例被设计来清偿过的即将到来的普遍的。:

  • A=2,B=1,X=4 (沿着安倍的方法和资源创造);
  • A=1,B=0,X=1 (沿方法和资源创造ABD)。

优点:条款增殖体通常强于部门增殖体。,鉴于它使判断正中鹄的每每条款款都推进两个意见分歧的发生。,方针决策增殖体不许诺这相当多的。。

缺陷:有条款增殖体不牵制部门增殖体,诸如,两个用例不具有增殖体方针决策(A> 1)。 and B=0)在附近的真值的不动产权

.4 断定/条款增殖体

挨次1,下面的用例是清偿过的方针决策/条款增殖体的:

  • A=2,B=0,X=4 (沿着ACE方法和资源)
  • A=1,B=1,X=1 (沿着ABD方法和资源)

优点:两个条款增殖体,有每一方针决策增殖体

缺陷:表面的部门/条款增殖体,它测试迷住条款的值。,但立契转让上,有些条款潜匿了以此类推条款。。 

  • 在附近的第每一态度(A>1) and b=0)防备(a>1)为false,则普通汇编者不确定如果。
  • 居第二位的个态度(A=2) or X>1)来说,防备a=2结帐发生为真,我们的以为态度的发生是绝对的的。,此刻,不再反省x> 1条款。。

到这地步,部门/条款增殖体,逻辑态度正中鹄的不好的没什么无不找到的。。

.5 条款结成增殖体

挨次1,下面的用例是条款增殖体的结成:

再次检查挨次1,我们的需要选择右手的用例。,工业以下内容 迷住8种条款结成可以呈现。:

1) A>1, B=0  2) A>1, B≠0  3) A≤1, B=0  4) A≤1, B≠0

5) A=2, X>1  6) A=2, X≤1  7) A≠2, X>1  8) A≠2, X≤1

5) 、6) 、7)、8)四例为居第二位的例。 条款陈述的条款结成,X的值是在陈述先发制人计算的。,到这地步,我们的霉臭计算挨次门口点x的输入值。。

下面设计的四用例可以创造前述的 这8个条款的结成反正是一次。:

  • A=2,B=0,X=4 使 1)、5)两种不动产权呈现 (沿着ACE方法和资源);
  • A=2,B=1,X=1 使 2)、6)两例探察的呈现 (沿着ABD方法和资源);
  • A=1,B=0,X=2 使 3)、7)两例探察的呈现 (沿着安倍路);
  • A=1,B=1,X=1 使 4)、8)两例探察的呈现 (沿着ABD方法和资源)。

优点:两个条款增殖体,有每一方针决策增殖体,条款结成增殖体

缺陷:下面四范例虽有清偿过的条款结成增殖体,但它没什么克不及增殖体挨次正中鹄的每条款方法和资源。,诸如,缺乏创造方法和资源ACD。

.6 黑箱法补足的测试用例

运用从前的逻辑来车道测试办法,我们的可以通用两个收场白:

  • 条款结成增殖体的普遍的优于以此类推CRIT。。
  • 如果跑到增殖体普遍的,实验发生尚不彻底。,我们的还需要补足的以此类计划试办法。。

黑匣子补足的战略的指的是是:

1) 在无论哪些不动产权下都需运用疆界值剖析(即将到来的办法应包含对输入和输入的疆界值举行剖析)。
2) 需要的话,运用均势分类学补足的局部测试用例。
3) 运用不好的计划添加测试用例。
4) 反省前述的示例的逻辑增殖体,防备不清偿过的一点点增殖体普遍的,添加十足的测试用例。
5) 防备功用阐明中意义输入条款的结成不动产权,在开端时,因果图(方针决策表)办法可以运用FI。。

 方法和资源测试

方法和资源测试执意设计十足的测试用例,增殖体被测试靶子正中鹄的迷住可能性方法和资源。

.1 根本方法和资源测试

挨次1是每一高度地简略的挨次应变量,独一无二的四条路。但在实践中,每一不太复杂的挨次,这条路是每一巨万的数字。,要在测试中增殖体迷住方法和资源是不现实的。为了处置即将到来的成绩,我们的霉臭将增殖体方法和资源的等同缩减到必然的限制。,诸如,挨次正中鹄的弯曲局部体只创造一次。。

根本方法和资源测试这是一种测试办法,它是以挨次把持图为根底的。,把持作文的赢利复合物剖析,派生一组根本的可创造方法和资源,测试用例的设计办法。设计的测试用例麝香确保PRO的每个可创造陈述。。

本挨次把持流程图,把持作文的赢利复合物,派生一组根本的可创造方法和资源,设计测试用例。它包含以下4个工序和器办法:

  1. 挨次把持流程图:一种象征挨次把持流的图解办法。
  2. 挨次圆复杂的事物:McCabe复合物度量。从挨次的复杂的事物,孤独PA的数量,这是确定每个E测试用例标号的下限。。
  3. 通道测试侦查:本赢利复杂的事物和PRO的设计生动的例子记载输入和预料发生。
  4. 预备测试用例:确保根本方法和资源集合每个方法和资源的创造。。

器办法:

  1. 图形矩阵:是在根本方法和资源测试中起附带功能的软件器,运用它,我们的可以无意识或下意识行为确定每一根本方法和资源集。。
1) 把持替换流程图

在引入根本方法和资源办法先发制人,我们的霉臭率先引见一种简略的把持流表现办法。,替换流程图。流程图是每一测试挨次的替换的表现。。流程图运用以下作记号来象征逻辑把持FL,每个作文化元素具有对应的替换流程图作记号。。

图3 替换流程图作记号

流程图中独一无二的两种图形作记号。

  • 图正中鹄的每个圈称为替换流程图的混合词。,表现每一或多个陈述。
  • 流程图正中鹄的箭头记号称为边或衔接。,典型把持流。

无论哪些替换设计都应转变为把持流程图。。

将挨次流程图使容易为把持流程图,应小心:

  • 在选择或多部门作文章,部门的给磨边独特的收敛混合词。。
  • 疆界和混合词勾勒的区域称为区域。,计算区域时,图形远处的区域也麝香作为每一区域来记得。。

图4 把持替换流程图

防备断定正中鹄的条款态度由每一或多个逻辑结合 (或), 和) 衔接的复合条款态度,它需要用每条款款来时尚界为车队嵌套断定。。

图5 挨次作文到流程图的替换

2) 孤独方法和资源

孤独方法和资源:反正沿着新暧昧的行动的方法和资源

图6 孤独方法和资源

前述的方法和资源的遍历,这预示反正创造一次挨次正中鹄的迷住陈述。

3) 根本方法和资源测试 

最好者步:绘制把持流程图

流程图用于象征挨次把持作文。。可将流程图测绘到每一相配的替换流程图(防备流程图的含片确定框中不牵制复合条款)。

  • 替换流程图正中鹄的圆,称为替换流程图的混合词,表现每一或多个陈述。处置盒序列和方块方针决策帧可以被测绘到NO。;
  • 流程图正中鹄的箭头记号,称为边或衔接,典型把持流,类似地流程图正中鹄的箭头记号。霉臭在每一混合词止付每一边。,如果混合词不代表无论哪些陈述(诸如,:if-else-then作文);
  • 由每一混合词和每一混合词限制的地域称为每一区域。。面积的计算应包含G的表面地域。。

图7 挨次流程图

图8 挨次流程图及相配的把持流程图

居第二位的步:计算圆复合物

弯曲局部复合物是开价定量度量的软件度量。,即将到来的度量被用来计算孤独的孤独方法和资源的数量。,确保迷住陈述均为EXE的测试次数的下限。。

孤独方法和资源霉臭牵制每一未在后面运用的暧昧的。。

有以下三种办法计算圆复合物:

  1. 替换流程图正中鹄的区域的等同对应于;
  2. 确定的替换流程图G的圈复杂的事物V(G),限制为V(G)=E-N 2,E是替换流程图正中鹄的边数。,n是替换流程图中混合词的数量;
  3. 确定的替换流程图G的圈复杂的事物V(G),限制为V(G)=P+1,P是替换流程图G中确定的混合词的数量。。

第三步:通道测试侦查

理智前述的计算办法,可以取得四条孤独的方法和资源。孤独方法和资源是指,与以此类推孤独方法和资源相形,反正引入新的处置陈述或新的断定替换PA。。V(g)的值赶巧量Th的孤独方法和资源数。。)

  • 方法和资源1:4-14
  • 方法和资源2:4-6-7-14
  • 方法和资源3:4-6-8-10-13-4-14
  • 方法和资源4:4-6-8-11-13-4-14

月的第四日步:预备测试用例

为了确保根本方法和资源集合每个方法和资源的创造。,断定混合词发生的条款,选择足够的记载以确保可以测试方法和资源。,清偿过的前述的示例的根本方法和资源集的测试用例是:

方法和资源1:4-14
输入记载:iRecordNum=0,或接纳记载<0的某每一值  预料发生:x=0

方法和资源2:4-6-7-14
输入记载:iRecordNum=1,Iype=0的预料发生:x=2

方法和资源3:4-6-8-10-13-4-14
输入记载:iRecordNum=1,Iype=1的预料发生:x=10

方法和资源4:4-6-8-11-13-4-14
输入记载:iRecordNum=1,Iype=2的预料发生:x=20

霉臭小心,高度地孤独的方法和资源,它常常做错完整使隐退的。,间或它是挨次常常地把持流的一局部。,这时,这些方法和资源的测试可以是另每一方法和资源测试的一局部。。

4)器法:图形矩阵

导出把持流程图及确定根本测试的替换,附带根本方法和资源测试软件器的勋绩,它高尚的图形矩阵(图)。 矩阵的记载作文高度地有益于。。

应用图形矩阵可以创造无意识或下意识行为地确定每一根本方法和资源集。每一图形矩阵是每一正方形大楼。

  • 行/列数把持替换流程图正中鹄的混合词数,每行和列接连着对应于认识的混合词。,
  • 矩阵元素与混合词(即,侧)经过的衔接。。

养育每个矩阵项的衔接使变重(相干) 分量),图矩阵可以用来评价挨次的把持作文。,衔接使变重为把持流开价附加音讯。。在最简略的不动产权下,衔接使变重值为 1(持续在衔接)或0(无衔接),不管到什么程度,衔接使变重值可以发生更风趣的属性:

  • 创造衔接的概率(边)。
  • 跨绳衔接的处置时期。
  • 穿插衔接所需的内存。
  • 穿插衔接所需的资源。

图9 图形矩阵

衔接权1表持续在衔接。,在图中,防备支座 反力影响线具有两个或多个元素,则为1。,由该行表现的混合词霉臭是方针决策混合词。,在衔接矩阵中有两个鉴于的元素(包含两个元素)。,您可以推进替代的算法来确定弯曲局部的复合物。。

5 把持作文测试的以此类推变型


 复回

下面象征的根本方法和资源测试技术是把持作文经过。。虽有根本方法和资源测试简略无效,不管到什么程度,它本质上是不敷的。下面议论把持作文测试的以此类推变型,这些测试增殖体并放了白盒测试的上流社会的。包含:

  1. 条款测试
  2. 记载流测试 (稍微)
  3. 弯曲局部测试。

 条款测试

条款测试办法注意于测试替换正中鹄的条款。。一种测试用例设计办法,它反省牵制在。

.1 条款

挨次正中鹄的条款分为简略条款和复合条款。。

简略条款是乔治英国数学家和逻辑学家变量或可能性做错!经营者的相干式。相干态度的版式,诸如:

E1 <相干运算符> E2

内脏E1和E2是算术态度。,而且<相干运算符>是其次的经过:“<”、“≤”、“=”、“≠”(“!=”)、“>”、或>。

复合条款经过简略的条款,布尔运算符(和、OR、未衔接到排除,不牵制相干态度的条款称为乔治英国数学家和逻辑学家应变量。。

到这地步,条款的部件典型包含:乔治英国数学家和逻辑学家举动符、乔治英国数学家和逻辑学家变量、乔治英国数学家和逻辑学家排除(包含简略或复杂的条款)、相干举动符、算术态度。

.2 条款测试的踢向

条款测试是测试挨次和以此类推挨次的不好的条款。。防备挨次的测试集可以检测挨次正中鹄的条款不好的,测试集还可以性质上检测挨次正中鹄的以此类推不好的。。不过,防备测试战略对检测条款无效,它也可以性质上检测挨次不好的。。

.3 条款测试战略

1) 衰竭测试(条款结成)

具有n个变量的乔治英国数学家和逻辑学家态度需要2n每一可能性的测试(n>0)。该战略可以检测乔治英国数学家和逻辑学家经营者。、不好的和排除不好的,不管到什么程度独一无二的当N高度地有益于的时分。

2) 部门测试

部门测试可能性是最简略的条款测试战略。,这是每一霉臭反正创造一次的方法和资源战略。,在附近的复合条款C,C的真分歧和假分歧跟随C正中鹄的每个简略条款需要t。

域测试是大于、少值相当的测试方法和资源战略。域测试需要从辩论ExPR中导出三或四测试。,合理的服装态度的版式,如:

E1 <相干运算符> E2

需要三个测试分离用于计算E1的值是大于、量或以内E2的值。防备相干运算符>不好的,E1和E2是绝对的的,这三个测试可以检测相干举动符正中鹄的不好的。。找出E1和E2的不好的,E1以内或大于E2的测试麝香发生辨别。。

3) 部门机构 and 相干式) 测试

防备在每一断定的复合条款态度中每个乔治英国数学家和逻辑学家变量和相干运算符至多只呈现一次,缺乏公共变量,使用一种称之为BRO(部门与相干运算符)的测试法可以发展多个乔治英国数学家和逻辑学家运算符或相干运算符错,以此类推不好的。

本BRO战略的条款约束想法引见。n个简略条款的复条款C,它的条款约束是 (D1,D2,…,Dn) ,内脏,Di(0<i以内n)是条款C中条款I的输入约束。。防备在C的创造中,每个简略条款的输入清偿过的相配的约束条款。,条款C的条款D由C.的创造增殖体。。在附近的乔治英国数学家和逻辑学家变量或乔治英国数学家和逻辑学家态度B,B的输入约束霉臭是真(t)或假(f);在附近的相干态度,它的输入约束是作记号、=、< 。

弯曲局部测试

弯曲局部测试是一种白盒测试技术,珍视圆形作文的无效性。

弯曲局部有四种。:简略弯曲局部,串行(连结)弯曲局部,嵌套弯曲局部、不控制弯曲局部。

图10 弯曲局部作文

在附近的简略弯曲局部,测试应包含以下内容,容许最大弯曲局部次数的n。。

  1. 零次弯曲局部:从血液循环口跳到血液循环口。
  2. 一次弯曲局部:查找弯曲局部原值正中鹄的不好的。
  3. 二次弯曲局部:反省可在多个骑自行车中表露的不好的。
  4. M次弯曲局部:在即将到来的时分,同样反省可在多个骑自行车中表露的不好的。
  5. n(最大)弯曲局部、n+1的骑自行车(大于最大次数)、n-1个骑自行车(以内最大次数的每一骑自行车)。

在附近的嵌套弯曲局部,不克不及相信的简略地将简略弯曲局部测试办法扩展到Neste。,鉴于可能性的测试的等同会跟随。这可能性会使遭受天文数字的测试。。这是一种有助于缩减测试次数的测试办法。。
从内容弯曲局部开端,将迷住以此类推层的骑自行车设置为最小量;

  1.  对最内环的每一简略弯曲局部的完整的测试。测试时,将迷住表面弯曲局部变量保养最小。。在旁边,跨界值与不正当的值的批准结帐。
  2.  逐渐外推,测试环路外。测试时保养迷住表面环路变量最小。,嵌套内环的迷住以此类推弯曲局部变量都采取典型值。。
  3.  倒转举行,直到迷住的层都被测试了。。
  4.  在迷住层同时取最小骑自行车,或同时取最大弯曲局部次数。在附近的后者的测试,鉴于测试太大,需要标明的最大弯曲局部次数。

在附近的串接弯曲局部,分别两种不动产权。

  • 防备弯曲局部彼此孤独,串行环路可以以简略环路的等于方法举行测试。。
  • 防备两个弯曲局部发生串行不动产权,前每一弯曲局部变量的值是下每一Loo的原值。。过后这些骑自行车做错互惠的孤独的。,您需要运用测试嵌套弯曲局部来处置它。。

在附近的非作文弯曲局部,无法测试,回收作文应重行设计,让它适宜替代的血液循环方法,过后再测试一遍。

6 霉臭对付靶子的白盒测试


 复回

霉臭对付靶子软件的类测试相当于国际公约测试的单元测试法。意见分歧于国际公约软件的单元测试法,他常常关怀模块的算法特定之物和记载流。,OO软件的类测试是由封装在TH正中鹄的举措车道的。。霉臭对付靶子软件测试的标点:

  • 鉴于封装了属性和举动。,类外举动的测试通常是白费的。。封装使靶子的不动产权严厉的话适宜使烦恼。。
  • 发扬光大也使试场适宜使烦恼。,如果它被完整重复运用,还需要对每每一新的运用工作平台举行重行测试。。
  • 多重的发扬光大养育了需要测试的左右文的等同。,而且使测试错杂。防备从超类派生的测试用例用于同每一成绩DOM,输入到超类的测试用例集是可能性的。,再,防备亚纲在完整意见分歧的左右文章运用,每一特大号商品类的测试用例不会的有太大的使用,霉臭设计一组新的测试用例。

类测试法

类测试有两种次要方法:

功用测试与作文测试,即对应于国际公约作文化软件的黑盒测试和白盒测试:

  • 功用测试本类的普遍的,它次要反省该类如果清偿过的其准则盘问。。诸如,堆栈类,也执意说,反省它的举动如果适合LIFO控制。;
  • 作文性测试从挨次动身,需要思索行为原则如果绝对的。,堆栈类同样平等地。,霉臭反省行为原则如果绝对的并反正创造一次。。

1作文实验

作文实验办法,它运用类作为每一单元来测试它。。测试分为两层。:

  • 第苗圃思索类中孤独办法的行为原则。;
  • 居第二位的层对办法间互惠的功能的思索。

每种办法的测试盘问都可以使用于迷住输入不动产权。,但这还不敷。,独一无二的这些办法经过的轻摇被测试。,可以以为测试是完整的的。。

在附近的类测试,类霉臭能绝对的地在表现符上任务。,证明应变量决定因素的选择与音讯的选择。到这地步,在这两个意见分歧的测试排列上应分离做到:

  • 办法的独立测试:作文性测试的第苗圃是思索各孤独的办法,这可以用与替换测试等于的方法运用。,二者经过最大的分别是办法时尚界了不动产权。,这预示取得潜匿不动产权音讯来报价发生。,传染给以此类推靶子的音讯被疏忽。,而做错一堆,并理智所传染的音讯复回相配的值,测试记载需要完整增殖体类正中鹄的行为原则。,它可以经过国际公约的测试技术取得。。
  • 办法综合的实验:居第二位的层要思索每一办法转乘本靶亚纲正中鹄的其它办法和从每一类向其它类发送音讯的不动产权。独立测试办法时,只思索本质上的创造。不思索举措的挨次成绩,转乘这些转乘的音讯被添加到测试用例中。,若要反省它们如果绝对的运转,请在山姆正中鹄的办法经过转乘,通常,只需要琐碎的或缺乏额定的记载。,鉴于办法都是对类的增长,到这地步,这种测试的普遍的是盘问T的迷住次要不动产权。。

7 白盒测试器


 复回

内存资源走漏反省:Numega正中鹄的bouncechecker,Rational的污染等;

行为原则增殖体反省:Numega的诚信过剩,Rational的Purecoverage,Telelogic公司的logiscope,麦卡比的马甲等;

开源增殖体测试软件GCOV等。。

8 总结


 复回

白盒测试的次要办法的优缺陷 

    确保增殖体陈述 确保增殖体部门 确保增殖体 确保增殖体结成 确保根本方法和资源被增殖体
逻辑车道测试 陈述增殖体 Y N N N N
断定增殖体 Y Y N N N
条款增殖体 N N Y N N
断定/条款增殖体 Y Y Y N N
条款结成增殖体 Y Y Y Y N
根本方法和资源测试 根本方法和资源测试 Y Y Y N Y

小心:

  • 根本方法和资源测试也能确保增殖体,鉴于:防备断定正中鹄的条款态度由每一或多个逻辑结合 (或), 和) 衔接的复合条款态度,它需要用每条款款来时尚界为车队嵌套断定。见图5。
  • 但根本方法和资源测试无法确保增殖体结成,鉴于:防备断定正中鹄的条款态度由每一或多个逻辑结合 (或), 和) 衔接的复合条款态度,防备OR衔接的前每一态度复回到true,后每一态度将回绝思索。;防备前每一态度和衔接复回到false,后每一态度将回绝思索。;

衰竭方法和资源测试的起限工业用的控制

白盒办法充满了解了内容逻辑作文。、测试迷住逻辑方法和资源。白盒办法是衰竭方法和资源测试。。运用此蓝图时,测试人事部门霉臭反省挨次的内容作文。,从反省挨次的逻辑开端,获取测试记载。经过挨次的孤独方法和资源的数量是天文数字。。不管到什么程度,如果每个方法和资源被测试,依然可能性在不好的。:

  • 最好者、衰竭方法和资源测试决不克不及检测挨次违背设计SPE。,也执意说,挨次本质上执意每一不好的的挨次。;
  • 居第二位的、衰竭方法和资源测试不克不及相信的检测鉴于方法和资源丧失使遭受的不好的。。
  • 第三、衰竭方法和资源测试可能性无法检测到无论哪些与记载相干的不好的。。

发表评论

电子邮件地址不会被公开。 必填项已用*标注