使用逻辑覆盖法测试如下程序段(6种覆盖方式） void work(int x,int y,int z){ int k=0;j=0; if((x>3)8(2<10))1 K=x*y-1; j=K-Z; } if(x==4)II(y>5))1 j=x*y+10; } j=j%3; }

假设输入为 x=4，y=6，z=2。

1. 语句覆盖：执行整个程序段。

2. 判定覆盖：x>3 && 2<10 && x==4 && y>5。执行第二个if语句。

3. 条件覆盖：x>3 && 2<10 && x==4 && y<=5、x>3 && 2<10 && x!=4 && y>5、x>3 && 2>=10。

4. 路径覆盖：(x>3 && 2<10 && x==4 && y>5) -> (j=x*y+10; j=j%3;)。

5. 边界值覆盖：测试x=3、4、5、y=5、6、z=1、2。

6. 错误覆盖：输入非整数类型的变量或超出变量范围的值，如x="4"、y=20、z=3。

测试用例：

1. x=4, y=6, z=2。期望输出：j=1。

2. x=4, y=2, z=2。期望输出：j=0。

3. x=3, y=5, z=1。期望输出：无输出。

4. x=5, y=5, z=2。期望输出：j=2。

5. x="4", y=6, z=2。期望输出：程序异常或错误提示。

6. x=4, y=20, z=2。期望输出：程序异常或错误提示。

7. x=4, y=6, z=3。期望输出：无输出。