4-1结构性测试-控制流测试

结构性测试（1） 控制流测试
结构性测试


结构性测试方法的突出特点，是它们都基于被测 程序的源代码，而不是基于定义 由于这种绝对化的基础，结构性测试方法支持严 格定义、数据分析和精确度量 结构性测试方法大致包括两类：
基于控制流（或基于路径）的测试：以程序图为基 础（结点表示语句片断，边表示控制流），通过图 论的一些知识完全从程序的结构来定义结构性的测 试，而不考虑代码本身的内在关系 基于数据流的测试：从代码本身的内在关系出发进 行的一种结构性的测试
ｆ
2
ｂ
ｃ
3
ｄ
4
5
ｅ
2.
5
程序图（控制流图）中只 有两种图形符号： 结点：以标有编号的圆圈 表示。它代表了程序流程 图中矩形框表示的处理、 菱形表示的两个到多个出 口判断以及两条到多条流 线相交的汇合点。 边（弧）：以箭头表示。 它与程序流程图中的流线 是一致的，表明了控制的 顺序。为了方便讨论，控 制流线通常标有名字，如 图中所标的a、b、c等。
条件组合覆盖（续）
优点 ：条件组合覆盖准则满足判定覆盖、 条件覆盖和判定-条件覆盖准则。 缺点 ：线性地增加了测试用例的数量。

内容

逻辑覆盖



语句覆盖 判定覆盖（分支覆盖） 条件覆盖 判定-条件覆盖 条件组合覆盖 路径覆盖

DD路径 基路径测试
路径覆盖

基本思想是：设计所有的测试用例，来 覆盖程序中的所有可能的执行路径 。

内容

逻辑覆盖



语句覆盖 判定覆盖（分支覆盖） 条件覆盖 判定-条件覆盖 条件组合覆盖 路径覆盖

DD路径 基路径测试
例：实现一个简单的数学运算
1. 2. 3. 4. 5. 6. 7. 8. int a,b; a>0 and b>0 double c ; scanf(“%d,%d,%f”,&a,&b,&c) N If (a>0 And b>0) a>1 or c>1 c=c/a; If (a>1 or c>1) N c=c+1; c=b+c c=b+c


a=2，b=1 ，c=6可 覆盖判断M的Y分支 和判断Q的Y分支 a=-2，b=-1 ，c=-3 可覆盖判断M的N分 支和判断Q的N分支 这两组测试用例可覆 盖所有判定的真假分 支
1 a>0 and b>0 3 N a>1 or c>1 5 N c=b+c
判断 Q
Y 2
c=c/a
Y 4
c=c+1
Y c=c/a
Y
c=c+1
语句覆盖

基本思想是：设计若干测试用例，运行 被测程序，使程序中每个可执行语句至 少执行一次。
1
语句覆盖（续）
1

只需设计一个测试 用例：a=2，b=1， c=6，即达到了语 句覆盖。
a>0 and b>0 3 N a>1 or c>1 5 N c=b+c
Y 2
c=c/a

要满足T1、T2、 T3 、T4 F1、 F2 、F3、F4 判断 M
1 a>0 and b>0 3 N a>1 or c>1 5 N c=b+c
判断 Q
Y 2
c=c/a
Y 4
c=c+1
判定-条件覆盖（续）
测试用例 a=2,b=1,c=6 a=-1,b=-2,c=-3 覆盖条 覆盖判断 件 T1, T2, M的Y分支和 T3, T4 Q的Y分支 F1, F2, M的N分支 F3, F4 和Q的N分支
条件覆盖（续）
优点：增加了对条件判定情况的测试， 增加了测试路径。 缺点：条件覆盖不一定包含判定覆盖。 例如，我们刚才设计的用例就没有覆盖 判断M的Y分支和判断Q的N分支。条件 覆盖只能保证每个条件至少有一次为真， 而不考虑所有的判定结果。

内容

逻辑覆盖



语句覆盖 判定覆盖（分支覆盖） 条件覆盖 判定-条件覆盖 条件组合覆盖 路径覆盖

判断 M
1 a>0 and b>0 3 N a>1 or c>1 5 N c=b+c
判断 Q
Y 2
c=c/a
Y 4
c=c+1
条件覆盖（续）
测试用例 覆盖条 件 具体取值条件
判断 M
1 a>0 and b>0 3 N a>1 or c>1 5 N c=b+c Y 4 c=c+1
判断 Q
a=2,b=-1,c=-2

DD路径 基路径测试
判定-条件覆盖

