白盒测试之修正判定条件覆盖测试（MCDC测试）

---

概念

修正条件/判定覆盖是对于每一个条件C，要求存在并符合以下条件：
1）条件C所在判定内的所有条件，除条件C外，其他条件的取值完全相同；
2）条件C的取值相反；
3）判定的计算结果相反。
通俗的讲就是：条件C可以独立影响判定结果。

---

需求示例

程序源代码如下：

int funmcdc(bool A, bool B, bool C)
{
   
  if(A &&