MC/DC 视图

MC/DC视图显示 MC/DC 覆盖（修改条件/决定覆盖）的信息。

MC/DC 覆盖率

MC/DC 是改进的条件/决定覆盖，允许每个单独的条件表达式独立影响整个条件表达式的结果，而不受其他单独条件表达式的影响，它比条件/决定覆盖更强。
如果其他条件不发生变化，而自身状态发生变化时影响结果，则可以说该状态满足 MC/DC，创建真值表的条件如下。

• 决策状态（决策语句）必须至少满足一次所有可能的结果（真、假）。
• 属于决策的所有单个条件表达式必须至少满足一次所有可能的结果（true, false）。
• 属于决策的每个条件表达式都会独立影响其所属决策的结果值，而不受其他单个条件表达式的影响。
  

MC/DC 视图表

• 满足目标覆盖范围的视图组合列表
  下图是一个视图，可以轻松识别为实现目标覆盖率而需要覆盖的组合。
  左侧部分显示所选函数的判定列表，下方显示满足目标覆盖率的组合列表。
  右侧部分显示所选决策或组合的真值表以及是否覆盖。覆盖的组合显示为绿色，未覆盖的组合显示为红色。
  在首选项页面，您可以更改目标覆盖率和屏幕视图模式。您还可以全选真值表，并使用 Ctrl + C 或从上下文菜单中[Copy to clipboard]。
  

• 查看满足每个条件覆盖范围的组合列表
  下图是一个视图，可以识别满足一个条件的一对组合。左侧部分显示满足每个条件覆盖范围的组合列表。右侧部分显示所选组合的真值表以及是否覆盖。
  

MC/DC 视图决定组合引脚

启用[Show decision unit]选项后，将激活固定决策组合的功能。无论覆盖率如何，固定组合都会排序在前。此外，无论目标覆盖率如何，固定组合都会保持不变。

可以通过组合菜单中的 [Pin]/[Unpin] 菜单访问引脚/解引脚功能。

检测变化

如果已执行的测试信息发生变化，则会在右侧部分真值表的顶部显示 “The information has been changed after executing the test.”。

在以下情况下会检测到更改：

• 修改了有关测试或测试用例的信息。
• 修改源代码后进行分析。