白盒测试-条件组合覆盖

 条件组合覆盖：判定中的条件的各种组合至少被执行一次。

条件：

1. A>1,B=0
2. A>1,B!=0
3. A<=1,B=0
4. A<=1,B!=0
5. A==2,X>1
6. A==2,X<=1
7. A!=2,X>1
8. A!=2,X<=1

注意：第二个判定的X是由上面的输出决定的。

A=2,B=0,X=4（满足1和5两种情况) =>ace

A=2,B=1,X=1;（满足2和6两种情况）=>abd

A=1,B=0,X=2; (满足3和7两种情况）=>abe

A=1,B=1,X=1;(满足4和8两种情况）=>abd

所有条件的组合至少出现一次。但无法覆盖所有的路径，例如acd路径就没有覆盖。