什么是MCDC？
答：修正判定条件覆盖-----程序中的每个输入和输出都至少被调用一次，在程序中的每一个条件必须产生所有可能的输出结果至少一次，并且每一个判定中的每一个条件必须能够独立影响一个判定的输出，即在其他条件不变的前提下仅改变这个条件的值，而使判定结果改变。
什么是条件？
答：不包含布尔运算符的布尔表达式
什么是判定？
答：由条件和零个或多个布尔运算符组成的布尔表达式。没有布尔运算符的判定是条件。 如果一个条件在一个判定中出现不止一次，则每次出现都是一个不同的条件。
MCDC示例
A || (B && C)
A && (B || C)
(A || B) && (C || D)
(A && B) || (C && D)
(A && B) || (C || D)
(A && B) && (C || D)
((A&&B) || ((!B) && C))
