MCDC，即修正判定条件覆盖，是软件测试中的一个重要概念，它要求每个判定中的条件都能独立影响判定结果。条件是不含布尔运算符的布尔表达式，判定则由条件和布尔运算符组成。例如，表达式A||(B&&C)和(A&&B)||(C&&D)等都是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))
扫一扫
9081
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
