求有四个条件四个分支的修正条件判定覆盖的测试用例

修正条件判定覆盖（Modified Condition Decision Coverage, MCDC）是一种比传统判定覆盖更严格的软件测试方法，它要求对于每个判定（即if-else或switch-case结构），每一个条件的组合变化都至少引起一次测试。当有四个条件（比如四个布尔表达式）和四个可能的分支时，你需要设计的测试用例满足以下原则：

1. 对于第一个条件，每个取值（真或假）都要导致两个不同的后续分支被执行。
2. 对于第二个条件，分别结合第一个条件的所有可能取值，再各执行一次，保证所有四种组合下的路径都被覆盖。
3. 同理，对第三个和第四个条件也做同样的操作。

举个例子，假设我们有一个这样的函数：

if (condition1 && condition2) {
    branch1();
} else if (condition1 && !condition2) {
    branch2();
} else if (!condition1 && condition2) {
    branch3();
} else {
    branch4();
}

对应的测试用例可能包括：
- 当condition1为真、condition2为真时，执行branch1；
- condition1为真、condition2为假，执行branch2；
- condition1为假、condition2为真，执行branch3；
- condition1为假、condition2为假，执行branch4；
- condition1从真变到假，同时condition2不变，导致两次不同的分支（如先branch1，后branch4）；
- condition1不变，condition2从真变到假，同样触发两次不同分支；
- 类似地，处理其他三个条件的情况。