MCDC — 修正判定条件覆盖

什么是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))