覆盖率结果浏览器
查看、管理和过滤模型覆盖率结果
说明
使用 覆盖率结果浏览器 查看累积或单个运行的覆盖率结果、创建和加载覆盖率过滤器、创建覆盖率报告以及更改覆盖率报告设置。
覆盖率结果浏览器 是一个用于交互式管理覆盖率数据的工具。您可以管理哪些运行包含在当前累计数据中，管理覆盖率过滤器，以及更改覆盖率报告设置。有关详细信息，请参阅使用覆盖率结果浏览器管理和汇总覆盖率结果。
从过滤器编辑器窗格中，您还可以调用 Simulink® Design Verifier™ 为失效逻辑创建模型覆盖率合理性过滤器规则，或调用 Polyspace® Code Prover™ 为失效逻辑创建代码覆盖率合理性过滤器规则。
打开 覆盖率结果浏览器
在 Simulink 工具栏的覆盖率选项选项卡中，在查看结果下，点击结果浏览器。
示例
要创建、加载和编辑覆盖率过滤器，请在左侧窗格中点击应用的过滤器。
下表列出了可用的选项：
| 选项 | 描述 |
|---|---|
新建过滤器 | 创建一个空白过滤器并打开过滤器编辑器窗格。 |
加载过滤器 | 打开加载过滤器窗口。当您选择一个覆盖率过滤器，然后点击应用时，该过滤器就会应用于覆盖率结果。 |
针对死逻辑制定申述过滤规则（使用 Simulink Design Verifier） | 通过运行 Simulink Design Verifier 设计错误检测分析来分析模型是否存在设计错误。有关详细信息，请参阅分析模型以检测设计错误 (Simulink Design Verifier)。
注意 无论运行穷举分析参数的设置如何，此选项都会运行非穷举分析。有关详细信息，请参阅Design Verifier 窗格：设计错误检测 (Simulink Design Verifier)。
|
为死逻辑制定申述过滤规则（使用 Polyspace Code Prover 结果） | 打开 Polyspace Code Prover 结果文件窗口。选择结果文件以生成无效逻辑的合理性过滤器规则，并将其应用于覆盖率结果。 |
在覆盖率结果浏览器中，点击当前累积数据查看多个模拟的汇总覆盖率数据。要查看单个仿真的覆盖率结果，请展开当前累积数据并点击要查看的运行。
要更改覆盖率运行的名称，点击运行名称并将标记字段设置为所需的字符串，然后点击应用。
您可以右键点击覆盖率数据并选择从累积数据中排除将其从当前累积数据部分中删除。已移除的覆盖率数据仍保留在数据仓库中，您可以将其添加到累计数据或从累计数据中删除。
如果您的模型包含变体块或 Stateflow® 图表的变体配置，则可以选择排除变体的非活动选择项选项。有关详细信息，请参阅变体模块的模型覆盖率。
相关示例
参数
版本历史记录
在 R2016b 中推出
