摘要报告组

Summary部分显示了整个测试的覆盖率结果，并出现在Model coverage报告的开头。

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

顶层，sf_boiler，是Simulin金宝appk模型本身。第二层，Bang-Bang Controller，是状态流程图。下一个层次是图表中的超状态，按照层次包容的顺序。每个超级州都使用一个SF:前缀。底层，锅炉厂模型，是模型中的一个附加子系统。

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

在为状态流程图记录覆盖率时，金宝app仿真软件覆盖软件报告图表的两种类型的覆盖——子系统和图表。

州详情报告组

对于图表中的每个州，覆盖率报告包含一个状态部分，详细说明该州的覆盖率记录。

在sf_boiler模型，状态在在盒子里加热器．在是一个超状态，它包含:

覆盖报告包括一个状态国家部分在．

决策覆盖范围为在状态测试执行哪个子状态的决定。

报告中列出了三项决定:

因为每个决定都可能导致任何一种结果高或规范，总可能结果为3 × 2 = 6．结果表明，在模拟过程中测试了六种可能结果中的五种。

的后代也适用圈复杂度和决策覆盖率在状态。根据情况所需要的决定(温暖())因为从HIGH到NORM的转换使得总可能的决策结果为8。不适用于条件覆盖范围和MCDC (NA)为一个国家。

过渡详情报告组

转换的报告出现在其所属对象的报告部分之下。转换不会出现在Summary部分的模型层次结构中，因为该层次结构基于拥有其他statflow对象的超状态。

这个转换的决定取决于40秒的时间延迟和条件(冷())．如果在40秒延迟后，环境是冷的(Cold () = 1)，决定执行这个转换并打开加热器。对于其他时间间隔或环境条件，决定不执行。

对于决策覆盖率，有真结果也有假结果。因为发生了两个决策结果中的两个，覆盖率是完全或100%。

条件覆盖率显示，6个条件结果中只有4个进行了测试。时间逻辑语句(40秒后)表示两个条件:的发生证券交易委员会还有时间延迟(40秒后)．因此，过渡存在三个条件:证券交易委员会，(40秒后),冷()．因为每个决定都可能是真或假，所以存在六种可能的条件结果。

的条件分析表将每个条件显示为一行，其中记录了每个结果的出现次数(真或假)。没有出现可能结果的决策行被阴影覆盖。例如，第一行和第三行没有记录错误结果的发生。

在MCDC报告中，所有转换条件的出现集都被扫描，以寻找每个条件的特定决策对，其中以下条件为真:

对于由隐含AND运算符关联的三个条件，这些条件的出现可以满足这些标准。

注意，在每一行中，测试的条件从真变为假，而另一个条件保持不变。不相关的贡献者用“x”编码(下面讨论)。如果在测试过程中出现这两种结果，则测试条件的覆盖率是完整的(100%)。

前面的报告示例只显示了条件2的覆盖率。条件1和3所需的错误结果都没有出现，在这两个条件下都用括号表示。因此，条件行1和3是阴影的。条件2已经过测试，条件1和3未经过测试，MCDC为33%。

对于某些决策，某些条件的值在某些情况下是不相关的。例如，在决策[C1 c2 c3 | c4 c5的左边|如果任意一个条件都是假的C1，C2,或C3是假的。这同样适用于右边的结果C4或C5是假的。当搜索通过改变一个条件来改变决策结果的匹配对时，保持其他一些条件不变是无关紧要的。在这些情况下，MCDC报告用“x”标记这些条件，以表明它们与结果无关。这些条件如下所示。

考虑第一对配对。的条件1为真真正的结果列，匹配时必须为假假结果列。这使得条件C2而且C3与错误的结果无关C1 c2 c3总是false，如果C1是假的。此外，由于假的结果被要求评价为假的，评价C4 & c5也一定是假的。在这个案例中，找到了匹配C4= F，制造条件C5无关紧要的。