用一个简单的C语言例子说明条件判定覆盖

条件判定覆盖是一种测试方法，它要求测试用例至少覆盖每个条件的所有可能结果。下面是一个简单的C语言例子，说明条件判定覆盖：

#include <stdio.h>

int main() {
    int x = 2;
    int y = 3;
    int z = 4;

    if (x < y && y < z) {
        printf("x < y < z\n");
    } else {
        printf("x >= y or y >= z\n");
    }

    return 0;
}

以上代码中，if语句中有两个条件：x < y 和 y < z。为了覆盖条件判定，我们需要至少提供两个测试用例：一个满足条件，一个不满足条件。例如，我们可以这样设计测试用例：

- 当 x = 1, y = 2, z = 3 时，条件 x < y 和 y < z 均成立，程序输出 "x < y < z"。
- 当 x = 3, y = 2, z = 1 时，条件 x < y 不成立，程序输出 "x >= y or y >= z"。

这样，我们就可以覆盖每个条件的所有可能结果，实现了条件判定覆盖。