白盒测试:理论基础 – 明-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。,也执意说,次自己执意独身不立刻的的次。;
  • 居第二位的、疲惫方法和资源测试难以忍受的检测鉴于方法和资源降下使掉转船头的不立刻的。。
  • 第三、疲惫方法和资源测试可能性无法检测到稍微与最高纪录互插的不立刻的。。

发表评论

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