Ch3-软件测试方法3.4

基本路径覆盖：在程序或业务控制流程的基础 上，分析控制构造的环路复杂度，导出基本可
执行路径集合，从而设计测试用例。
3.4.0 语句覆盖

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

如果是顺序结构，就是让测试从头执行到尾 如果有分支、条件和循环，需要利用下面的 方法，执行足够的测试覆盖全部语句
从前面的例子我们可以看到，采用任何一种覆
盖方法都不能满足我们的要求，所以，在实际的测
试用例设计过程中，可以根据需要将不同的覆盖方
法组合起来使用，以实现最佳的测试用例设计 。
条件组合覆盖结合路径覆盖
测试用例 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 覆盖条件 T1,T2,T3,T4 T1,T2,F3,F4 F1,F2,F3,T4 F1,F2,F3,F4 T1,F2,T3,F4 覆盖路径 P1:(1-2-4) P2:(1-2-5) P3:(1-3-4) P4:(1-3-5) P3:(1-3-4) 覆盖组合 1，5 1，8 4，7 4，8 2，6
判断N表达式: 条件 a>1 取真 记为 T3 条件 a>1 取假 记为 F3 条件 c>1 取真 记为 T4 条件 c>1取 假 记为 F4
N
示例
M
测试用例 覆盖条 具体取 件 值条件 a=2 b=-1 c=-2 T1, F2, T3, F4 a>0 b<=0 a>1 c<=1
N
a=-1 b=2 c=3
结点由带标号的圆圈表示，可代表一个或多个语 句、一个处理框序列和一个条件判定框（假设 不包含复合条件）。 控制流线由带箭头的弧或线表示，可称为边。它 代表程序中的控制流。
常见结构的控制流图
顺序结构
IF 选择结构
WHILE重复结构
UNTIL重复结构
CASE多分支结构
其中，包含条件的结点被称为判定结点，由判定结点 发出的边必须终止于某一个结点，由边和结点所限定 的范围被称为区域。
例如，在图示的控制流图中，一组独立的路径是 path1：1 - 11 path2：1 - 2 - 3 - 4 - 5 - 10 - 1 - 11 path3：1 - 2 - 3 - 6 - 8 - 9 - 10 - 1 - 11 path4：1 - 2 - 3 - 6 - 7 - 9 - 10 - 1 - 11 路径 path1， path2， path3， path4组成 了控制流 图的一个 基本路径 集。
b 4 d
f 7 h
示例：语句覆盖不能发现的问题
程序源代码： 程序控制流图： a 1. dim a, b as integer IF 3 2. dim c as double 3. if (a >0 or b > 0) c then and 4. c=c/a ENDIF 5 5. end if e IF 6 6. if (a > 1 or c > 1) then j 7. c=c+1 8. end if ENDIF 8 9. c = b + c i (a, b ,c)= (1, 1, 2) 覆盖路径：abdefhi 9
独立路径是指程序中至少引入了一个新的处理语 句集合或一个新条件的程序通路。采用流图的术 语，即独立路径必须至少包含一条在本次定义路 径之前不曾用过的边。
计算环路复杂度的方法
环路复杂度以图论为基础，为我们提供了非常有用 的软件度量。可用如下三种方法之一来计算环路 复杂度： 控制流图中区域的数量=环路复杂度。 给定控制流图G的环路复杂度V(G)，定义为 V(G) = E-N+2 其中，E是控制流图中边的数量，N是控制流图 中的节点数量。 给定控制流图G的环路复杂度V(G)，也可定义为 V(G) = P+1 其中，P是控制流图G中判定节点的数量。
示例
条件组合覆盖的测试用例
N 测试用例 a=2,b=1,c=6
a=2,b= -1,c= -2
a=-1,b=2,c=3
覆盖条件 T1, T2, T3, T4 T1, F2, T3, F4
F1, T2, F3, T4
覆盖判断 M取Y分支 N取Y分支 M取N分支 N取Y分支
M取N分支 N取Y分支
覆盖组合 1， 5 2， 6
F1, T2, F3, T4
a<=0 b>0 a<=1 c>1
它覆盖了判定M的F分支和判断N的T分支。
条件覆盖的优缺点
优点：增加了对条件判定情况的测试。
缺点：条件覆盖不一定包含判定覆盖。
例如，上面设计的用例就没有覆盖判断M的T分 支和判断N的F分支。条件覆盖只能保证每个条件至 少有一次为真或假，而不考虑所有的判定结果。
3.4.4 条件组合覆盖
条件组合覆盖的基本思想是通过执行足够的测试 用例，使得程序中每个判定的所有可能的条件取值 组合都至少出现一次。
示例
设计组合条件如表所示： 编号 1 2 3 4 5 6 7 8 覆盖条件取值 T1,T2 T1,F2 F1,T2 F1,F2 T3,T4 T3,F4 F3,T4 F3,F4 判定条件取值 M取T M取F M取F M取F N取T N取T N取T N取F 具体条件取值 a>0,b>0 a>0,b<=0 a<=0,b>0 a<= 0,b<=0 a>1,c>1 a>1,c<=1 a<=1,c>1 a<=1,c<=1
例题
void Sort ( int iRecordNum, int iType ) 1{ 2 int x=0; 3 int y=0; 4 while ( iRecordNum-- > 0 ) 5 { 6 If ( iType==0 ) 7 x=y+2; （1）画出控制流图 8 else 9 If ( iType==1 ) （2）计算环路复杂度 10 x=y+10; （3）导出独立路径（用语句 11 else 编号表示） 12 x=y+20; 13 } （4）设计测试用例 14 }
b 4 d
f 7 h
语句覆盖的优缺点
优点：可以很直观地从源代码得到测试用例， 无须细分每条判定表达式
缺点：语句覆盖常是“最弱的覆盖”，不考虑
各种分支的组合，不能发现其中的逻辑错误。
假如只要求达到语句覆盖，那么换来的确实测
试效果不明显，很难更多地发现代码中的问题。
3.4.1 判定覆盖

