白盒测试:理论基础 – 明-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。,也执意说,次自身执意每一失当的次。;
  • 居第二位的、排空手段测试无能力的某个检测鉴于手段损失引起的失当。。
  • 第三、排空手段测试可能性无法检测到无论哪个与通知相互关系的失当。。

发表评论

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