基本思想是：设计足够的测试用例，使 得判断条件中的所有条件可能取值至少 执行一次，同时，所有判断的可能结果 至少执行一次。
1
判定-条件覆盖（续）
按照判定-条件覆盖 的要求，我们设计 的测试用例要满足 如下条件： 1. 所有条件可能取值 至少执行一次； 2. 所有判断的可能结 果至少执行一次。

内容

逻辑覆盖



语句覆盖 判定覆盖（分支覆盖） 条件覆盖 判定-条件覆盖 条件组合覆盖 路径覆盖

DD路径 基路径测试
条件覆盖

基本思想是：设计若干测试用例，执行 被测程序以后要使每个判断中每个条件 的可能取值至少满足一次。
1
条件覆盖（续）
判断M表达式: 设条件 a>0 取真 记为 T1 假 F1 条件 b>0 取真 记为 T2 假 F2 判断Q表达式: 设条件 a>1 取真 记为 T3 假 F3 条件 c>1 取真 记为 T4 假 F4
程序图/控制流图（续）
除了用程序流程图可以转化成控制流图 以外，还可以把伪代码表示的处理过程 转化成控制流图。根据程序建构控制流 图很容易 。 例如：三角形伪代码实现过程转化成了 控制流图

4
5
6 9
7
8
4
9
10 12 13 21 15
11
10 12 13 21 15
11
14 16 17 19 18
1
路径覆盖（续）
测试用例
a=2,b=1,c=6 a=1,b=1,c=-3
覆盖 组合
1，5 1，8
覆盖路 径
1-2-4 1-2-5
1 a>0 and b>0 3 N a>1 or c>1 Y 4 c=c+1 Y 2 c=c/a
a=-1,b=2,c=3
4，7
1-3-4
5 N
a=-1,b=-2,c=-3 4，8 1-3-5
判定覆盖（续）

判断 M


a=1，b=1 ，c=-3 可 覆盖判断M的Y分支 和判断Q的N分支 a=1，b=-2 ，c=3可 覆盖判断M的N分支 和判断Q的Y分支 同样的这两组测试用 例也可覆盖所有判定 的真假分支
1 a>0 and b>0 3 N a>1 or c>1 5 N c=b+c
判断 Q
条件组合覆盖结合路径覆盖
测试用例
a=2,b= 1,c=6 a=1,b=1,c= -3 a= -1,b=2,c=3 a= -1,b= -2,c= -3 a=2,b= -1,c= -2 a= -1,b=2,c=3
覆盖条件
覆盖路径
覆盖组合
T1,T2,T3,T4 P1:(1-2-4) 1，5 T1,T2,F3,F4 P2:(1-2-5) 1，8 F1,F2,F3,T4 P3:(1-3-4) 4，7 F1,F2,F3,F4 P4:(1-3-5) 4，8 T1,F2,T3,F4 P3:(1-3-4) 2，6 F1,T2,F3,T4 P3:(1-3-4) 3，7
编 覆盖条件 号 取值
判定条件 具体பைடு நூலகம்件取值 取值
1 2 3 4 5 6
T1,T2 T1,F2 F1,T2 F1,F2 T3,T4 T3,F4
M取Y M取N M取N M取N Q取Y Q取Y
a>0,b>0 a>0,b<=0 a<=0,b>0 a<= 0,b<=0 a>1,c>1 a>1,c<=1
7 F3,T4 8 F3,F4
T1, F2, a>0,b<=0, T3, F4 a>1,c<=1
Y 2
c=c/a
a=-1,b=2,c=3
F1, T2, a<=0,b>0, F3, T4 a<=1,c>1
它们覆盖了判定M的N分支和判断Q的Y分支
我们用条件覆盖设计的思想就是让测试用例能覆盖 T1、T2、T3、T4、F1、F2、F3、F4
c=b+c
路径覆盖（续）

优点 ：这种测试方法可以对程序进行彻底 的测试，比前面五种的覆盖面都广。 缺点 ：需要设计大量、复杂的测试用例， 使得工作量呈指数级增长，不见得把所有的 条件组合都覆盖。
在实际的测试用例设计过程中，可以根据 需要将不同的覆盖方法组合起来使用，以实 现最佳的测试用例设计。
T1, T2, M取Y分支，Q T3, T4 取Y分支 T1, F2, M取N分支，Q T3, F4 取Y分支 F1, T2, M取N分支，Q F3, T4 取Y分支
a= -1,b= -2,c= -3 F1, F2, M取N分支，Q F3, F4 取N分支
要满足1、2、3、4、5、6、7、8 条件组合