白盒测试:理论基础 – 明-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。,也执意说,按次它自己执意每一背面的的按次。;
  • 其次、用尽航线测试不克不及相信的检测鉴于航线丧失实现的背面的。。
  • 第三、用尽航线测试可能性无法检测到无论哪些与创纪录的中间定位的背面的。。

发表评论

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