软件测试：逻辑覆盖

语句覆盖：测试执行语句
判定覆盖：每个判定语句都取真假一次
条件覆盖：每个逻辑条件都取真假一次，每种条件标识状态都取一次
判定条件覆盖：同时满足条件覆盖和判定覆盖
条件组合：判定语句中每个逻辑条件都出现真假一次，每个判定条件的结果出现真假一次。

被测试程序段如下：
开始
s1
If（x=0 and y>2）{
s2
}
If(x<1 or y=1){
s3}
s4
结束

程序流程图如下：

测试用例：

(1)语句覆盖

（2）判定覆盖

（3）条件覆盖

（4）判定条件覆盖