MC/DC的覆盖要求源于DO 178适航符合性方法。该标准由美国航空无线电技术委员会（RTCA）编制发布，并作为民用飞机机载软件开发和适航认证的标准指南文件。由于民航适航认证过程的强制性，MC/DC覆盖率测试也成为民用航空电子软件适航测试过程的必须执行项。

DO 178标准首个版本于1982年发布，最新版本为2011年12月发布的第四版DO 178C。标准对MC/DC覆盖的定义原文描述如下：

Modified Condition/Decision Coverage: Every point of entry and exit in the program has been invoked at least once, every condition in a decision in the program has taken all possible outcomes at least once, every decision in the program has taken all possible outcomes at least once, and each condition in a decision has been shown to independently affect that decision’s outcome. A condition is shown to independently affect a decision’s outcome by: (1) varying just that condition while holding fixed all other possible conditions, or (2) varying just that condition while holding fixed all other possible conditions that could affect the outcome.

定义要求：程序里的每一个输入和输出点要至少被调用一次，程序里一个判定中每个条件要至少一次考虑达到所有可能性的结果，程序里每个判定至少一次考虑达到了所有可能性结果，并且一次判定中的每个条件已体现独立地影响该判定的结果。一个条件可以通过以下方式独立地影响决策的结果：(1)只改变该条件，同时保持所有其他可能的条件不变；或(2)只改变该条件，同时保持所有其他可能影响结果的条件不变。

原文的专业定义大家可能觉得难以理解，我们继续使用之前的例子来说明MC/DC的覆盖设计要求。

以SIL A级要求为准，示例代码的条件判断组合如下：if (x < 10 && y > 10 && z == 0)

示例中有一次判定，和3个对结果有影响的条件。设计的测试用例中，查看完整的示例代码（示例代码没有补充输入变量z）所有输入输出都做了考虑，每个条件的可能情况均做了取值，判定的两种结果都做到了测试覆盖，某条件取值变化时都保持了所有其他条件的不变。

通常根据安全要求的等级不同，覆盖率设计要求也不同，下面我们简单对不同情况下判定和条件测试设计考虑情况进行举例。

4.1 MC/DC 测试设计 (SIL A)

其他SIL等级下的DC和SC测试设计时的情况组合我们就不列举了，前篇文档我们已做了说明，具体使用时大家也可以查阅相关的专业文档和测试设计要求文档。

在执行MC/DC覆盖测试时我们有以下建议供大家参考。