文档介绍：该【白盒测试 】是由【guoxiachuanyue005】上传分享，文档一共【12】页，该文档可以免费在线阅读，需要了解更多关于【白盒测试 】的内容，可以使用淘豆网的站内搜索功能，选择自己适合的文档，以下文字是截取该文章内的部分文字，如需要获得完整电子版，请下载此文档到您的设备，方便您编辑和打印。1
白盒测试的测试方法有代码检查法、静态结构分析法、静态质量度量法、逻辑覆盖法、基本路径测试法、域测试、符号测试、Z路径覆盖、程序变异。
其中运用最为广泛的是基本路径测试法。
基本路径测试法是在程序控制流图的基础上,通过分析控制构造的环路复杂性,导出基本可执行路径集合,从而设计测试用例的方法。
设计出的测试用例要保证在测试中程序的每个可执行语句至少执行一次。
在程序控制流图的基础上,通过分析控制构造的环路复杂性,导出基本可执行路径集合,从而设计测试用例。包括以下4个步骤和一个工具方法:
程序的控制流图:描述程序控制流的一种图示方法。
程序圈复杂度:McCabe复杂性度量。从程序的环路复杂性可导出程序基本路径集合中的独立路径条数,这是确定程序中每个可执行语句至少执行一次所必须的测试用例数目的上界。
导出测试用例:根据圈复杂度和程序结构设计用例数据输入和预期结果。
准备测试用例:确保基本路径集中的每一条路径的执行。
工具方法:
图形矩阵:是在基本路径测试中起辅助作用的软件工具,利用它可以实现自动地确定一个基本路径集。
程序的控制流图:描述程序控制流的一种图示方法。
圆圈称为控制流图的一个结点,表示一个或多个无分支的语句或源程序语句
懂序结构"1F选捋结构"While循环纯櫛•CASE雰分支站构"
□曲1循环菇构*
流图只有二种图形符号:
图中的每一个圆称为流图的结点,代表一条或多条语句。
流图中的箭头称为边或连接,代表控制流
任何过程设计都要被翻译成控制流图。
2
如何根据程序流程图画出控制流程图?
在将程序流程图简化成控制流图时,应注意:
n在选择或多分支结构中,分支的汇聚处应有一个汇聚结点。
n边和结点圈定的区域叫做区域,当对区域计数时,图形外的区域也应记为一个区域。
如下页图所示
n如果判断中的条件表达式是由一个或多个逻辑运算符(OR,AND,NAND,NOR)连接的复合条件表达式,则需要改为一系列只有单条件的嵌套的判断。
例如:
ifaorb
x
else
y
对应的逻辑为:
判断结点
3
判断结点
独立路径:至少沿一条新的边移动的路径基本路径测试法的步骤:
o第一步:画出控制流图
流程图用来描述程序控制结构。可将流程图映射到一个相应的流图(假设流程图的菱形决定框中不包含复合条件)。在流图中,每一个圆,称为流图的结点,代表一个或多个语句。
一个处理方框序列和一个菱形决测框可被映射为一个结点,流图中的箭头,称为边或连接,代表控制流,类似于流程图中的箭头。一条边必须终止于一个结点,即使该结点并不代表任何语句(例如:if-else-then结构)。由边和结点限定的范围称为区域。计算区域时应包括图外部的范围。
働h有T面的匚函数,***本蹈径珈试法进行测试
沁加如畑加加姒甜他矽口自孙
2.
4.
5.
6.
7.
3.
9
10.
jjalv=o^
岬big
11.
12.
13.
14.
i如二ilyaeH'
{x=y+2;break;}「else*-1
if(l=(职?xsy+10;i
else*'
x=y+20;^
判断结点
3
画出其程序流程图和对应的控制流图如下
判断结点
3
路径1:1一11*
6
6
4
o第二步:计算圈复杂度
圈复杂度是一种为程序逻辑复杂性提供定量测度的软件度量,将该度量用于计算程序的基本的独立路径数目,为确保所有语句至少执行一次的测试数量的上界。独立路径必须包含一条在定义之前不曾用到的边。
有以下三种方法计算圈复杂度:
流图中区域的数量对应于环型的复杂性;
给定流图G的圈复杂度V(G),定义为V(G)=E-N+2,E是流图中边的数量,N是流图中结点的数量;
路径1:1一11*
7
4
给定流图G的圈复杂度V(G),定义为V(G)=P+1,P是流图G中判定结点的数量。
对应上蓟图申的圏鬆関计算如下:"
涼图中有四个区域:#
V(G)=lCi条^-6^5*+2=4;卡
V(G)=31判定结点+1=4^+
路径1:1一11*
8
4
1.--4-5-10-1-1L-
路径3:
.-3-6-8-9-10-1-lb
路径4:
1-S-BFT-STOTT1、
对以上路径的遍历,就是至少一次地执行了程序中的所有语句口.
o第三步:导出测试用例
根据上面的计算方法,可得出四个独立的路径。(一条独立路径是指,和其他的独立路径相比,至少引入一个新处理语句或一个新判断的程序通路。V(G)值正好等于该程序的独立路径的条数。)
u路径1:4-14
u路径2:4-6-7-14
u路径3:4-6-8-10-13-4-14
u路径4:4-6-8-11-13-4-14
根据上面的独立路径,去设计输入数据,使程序分别执行到上面四条路径。
o第四步:准备测试用例
为了确保基本路径集中的每一条路径的执行,根据判断结点给出的条件,选择适当的数据以保证某一条路径可以被测试到,满足上面例子基本路径集的测试用例是:
路辻1:
9
笹人数据:瞼田軸11=艮或者*
取iRecordNum<0的某一牛值屮
预期结果;k=Qv
路径24-6-7-14-
输入歎幄聽腳戎te=3jiypkO
预期结果:f<=2*1
5&S3:4-6-9-10-13-4^14.
输川据:iEjecgndjJum-ljType-1^預期结黑:x=ig
路径4;4-6-a-11-13-4-14,
蚁感-SoMhK阳頤©防师himHY萌”
b{a
3-!JQiy=O;+,
(iE輙她UJL>映
6.
iF(少二①;妙*'
7,
{x=y十;
&.
else<'
9
if<i==iIW3妙
10.
x=y+10;1-
11.
else-
12.
s=y+20;*--
13.
';break;P
14”
举例说明:
例:下例程序流程图描述了最多输入50个值(以-1作为输入结束标志),计算其中有效
的学生分数的个数、总分数和平均值。
[
1*I
1-1iY\l=X^=O-ssujfG
nfenJ+E-
n>n]+11£uiFsi*+;scQxe[il-
jL
T-
IQt-
=L■
Averase=zu3f',nl»
i-ri■-
丁
T
墜回•
4
路辻1:
8
4
步骤1:导出过程的流图。
路辻1:
11
4
12
步骤2:确定环形复杂性度量V(G):
V(G)=6(个区域)
V(G)=E-N+2=16-12+2=6
其中E为流图中的边数,N为结点数;
V(G)=P+1=5+1=6
其中P为谓词结点的个数。在流图中,结点2、3、5、6、9是谓词结点。
步骤3:确定基本路径集合(即独立路径集合)。于是可确定6条独立的路径:
路径1:1-2-9-10-12
路径2:1-2-9-11-12
路径3:1-2-3-9-10-12
路径4:1-2-3-4-5-8-2…
路径5:1-2-3-4-5-6-8-2„
路径6:1-2-3-4-5-6-7-8-2…
步骤4:为每一条独立路径各设计一组测试用例,以便强迫程序沿着该路径至少执行一次。
路径1(1-2-9-10-⑵的测试用例:
4
14
score[k]二有效分数值,当k<i
score[i]=-l,2WiW50;
期望结果:根据输入的有效分数算出正确的分数个数nl、总分sum和平均分average。
路径2(1-2-9-11-12)的测试用例:
score]1]=-1;
期望的结果:average=-1,其他量保持初值。
路径3(1-2-3-9-10-12)的测试用例:
输入多于50个有效分数,即试图处理51个分数,要求前51个为有效分数;
期望结果:n1=50、且算出正确的总分和平均分。
路径4(1-2-3-4-5-8-2…)的测试用例:
score[i]二有效分数,当i<50;
score[k]<0,k<i;
期望结果:根据输入的有效分数算出正确的分数个数n1、总分sum和平均分average。
路径5的测试用例:
score[i]二有效分数,当i<50;
score[k]〉100,k<i;
期望结果:根据输入的有效分数算出正确的分数个数n1、总分sum和平均分average。
路径6(1-2-3-4-5-6-7-8-2…)的测试用例:
score[i]二有效分数,当i<50;
期望结果:根据输入的有效分数算出正确的分数个数n1、总分sum和平均分average。注意事项:
必须注意,一些独立的路径,往往不是完全孤立的,有时它是程序正常的控制流的一部分,这时,这些路径的测试可以是另一条路径测试的一部分。
方法工具:图形矩阵
o导出控制流图和决定基本测试路径的过程均需要机械化,为了开发辅助基本路径测试的软件工具,称为图形矩阵
4