设计下列伪程序的条件组合覆盖测试用例。
BEGIN
INPUT(x,y,z)
IF(y>1) AND (z=0) THEN
x=x/y
END IF
IF(y=2) OR(x=l) THEN
x=x+l
END IF
PRINT(x)
END

答案
条件组合覆盖标准为,使得每个判定表达式中条件的各种可能组合都至少出现一次。
本程序中共有两个判定表达式,每个判定表达式中有两个简单条件,因此,总共有8种可能的条件组合,它们是:
y>1, z=0
y>1, z<>0
y<=1, z=0
y<=1, z<>0
y=2, x=1
y=2, x<>1
y<>2, x=1
y<>2, x<>1
条件组合覆盖设计测试用例:
实现1,6两种条件组合
输入:y=2, z=0, x=4;
实现 2,5两种条件组合
输入:y=2, z=1, x=1;
实现 3,8两种条件组合
输入:y=1, z=0, x=2;
实现 4,7两种条件组合
输入: y=1, z=1, x=1.