软件测试 逻辑覆盖法

逻辑覆盖法

逻辑覆盖法：

●语句覆盖：测试用例能使被测程序的每条执行语句至少执行一次

●判断覆盖：测试用例能使被测程序中的每个判断至少取得一次“真”和

一次“假”，又称分支覆盖

●条件覆盖：测试用例能使被测程序中每个判断的每个条件至少取得一次

“真”和一次“假”。如果判断中只有一个条件，则条件覆盖便满足判

断覆盖，否则，不一定。

●判断/条件覆盖：测试用例既满足判断覆盖，又满足条件覆盖。

●条件组合覆盖：测试用例使每个判定中所有可能的条件取值组合至少执

行一次。

逻辑覆盖测试用例举例

基本路径测试法设计测试用例

1、导出程序图

改动后的程序流程图对应程序图2、计算程序图的环形复杂性

连接权 -1 =比较个数1 =0

2 =1 2 =1

1 =0

2 =1 2 =1

1 =0 1 =0

环形数=4+1=5

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 X=1 预期结果：X=1 path2 输入：A=3 B=1 X=1 预期结果：X=1 path3 输入：A=3 B=0 X=3 预期结果：X=1 path4 输入：A=2 B=0 X=2 预期结果：X=2 path5 输入：A=3 B=0 X=6 预期结果：X=3