课堂练习-逻辑覆盖.pptVIP

课堂练习 public void work ( int x, int y, int z ) { 1 int k = 0, j = 0; 2 if ( (x3) (z10) ){ 3 k = x * y - 1; 4 j = sqrt ( k ); 5 } 6 if( ( x==4 ) || ( y5 ) ) 7 j = x * y + 10; 8 j = j % 3; } 程序框图 语句覆盖 要实现Work函数的语句覆盖，只需设计一个测试用例就可以覆盖程序中的所有可执行语句。 测试用例输入为：{ x=4、y=5、z=5 } 程序执行的路径是：abd 语句覆盖是最弱的逻辑覆盖准则。 判定覆盖 要实现DoWork函数的判定覆盖，需要设计两个测试用例。 测试用例的输入为：{x=4、y=5、z=5}；{x=2、y=5、z=5} 程序执行的路径分别是：abd；ace 条件覆盖 条件覆盖的目的是设计若干测试用例，在执行被测程序后，要使每个判定中每个条件的可能值至少满足一次。 对Work函数的各个判定的各种条件取值加以标记。 对于第一个判定( (x3)(z10) )： 条件x3 取真值记为T1，取假值记为-T1 条件z10 取真值记为T2，取假值记为-T2 对于第二个判定( (x==4)||(y5) )： 条件x==4 取真值记为T3，取假值记为-T3 条件y5 取真值记为T4，取假值记为-T4 条件覆盖（续） 根据条件覆盖的基本思想，要使上述4个条件可能产生的8种情况至少满足一次，设计测试用例如下： 判定/条件覆盖 判定/条件覆盖实际上是将判定覆盖和条件覆盖结合起来的一种方法，即：设计足够的测试用例，使得判定中每个条件的所有可能取值至少满足一次，同时每个判定的可能结果也至少出现一次。 根据判定/条件覆盖的基本思想，只需设计以下两个测试用例便可以覆盖4个条件的8种取值以及4个判定分支。 条件组合覆盖 组合覆盖的目的是要使设计的测试用例能覆盖每一个判定的所有可能的条件取值组合。 对Work函数中的各个判定的条件取值组合加以标记： 1、x3, z10 记做T1 T2，第一个判定的取真分支 2、x3, z=10 记做T1 -T2，第一个判定的取假分支 3、x=3, z10 记做-T1 T2，第一个判定的取假分支 4、x=3, z=10 记做-T1 -T2，第一个判定的取假分支 5、x==4, y5 记做T3 T4，第二个判定的取真分支 6、x==4, y=5 记做T3 -T4，第二个判定的取真分支 7、x!=4, y5 记做-T3 T4，第二个判定的取真分支 8、x!=4, y=5 记做-T3 -T4，第二个判定的取假分支 条件组合覆盖（续） 根据组合覆盖的基本思想，设计测试用例如下： 路径覆盖 事实上，只有当程序中的每一条路径都受到了检验，才能使程序受到全面检验。路径覆盖的目的就是要使设计的测试用例能覆盖被测程序中所有可能的路径。 根据路径覆盖的基本思想，在满足组合覆盖的测试用例中修改其中一个测试用例，则可以实现路径覆盖： * * 为如图所示的程序段设计一组测试用例，要求分别满足语句覆盖、判定覆盖、条件覆盖、判定/条件覆盖、组合覆盖和路径覆盖。 X3 z10 执行语句块1 执行语句块2 X==4 || y5 执行语句块3 F F T T a b d c e 分析：上面这组测试用例覆盖了4个条件的全部8种情况，但只是覆盖了程序中第一个判定的取假分支c 和第二个判定的取真分支d，不满足判定覆盖的要求 cd T1、-T2、 T3、-T4 acd x=4、y=5、z=15 cd -T1、T2、 -T3、T4 acd x=2、y=6、z=5 覆盖分支 覆盖条件 执行路径 测试用例 ce -T1、-T2、 -T3、-T4 ace x=2、y=5、z=15 bd T1、T2、 T3、T4 abd x=4、y=6、z=5 覆盖分支 覆盖条件 执行路径 测试用例 4和8 -T1、-T2、 -T3、-T4 ace x=2、y=5、z=15 3和7 -T1、T2、 -T3、T4 acd x=2、y=6、z=5 2和6 T1、-T2、 T3、-T4 acd x=4、y=5、z=15 1和5 T1、T2、 T3、T4 abd x=4、y=6、z=5 覆