【软件测试】白盒测试用例设计——逻辑覆盖法

       逻辑覆盖法包括语句覆盖、判定覆盖、条件覆盖、判定/条件覆盖、条件组合覆盖。 详细概念不加赘述，直接上案例。

有一段使用Java语言设计的程序段，试用白盒测试的逻辑覆盖方法为其设计测试用例。

if（ x > 80 && y >= 80）{
       t=1;
 }
       else if (x+y >= 140 && (x >= 90 || y >= 90)){
       t=2;
 }
       else{
       t=3;
 }

逻辑覆盖法设计测试用例步骤：

1. 画流程图

• 语句覆盖测试用例
  语句覆盖即，将所有可执行的路径执行一遍。上述的代码可执行的路径有三条。故应设计三个用例覆盖所有可能执行的路径。
  
• 判定覆盖测试用例
  根据判定覆盖的定义，应该使两个判断语句中的Ture和False都出现一次。设计用例如下：
  
  可见，此判定覆盖测试用例也满足了语句覆盖。
• 条件覆盖测试用例
  可以看到，上述共有五个条件，应使得每个条件的真假至少满足一次。

条件覆盖一般比判定覆盖强，但并不是实现了条件覆盖就一定能实现判定覆盖。

• 判定/条件覆盖测试用例
  判定/条件覆盖满足：
  1.所有条件可能取值至少执行一次；
  2、所有判定可能结果至少执行一次。

判定/条件覆盖可同时满足判定覆盖准则和条件覆盖准则。

• 条件组合覆盖测试用例
  （1）列出各个判定内的条件完全组合
  第一个判定 x>=80&&y>=80两个条件（1,2）组合如下：
  T1T2,T1F2,F1T2,F1F2
  第二个判定的三个条件(3,4,5)组合如下：
  T3T4T5,T3T4F5,T3F4T5,T3F4F5,F3T4T5,F3T4F5,F3F4T5,F3F4F5
  (2)分析条件之间的制约关系
  
  
  条件组合覆盖测试用例比较复杂。满足条件组合覆盖的测试用例一定满足判定覆盖、条件覆盖和判定/条件覆盖。