Java 代码示例：条件判定覆盖测试

以下是对应的 Java 代码实现：

public class Main {
    public static void main(String[] args) {
        int x = 10;
        int y = 5;
        float z = 2.5f;
        
        if (x > 0 && y > 0) {
            z = z / x;
        }
        
        if (x > 1 || z > 1) {
            z = z + 1;
        }
        
        z = y + z;
        
        System.out.println('Result: ' + z);
    }
}

判定条件覆盖测试包括以下测试用例：

1. 输入：x = 10, y = 5, z = 2.5 预期输出：Result: 7.5 解释：满足第一个条件，执行z = z / x，然后满足第二个条件，执行z = z + 1，最后执行z = y + z。

2. 输入：x = -3, y = 5, z = 2.5 预期输出：Result: 7.5 解释：不满足第一个条件，跳过z = z / x，但满足第二个条件，执行z = z + 1，最后执行z = y + z。

3. 输入：x = 1, y = 5, z = 2.5 预期输出：Result: 8.5 解释：满足第一个条件，执行z = z / x，不满足第二个条件，跳过z = z + 1，最后执行z = y + z。

4. 输入：x = 10, y = -5, z = 2.5 预期输出：Result: -2.5 解释：满足第一个条件，执行z = z / x，不满足第二个条件，跳过z = z + 1，最后执行z = y + z。

5. 输入：x = -1, y = -5, z = 2.5 预期输出：Result: -2.5 解释：不满足第一个条件，跳过z = z / x，不满足第二个条件，跳过z = z + 1，最后执行z = y + z。

这些测试用例覆盖了所有可能的情况，可以验证代码的正确性和判定条件的覆盖情况。