基本路径法

结束
l 11
如果判定中的条件表达式是复合条件，即条件表 达式是由一个或多个逻辑运算符连接的逻辑表达 式，则需要改变复合条件的判断为一系列只有单 个条件的嵌套的判断。
复合条件分解控制流图
A>1 AND B=0
X= X/ A
（a ） 流程图
A>1
B=0
1
2 3
流程图
1
X=X/A
（c ） 详细流程图
设计测试用例
输入数据
1 iR=0 it=0
2 iR=1 iT=0
3 iR=1 iT=1
4 iR=1 iT=2
预期输出
X=0 Y=0
X=2 Y=0
X=10 Y=0
X=20 Y=0
3、图矩阵
图矩阵－即流图的矩阵表示。其维数等于流图的节点数。 每列和每行都对应于标识的节点，矩阵元素对应于节点 的边。
对应上面图中的圈复杂度，计 算如下：
✓ 流图中有四个区域；
J
✓ V(G)=11条边-9结点+2=4;
✓ V(G)=3个判定结点+1=4。
A
4
B
K
6
D
C
7
F8 G
E
10
11
H
I
13
14
确定路径
路径1：4—14 路径2：4—6—7—13—4—14 路径3：4—6—8—10—13—4—14 路径4：4—6—8—11—13—4—14
return s;
}
环形复杂度计算
1.流图中区域的数量对应于环形复杂度; 2.给定流图G的环形复杂度为V(G),定义为
V(G )=E-N+2, E是流图中边的数量,N是流图中节点的数量. 3.给定流图G的环形复杂度V(G),定义为 V(G)=P+1,P是流图G中判定节点的数量.
void Sort(int iRecordNum,int iType)
1{
2 int x=0;
3 int y=0;
4 while (iRecordNum-- > 0)
5{
6 if(0= =iType)
7 x=y+2;
8 else
9 if(1= =iType)
10
x=y+10;
11 else
12
x=y+20;
13 }
14 printf(“x=%d,y=%d”,x,y);}
16. }
int testCov(int a , int b)
{
用语句覆盖，条件覆盖、 判定覆盖、基本路径法 进行测试用例的设计
int s; s=1; if(a > 1 || b < 0 )
s = a + b;
else
if(a < = -1)
s = a - b;
else
s = a * b;
s = s + 1;
白盒测试-基本路径
基本路径测试的思想
在实践中，一个不太复杂的程序，其路径都是一个 庞大的数字，要在测试中覆盖所有的路径是不现实的。 为了解决这一难题，只得把覆盖的路径数压缩到一定限 度内，例如，程序中的循环体只执行一次。下面介绍的 基本路径测试就是这样一种测试方法，它在程序控制图 的基础上，通过分析控制构造的环行复杂性，导出基本 可执行路径集合，从而设计测试用例的方法。设计出的 测试用例要保证在测试中程序的每一个可执行语句至少 执行一次。
在选择或者是多分支结构中分支的汇聚处，即使 汇聚处没有执行语句也应该添加一个汇聚结点。
流程图
控制流图
1 a
2 c
f
b3
d 4 e 5
void Sort(int iR,int iT)
1{
2 int x=0;
3 int y=0;
4 while (iR-- > 0)
5{
6 if(0= =iT)
7
x=y+2;
2
3
2
1 if a or b
2x
3 else
4y
2、环形复杂度（圈复杂度）
一种为程序逻辑复杂度提供定量尺度的软件 度量.
亦可将该度量用于基本路径方法,它可以提供 程序基本集的独立路径数量和确保所有语句 至少执行一次的测试数量上界.
独立路径:指程序中至少引入一个新的处理语 句集合或一个新条件的程序通路,它必须至少 包含一条在本次定义路径之前不曾用过的边.
基本路径测试的4个步骤和一个工具方法：
1、程序的控制流图：描述程序控制流的一种图示方法。 2、程序圈复杂度：McCabe复杂性度量。从程序的环路复
杂性可导出程序基本路径集合中的独立路径条数，这 是确定程序中每个可执行语句至少执行一次所必须的 测试用例数目的上界。 3、准备测试用例：确保基本路径集中的每一条路径的执 行。 4、导出测试用例：根据圈复杂度和程序结构设计用例数 据输入和预期结果。 5、工具方法——图形矩阵：是在基本路径测试中起辅助 作用的软件工具，利用它可以实现自动地确定一个基 本路径集。
1
a
2
d
b
3
c
4
一个简单的流图
节点 1 2 3 4
1
a
2
b
3
c
4d
流图对应的矩阵图
说明
流图的节点一般用数字标识，边则可以用字母标 识。
上例中，若矩阵记为M，则M(4,1)＝“d”，表 示边d连接节点4和节点1。
需要注意的是，边d的方向是节点4到节点1
习题
根据左图给出的程序流 程图，完成以下要求：
6.
{
7.
if (c>='A'&&c<='Z'||c>='a'&&c<='z')
8.
i++;
9.
else if (c>='0'&&c<='9')
10.
j++;
11.
else
12.
k++;
13. c=getchar();
14.
}
15. printf("i=%d,j=%d,k=%d\n",i,j,k);
If语句
Case语句
包含条件的节点被称为判断节点（也叫谓词节点）
由判断节点发出的边必须终止于某一个节点，由 边和节点所限定的范围被称为区域。
这里我们假定在流程图中用菱形框表示的判定条 件内没有复合条件，而一组顺序处理框可以映射 为一个单一的结点。
控制流图中的箭头（边）表示了控制流的方向， 类似于流程图中的流线，一条边必须终止于一个 结点。
8 else
9 if(1= =iT)
10
x=y+10;
11 else
12
x=y+20;
13 }
14 printf(“%d”,x,y);}
画出其程序流程图和对应的控制流图如下：
4
6
7
8
10
11
13 14
A
4
B
K
J
6
D
C
7
F8 G
E
10
11
H
I
13
14
流程图
1
2
3
6
4
7
8
5
控制流图
1
a
2,3
d
e
b
6
f
g
4,5
c
8
7
i
j
h
9
k 10 11
11
将程序流程图转化为控制流图
三角形问题(流程图－流图)
开始
1
输入a、b、c
1,2
a
b
3
4
a<b+c and2
b<a+v and
3
c<a+b
4
非∆
a=b or b=c
5
or a=c
6
一般∆
a=b and a=c
7
8
等腰∆
等边∆
d
e
5
6
f
g
7
8
c
j
h
i
9
k 10
（1）画出相应的控制流图。 （2）计算环形复杂度。 （3）给出相应的图矩阵。 （4）找出程序的独立路径
集合。
作业：画出控制流图，计算环形复杂度，独立路径及测试用例
1. main()
2. {
3. char c; int i=0,j=0,k=0;
4. c=getchar();
5. while (c!='#')
节点——标有编号的圆圈
程序流程图中矩形框所表示的处理 菱形表示的两个甚至多个出口判断 多条流线相交的汇合点
边——由带箭头的弧或线表示
与程序流程图中的流线一致,表明了控制的顺序 它代表程序中的控制流。 控制流线通常标有名字
常见语句的控制流图
顺序语句
do while语句 While语句
基本概念
为了清晰描述这种白盒测试方法，需要首先对 有关白盒测试的几个基本概念进行说明：
流图 环形复杂度 图矩阵
1、流图
在程序设计时,为了更加突出控制流的结构,可对 程序流程图进行简化,简化后的图称为控制流图. 简化后所涉及的图形符号只有两种,即节点和控 制流线.
1
a
2 c
f
b3
d 4 e 5
2
Байду номын сангаас