判定覆盖的基本思想是设ቤተ መጻሕፍቲ ባይዱ若干用例，运行被测
程序，使得程序中每个判断的取真分支和取假分
支至少经历一次，即判断真假值均曾被满足。

一个判定代表着程序的一个分支，所以判定覆盖 也被称为分支覆盖。
示例
测试用例: a=2，b=1，c=6 a=-2，b=-1，c=-3
或 测试用例: a=1，b=1，c=0 a=2，b=-1，c=6
判定覆盖的优缺点
优点：判定覆盖具有比语句覆盖更强的测试 能力。同样判定覆盖也具有和语句覆盖一样的简 单性，无须细分每个判定就可以得到测试用例。 缺点：往往大部分的判定语句是由多个逻辑 条件组合而成，若仅仅判断其整个最终结果，而 忽略每个条件的取值情况，必然会遗漏部分测试 路径。判定覆盖仍是弱的逻辑覆盖。
示例：语句覆盖可发现的问题
程序源代码： 程序控制流图： a 1. dim a, b as integer IF 3 2. dim c as double 3. if (a >0 and b > 0) c then 4. c=c/a ENDIF 5 5. end if e IF 6 6. if (a > 1 or c > 1) then j 7. c=c+1 8. end if ENDIF 8 9. c = b + c i (a, b ,c)= (1, 1, 2) 覆盖路径：abdefhi 9
a= -1,b=2,c=3
F1,T2,F3,T4
P3:(1-3-4)
3，7
基本路径覆盖
基本路径覆盖

在测试中覆盖所有的路径是不现实的。 基本路径覆盖的思想是把覆盖的路径数压缩到一 定限度内。例如：程序中的循环体最多只执行一 次。

基本路径覆盖是在程序控制流图的基础上，通过 分析控制构造的环路复杂性，导出独立可执行路 径集合，设计测试用例的方法。
例题解答
（4）设计测试用例：
输入数据 测试用例1 测试用例2
测试用例3 测试用例4 irecordnum = 0 itype = 0 irecordnum = 1 itype = 0 irecordnum = 1 itype = 1 irecordnum = 1 itype = 2
预期输出
3.4.3 判定-条件覆盖

判定-条件覆盖是判定和条件覆盖设计方法的交集
，即设计足够的测试用例，使得判断条件中的所有
条件可能取值至少执行一次，同时，所有判断的可
能结果至少执行一次。
判定—条件覆盖
按照判定－条件覆盖 的要求，设计的测试用 例要满足如下条件： （1）所有条件可能 至少执行一次取值； （2）所有判断的可 能结果至少执行一次。
3.4 基于逻辑覆盖的方法
3.4.0 3.4.1 3.4.2 3.4.3 3.4.4 3.4.5 语句覆盖 判定覆盖 条件覆盖 判定-条件覆盖 条件组合覆盖 基本路径覆盖
逻辑覆盖 vs. 路径覆盖

逻辑覆盖：以程序或系统的内部逻辑结构为基 础，分为语句覆盖、判定覆盖、条件覆盖、判 定-条件覆盖、条件组合覆盖等。
M
N
示例