白盒测试方法--逻辑覆盖法

本文目的主要为软考准备的复习内容。

实例代码：
int method(bool a, bool b, bool c)
{
1  int x;
2  x=0;
3  if(a && (b || c))
4    x=1;
5  return x;
}

1、语句覆盖：每条语句都至少执行一次。即1,2,3,4,5都要被执行。
可选测试用例：
a=1, b=1, c=1 【1,2,3,4,5】

2、判定覆盖：每个分支都要至少执行一次，即if判定为真，为假各一次。
可选测试用例：
a=1, b=1, c=1 【1,2,3,4,5】
a=0, b=1, c=1 【1,2,3,5】

3、条件覆盖：每一个单独条件至少为真，为假各一次。这里条件指a，b，c
可选测试用例：
a=1, b=1, c=1 【1,2，3,4,5】
a=0, b=0, c=0 【1,2,3,5】

4、条件判定覆盖：判定覆盖 + 条件覆盖 - 重复用例
可选测试用例：
a=1, b=1, c=1 【1,2,3,4,5】
b=0, b=0, c=0 【1,2,3,5】

5、条件组合覆盖：各条件之间的真假值交叉组合一次；若有n各条件，则有2的n次方个组合用例。
测试用例组合：
a=1, b=1, c=1
a=1, b=1, c=0
a=1, b=0, c=1
a=1, b=0, c=0
a=0, b=1, c=1
a=0, b=1, c=0
a=0, b=0, c=1
a=0, b=0, c=0

6、修正条件判定覆盖：在条件判定的基础上进行完善，对单个条件的真假值对应的判定结果也有要求。即a为真时，总的判定条件为真，a为假时整个判定条件为假；而且两次取值中b、c的真假值保持原值不变。即一个条件改变影响总的结果。
可选测试用例：
a=1, b=1, c=1, a&&(b||c)=1
a=1, b=1, c=0, a&&(b||c)=1
a=1, b=0, c=1, a&&(b||c)=1
a=1, b=0, c=0, a&&(b||c)=0
a=0, b=1, c=1, a&&(b||c)=0
a=0, b=1, c=0, a&&(b||c)=0
a=0, b=0, c=1, a&&(b||c)=0
a=0, b=0, c=0, a&&(b||c)=0

上述用例中符合条件a的用例组合为：{1,5}，{2,6}，{3,7}中的任意一组
符合条件b的用例组合为：{2,4}
符合条件c的用例组合为：{3,4}
所以总的用例组合为：{1,2,3,4,5}

选择标准以a为例：
a=1时，a&&(b||c)=1；符合此条件的用例有：1,2,3
a=0时，a&&(b||c)=0；符合此条件的用例有：5,6,7,8
a=1与a=0时b和c的真假值对应相等的条件有：
{1,5}；b1=b5=1,c1=c5=1
{2,6}；b2=b6=1,c2=c6=0
{3,7}；b3=b7=0,c3=c7=0