白盒测试:理论基础 – 明-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。,也执意说,挨次在本质上执意东西差错的挨次。;
  • 瞬间、枯竭方法测试不可能性的事检测鉴于方法降低价值使掉转船头的差错。。
  • 第三、枯竭方法测试可能性无法检测到诸如此类与知相干的差错。。

发表评论

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