Main Content

本页采用了机器翻译。点击此处可查看英文原文。

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

创建和编辑覆盖率过滤规则

创建覆盖率过滤规则

要创建覆盖率过滤器规则：

  1. 启用模型覆盖率。

  2. 为了记录覆盖率结果，仿真模型。

  3. 通过以下方式之一创建新的过滤器规则：

    • 在模型窗口中，右键点击模型对象并选择覆盖率 > 排除。

    • 在覆盖率报告的详细信息部分，点击模型对象的申述或排除。

    • 直接从覆盖率结果资源管理器创建一个新的覆盖率过滤器文件：

      1. 点击应用的过滤器。

      2. 点击新建过滤器。

      3. 输入名称和描述作为过滤器。

      4. 点击另存为。

      5. 指定过滤器文件的文件名和文件夹，然后点击“保存”。

      或者，您可以右键点击应用的过滤器标签并选择新建过滤器

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

选择过滤模式

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

有关更多信息，请参阅覆盖率过滤。

为覆盖率过滤规则添加理由

或者，您可以添加文本来描述为什么将该对象或多个对象排除在覆盖率记录之外。此信息对于审查您模型覆盖率的其他人可能有用。当您添加覆盖率过滤器规则时，覆盖率结果资源管理器的应用的过滤器部分将打开。添加理由：

  1. 双击该规则的理由字段。

  2. 删除现有文本。

  3. 添加排除该对象的理由。

注意

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

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

从 Simulink Design Verifier 死逻辑分析中证明死逻辑

您可以使用在 Simulink® Design Verifier™ 死逻辑分析期间检测到的死逻辑在覆盖率结果资源管理器中创建申述规则。

  1. 从覆盖率应用程序打开结果资源管理器。

  2. 点击应用的过滤器以访问覆盖率过滤器。

  3. 点击为死逻辑制定申述过滤规则（使用 Simulink Design Verifier）。

    Simulink Design Verifier 运行 Dead Logic Analysis 并填充过滤器列表。

  4. 点击生成报告。

    上一步中已申述的规则显示在报告开头的从覆盖率分析中滤除的对象部分。要导航到报告的详细信息部分中与规则对应的项目，请使用规则描述中的超链接。点击理由列中的超链接可导航至覆盖率结果浏览器。

    Coverage report section titled "Objects Filtered from Coverage Analysis" shows input port 1 T in Logic Block "Or" is justified with rationale "dead logic." A second rule shows input > lower limit F in Saturate block "Saturation" is justified with rationale "dead logic."

    您可以通过点击报告的详细信息部分中的 ，将未接收覆盖率的元素的申述规则添加到过滤器中。

根据 Polyspace Code Prover 结果证明无效逻辑

您可以使用 Polyspace® Code Prover™ 结果在覆盖率结果资源管理器中为代码覆盖率创建申述规则。

  1. 从覆盖率应用程序打开结果资源管理器。

  2. 点击应用的过滤器以访问覆盖率过滤器。

  3. 点击为死逻辑制定申述过滤规则（使用 Polyspace Code Prover 结果）。

    打开一个文件选择窗口，以便您可以提供 Polyspace Code Prover 结果文件。

  4. 点击生成报告。

将覆盖率过滤器保存到文件

定义覆盖率过滤规则后，将规则保存到文件中，以便您可以在此模型或其他模型中重复使用它们。默认情况下，覆盖率过滤器文件名为 <model_name>_covfilter.cvf。

  1. 在 App 选项卡中，点击覆盖率分析器。在覆盖率 选项卡中，打开覆盖率结果浏览器。

  2. 点击应用的过滤器，然后选择您的过滤器。

  3. 如果尚不存在，请为过滤器输入名称 和描述。

  4. 点击应用。将打开保存对话框。

  5. 指定过滤器文件的文件名和文件夹，然后点击“保存”。

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

创建新的覆盖率过滤文件

您可以直接从覆盖率结果资源管理器创建新的覆盖率过滤器文件。

  1. 点击应用的过滤器。

  2. 点击新建过滤器。或者，您可以右键点击应用的过滤器并选择新建过滤器。

  3. 输入名称和描述作为过滤器。

  4. 点击应用。将打开保存对话框。

  5. 指定过滤器文件的文件名和文件夹，然后点击“保存”。

加载覆盖率过滤文件

保存覆盖率过滤器文件后，您可以加载该覆盖率过滤器文件以供其他模型使用。在覆盖率结果资源管理器中：

  1. 点击应用的过滤器。

  2. 点击加载过滤器。或者，您可以右键点击应用的过滤器并选择加载过滤器。

  3. 导航到过滤器文件并点击打开。

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

两个或多个模型可以附加相同的覆盖率过滤器文件。如果模型具有附加的过滤文件，其中包含针对不同模型中特定对象的覆盖率过滤规则，则在覆盖率记录期间会忽略这些规则。

删除已应用的覆盖率过滤器

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

  1. 展开应用的过滤器。

  2. 右键点击要删除的覆盖率过滤器并选择删除。

使用 Simulink Test 中的测试管理器管理应用的过滤器

您还可以从 Simulink Test™ 中的测试管理器中添加和删除覆盖率过滤器文件。有关更多信息，请参阅Coverage Filtering Using the Test Manager (Simulink Test)。

使用当前过滤器设置更新报告

如果在仿真模型后更改过滤设置或添加过滤器，则您可以更新覆盖率报告和模型突出显示，而无需重新仿真模型。仿真模型后，在覆盖率结果资源管理器的应用的过滤器部分的当前累积数据部分中：

  1. 应用或还原您所做的任何更改。

  2. 点击生成报告。

查看模型中的覆盖率过滤规则

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

模型当前应用的过滤器列表可在覆盖率结果资源管理器的应用的过滤器部分中找到。或者，您可以右键点击模型窗口中的任意位置并选择 覆盖率 > 打开过滤器查看器。

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