摘要报告部分

摘要部分显示整个测试的覆盖率结果，并出现在模型覆盖率报告的开头。

层次结构中的每一行总结了该级别及其以下级别的覆盖率结果。您可以点击超链接，跳转到报告中具有相同分配层次顺序号的后面部分，其中详细说明了该覆盖率及其子覆盖率。

顶层 sf_boiler 是 Simulink 模型本身。第二级，Bang-Bang Controller，是 Stateflow 图。下一级别是图中的超级状态，按照层次包含的顺序排列。每个超级状态都使用 SF：前缀。底层锅炉房模型是该模型的一个附加子系统。

子系统和图详细信息报告部分

在记录 Stateflow 图的覆盖率时，Simulink Coverage 软件会报告该图的两种覆盖率- 子系统和图。

状态详细信息报告部分

对于图中的每个状态，覆盖率报告都包含一个状态部分，其中记录了该状态的覆盖率的详细信息。

在 sf_boiler 模型中，状态 On 位于框 Heater 中。On 是一个超状态，它包含：

覆盖率报告包含有关状态 On 的状态部分。

On 状态的决策覆盖率测试执行哪个子状态的决策。

报告中列出了这三项决策：

因为每个决策都可能导致 HIGH 或 NORM，所以总共可能的结果是 3 × 2 = 6。结果表明，在仿真中测试了六种可能的结果中的五种。

循环复杂度和决策覆盖率也适用于 On 状态的后代。条件 [warm()] 从 HIGH 到 NORM 的转移所需的决策使可能的决策结果总数达到 8。对于某个状态，条件覆盖率和 MCDC 不适用（NA）。

转移详细信息报告部分

转移报告显示在其所属对象的报告部分下。转移不会出现在摘要部分的模型层次结构中，因为该层次结构基于拥有其他 Stateflow 对象的超状态。

此转移的决策取决于 40 秒的时间延迟和条件 [cold()]。如果经过 40 秒的延迟后，环境变冷（cold() = 1），则决策执行此转移并打开加热器。对于其他时间间隔或环境条件，则决策不执行。

对于决策覆盖率，既有 true 结果，也有 false 结果。由于发生了两种决策结果中的两种，因此覆盖率是全覆盖或 100%。

条件覆盖率表明，仅测试了 6 个条件结果中的 4 个。时间逻辑语句 after(40,sec) 代表两种情况：sec 的发生和时间延迟 after(40,sec)。因此，转移时存在三个条件：sec、after(40,sec) 和 cold()。由于每个决策都可能为 true 或为 false，因此存在六种可能的条件结果。

分析的条件表将每种条件显示为一行，并记录每种结果（true 或 false）的发生次数。未发生可能结果的决策行以阴影表示。例如，第一行和第三行没有记录 false 结果的发生。

在 MCDC 报告中，将扫描所有转移条件的发生集，以便为每个满足以下条件的条件找到一对特定的决策：

对于由隐含的 AND 运算符关联的三个条件，只要这些条件的出现就能满足这些准则。

请注意，在每一行中，测试的条件从 true 变为 false，而其他条件保持不变。不相关的贡献者用“x”编码（如下所述）。如果测试期间出现两种结果，则测试条件的覆盖率是完整的（100％）。

上述报告示例仅显示条件 2 的覆盖率。条件 1 和 3 所需的 false 结果并未发生，并且在两种条件下都用括号表示。因此，条件行 1 和 3 被阴影显示。虽然条件 2 已经过测试，但条件 1 和 3 尚未测试，且 MCDC 为 33%。

对于某些决策，某些条件的值在某些情况下是无关的。例如，在决策 [C1 & C2 & C3 | C4 & C5] 中，如果条件 C1、C2 或 C3 中任何一个为 false，则 | 的左边也为 false。如果 C4 或 C5 为 false，则右侧结果也同样适用。当寻找通过改变一个条件来改变决策结果的匹配对时，保持其余一些条件不变是无关紧要的。在这些情况下，MCDC 报告会用“x”标记这些 case，以表明它们与结果无关。这些情况如图所示。

考虑第一个匹配的对。由于条件 1 在 True 结果列中为 true，因此它在匹配的 False 结果列中必定为 false。这使得条件 C2 和 C3 与 false 结果无关，因为如果 C1 为 false，则 C1 & C2 & C3 始终为 false。而且，由于需要将 false 结果评估为false，因此 C4 & C5 的评估也必须为错误。在这种情况下，发现匹配项 C4 = F，使得条件 C5 无关紧要。