逻辑覆盖法
逻辑覆盖法：
● 语句覆盖：测试用例能使被测程序的每条执行语句至少执行一次
● 判断覆盖：测试用例能使被测程序中的每个判断至少取得一次“真”和
一次“假”，又称分支覆盖
● 条件覆盖：测试用例能使被测程序中每个判断的每个条件至少取得一次
“真”和一次“假”。如果判断中只有一个条件，则条件覆盖便满足判断覆盖，否则，不一定。
● 判断/条件覆盖：测试用例既满足判断覆盖，又满足条件覆盖。
● 条件组合覆盖：测试用例使每个判定中所有可能的条件取值组合至少执
行一次。
逻辑覆盖测试用例举例
基本路径测试法设计测试用例
1、导出程序图
改动后的程序流程图
2、计算程序图的环形复杂性
连接权 1 2 2 1 2 2 1 1
环形数=4+1=5
对应程序图
-1 =比较个数 =0 =1 =1 =0 =1 =1 =0 =0
3、确定基本路径集
由于环形数为5，故基本路径数有5条 path1：1—2—4—5—6—7 path2：1—2—3—4—5—6—7 path3：1—2—3—8—4—5—6—7 path4：1—2—3—8—4—5—9—7 path5：1—2—3—8—4—5—6—9—7
4、生成测试用例
path1 输入：A=1 B=0 path2 输入：A=3 B=1 path3 输入：A=3 B=0 path4 输入：A=2 B=0 path5
输入：A=3
B=0
X=1
预期结果：X=1 X=1 预期结果：X=1 X=3 预期结果：X=1 X=2 预期结果：X=2 X=6
预期结果：X=3
逻辑覆盖法
逻辑覆盖法：
● 语句覆盖：测试用例能使被测程序的每条执行语句至少执行一次
● 判断覆盖：测试用例能使被测程序中的每个判断至少取得一次“真”和
一次“假”，又称分支覆盖
● 条件覆盖：测试用例能使被测程序中每个判断的每个条件至少取得一次
“真”和一次“假”。如果判断中只有一个条件，则条件覆盖便满足判断覆盖，否则，不一定。
● 判断/条件覆盖：测试用例既满足判断覆盖，又满足条件覆盖。
● 条件组合覆盖：测试用例使每个判定中所有可能的条件取值组合至少执
行一次。
逻辑覆盖测试用例举例
基本路径测试法设计测试用例
1、导出程序图
改动后的程序流程图
2、计算程序图的环形复杂性
连接权 1 2 2 1 2 2 1 1
环形数=4+1=5
对应程序图
-1 =比较个数 =0 =1 =1 =0 =1 =1 =0 =0
3、确定基本路径集
由于环形数为5，故基本路径数有5条 path1：1—2—4—5—6—7 path2：1—2—3—4—5—6—7 path3：1—2—3—8—4—5—6—7 path4：1—2—3—8—4—5—9—7 path5：1—2—3—8—4—5—6—9—7
4、生成测试用例
path1 输入：A=1 B=0 path2 输入：A=3 B=1 path3 输入：A=3 B=0 path4 输入：A=2 B=0 path5
输入：A=3
B=0
X=1
预期结果：X=1 X=1 预期结果：X=1 X=3 预期结果：X=1 X=2 预期结果：X=2 X=6
预期结果：X=3