逻辑覆盖法

逻辑覆盖法：

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

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

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

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

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

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

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

行一次。

条件组合覆盖

判断/条件覆盖 判断覆盖 条件覆盖 语句覆盖 逻辑覆盖测试用例举例

输入数据 覆盖程度 测试路径 语句覆盖 S→a→c→b→d→e（语句c和语句d均执行） S→a→c→b→d→e（判断a和判断b均取真） 判断覆盖 S→a→b→e （判断a和判断b取假） S→a→b→d→e （满足A>1，B≠0；A=2，X≤1） 条件覆盖 S→a→b→d→e （满足A≤1，B=0；A≠2，X>1） 预期结果 A B X X 2 0 0 1 2 0 0 1 1 0 1 1 2 1 1 2 1 0 2 3 S→a→c→b→d→e （满足A>1，B=0；A=2，X>1;且判断a和判断b均取真值） 2 0 4 3 判断/条件S→a→b→e （满足A≤1，B≠0；A≠2，X≤1;且判断a和判断覆盖 b均取假值） 1 1 1 1 S→a→c→b→d→e（满足A>1，B=0；A=2，X>1） S→a→b→d→e （满足A>1，B≠0；A=2，X≤1） 条件组合覆S→a→b→d→e （满足A≤1，B=0；A≠2，X>1） 盖 S→a→b→e （满足A≤1，B≠0；A≠2，X≤1） 2 0 4 3 2 1 1 2 1 0 2 3 1 1 1 1 基本路径测试法设计测试用例

1、导出程序图

入口A>1B=0X=X/AA=2X>1X=X/A出口改动后的程序流程图2、计算程序图的环形复杂性

1 2 3 4 5 6 7 8 9 连接权 1 1 1 2 1 1 2 3 1 1 2 4 1 1 5 1 1 2 6 1 1 2 7 8 1 1 9 1 1

环形数=4+1=5

123845697对应程序图

-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