软件测试 逻辑覆盖法.docVIP

逻辑覆盖法 逻辑覆盖法： 语句覆盖：测试用例能使被测程序的每条执行语句至少执行一次 判断覆盖：测试用例能使被测程序中的每个判断至少取得一次“真”和一次“假”，又称分支覆盖 条件覆盖：测试用例能使被测程序中每个判断的每个条件至少取得一次“真”和一次“假”。如果判断中只有一个条件，则条件覆盖便满足判断覆盖，否则，不一定。 判断/条件覆盖：测试用例既满足判断覆盖，又满足条件覆盖。 条件组合覆盖：测试用例使每个判定中所有可能的条件取值组合至少执行一次。 逻辑覆盖测试用例举例 覆盖程度 测试路径 输入数据 预期结果 A B X X 语句覆盖 S→a→c→b→d→e（语句c和语句d均执行） 2 0 0 1 判断覆盖 S→a→c→b→d→e（判断a和判断b均取真） 2 0 0 1 S→a→b→e a和判断b取假） 1 0 1 1 S→a→b→d→e （满足A1，B≠0；A=2，X≤1） 2 1 1 2 S→a→b→d→e A≤1，B=0；A≠2，X1） 1 0 2 3 /条件覆盖 S→a→c→b→d→e （满足A1，B=0；A=2，X1;且判断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（满足A1，B=0；A=2，X1） 2 0 4