创建、编辑和查看覆盖率过滤器规则

要创建覆盖率过滤器规则，请执行以下操作：

根据您选择的选项，会为您选择的覆盖率过滤器规则设置在覆盖率结果浏览器中查看应用的过滤器中的类型字段。您无法覆盖类型字段中的值。

创建过滤器规则时，默认过滤模式为已排除。已排除的对象不会出现在覆盖率报告中。您还可以将过滤模式设置为已申述。已申述的模块会显示为达到 100% 的覆盖率。

有关详细信息，请参阅覆盖率过滤。

（可选）您可以添加文本来说明您排除记录某个对象或某些对象的覆盖率的原因。这些信息对于审查您的模型覆盖率的其他人来说可能很有用。添加覆盖率过滤器规则时，覆盖率结果浏览器的应用的过滤器部分将打开。要添加理由，请执行以下操作：

注意

理由字段和模式字段是唯一可以在覆盖率结果浏览器的应用的过滤器部分中编辑的覆盖率过滤器规则字段。

添加新的覆盖率过滤器规则或编辑现有的覆盖率过滤器规则后，点击应用以启用生成报告和突出显示具有覆盖率结果的模型链接。

您可以在覆盖率结果浏览器中，利用在 Simulink^® Design Verifier™ 死逻辑分析期间检测到的死逻辑来创建申述规则。

在覆盖率 App 中打开结果浏览器。
点击应用的过滤器以访问覆盖率过滤器。
点击为死逻辑制定申述过滤器规则(使用 Simulink Design Verifier)。
Simulink Design Verifier 会运行死逻辑分析，并填充过滤器列表。
点击生成报告。
在上一步中已申述的规则会显示在报告开头的从覆盖率分析中滤除的对象部分中。要导航到这些规则在报告的详细信息部分中对应的项，请使用规则描述中的超链接。点击理由列中的超链接可导航到覆盖率结果浏览器。
您可以通过点击报告的详细信息部分中的，针对未获得覆盖率的元素向过滤器中添加申述规则。

您可以在覆盖率结果浏览器中，利用 Polyspace^® Code Prover™ 结果为代码覆盖率创建申述规则。

在覆盖率 App 中打开结果浏览器。
点击应用的过滤器以访问覆盖率过滤器。
点击为死逻辑制定申述过滤器规则(使用 Polyspace Code Prover 结果)。
系统将打开文件选择窗口，以便您可以提供 Polyspace Code Prover 结果文件。
点击生成报告。

定义覆盖率过滤器规则后，请将这些规则保存到文件中，以便在当前模型或其他模型中重复使用它们。默认情况下，覆盖率过滤器文件的命名格式为 <model_name>_covfilter.cvf。

如果您对覆盖率过滤器规则进行了多次更改，请每次都将更改应用到覆盖率过滤器文件中。

您可以直接从覆盖率结果浏览器中创建新的覆盖率过滤器文件。

保存覆盖率过滤器文件后，您可以加载该覆盖率过滤器文件以便在其他模型中使用。在覆盖率结果浏览器中：

您可以为任何模型加载多个覆盖率过滤器文件。已加载的过滤器文件会显示在覆盖率结果浏览器的应用的过滤器部分中。

两个或多个模型可以关联同一个覆盖率过滤器文件。如果某个模型关联的过滤器文件包含针对其他模型中特定对象的覆盖率过滤器规则，则在覆盖率记录期间会忽略这些规则。

要从覆盖率结果浏览器中删除已应用的覆盖率过滤器，请执行以下操作：

您还可以在 Simulink Test™ 的测试管理器中添加和删除覆盖率过滤器文件。有关详细信息，请参阅使用测试管理器进行覆盖率过滤 (Simulink Test)。

如果您在对模型进行仿真后更改了过滤设置或添加了过滤器，则可以在不重新仿真模型的情况下更新覆盖率报告和模型突出显示。在对模型进行仿真后，在覆盖率结果浏览器的应用的过滤器部分的“当前累积数据”部分中：

每当您定义覆盖率过滤器规则或删除现有覆盖率过滤器规则时，覆盖率结果浏览器的应用的过滤器部分都会打开。此窗格会列出您应用的过滤器的覆盖率过滤器规则。有关详细信息，请参阅在覆盖率结果浏览器中查看应用的过滤器。

模型当前应用的过滤器列表可在覆盖率结果浏览器的应用的过滤器部分中找到。您也可以在模型窗口中的任意位置右键点击，然后依次选择覆盖率 > 打开过滤器查看器。

如果您处于某个子系统内部，则可以查看关联到该子系统的任何覆盖率过滤器规则。要打开覆盖率结果资源管理器的应用的过滤器部分，请右键点击子系统内的任何对象并选择 覆盖率 > 显示过滤器父级。