主要内容

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

使用 Simulink Design Verifier 过滤器浏览器过滤目标

从设计错误检测或测试生成分析中过滤模型对象和代码表达式,使您能够专注于对象子集进行 Simulink® Design Verifier™ 分析。当您拥有需要花费很长时间进行分析的模型对象或想要集中进行特定目标的分析时,请使用过滤器。

您可以通过打开配置参数窗口、点击 Design Verifier 并在高级参数下选择 根据过滤器忽略目标 来添加一个或多个过滤器文件。在过滤器文件参数中输入您的过滤文件。有关覆盖率过滤器文件的更多信息,请参阅 创建和使用覆盖率过滤器 (Simulink Coverage)。您还可以过滤基于代码的分析的 Design Verifier 目标,以将基于代码的结果与基于模型的结果对齐。

执行设计错误检测或测试生成分析后,您可以使用 Simulink Design Verifier 过滤器资源管理器来对 unsatisfiabledead logicundecidedfalsified 目标进行申述。当您使用 Simulink Design Verifier 过滤器资源管理器编辑过滤器时,您可以更新 Simulink Design Verifier 报告并突出显示模型上的分析结果,而无需重新分析模型。有关如何过滤目标的详细示例,请参阅排除并申述设计错误检测的目标

使用 Simulink Design Verifier 过滤器资源管理器编辑过滤器文件

分析模型后,您可以使用 Simulink Design Verifier 过滤器资源管理器来申述 falsifiedunsatisfiableundecideddead logic 目标并更新过滤器文件。

您可以从“结果摘要”窗口或“结果检查器”窗口打开过滤器资源管理器。

  • 在结果摘要窗口中,点击打开过滤器资源管理器

    Results summary window that shows design error detection analysis.

  • 在结果检查器窗口中,

    • 要查看合理目标的过滤器规则,点击视图

    • 为了申述某个目标,点击申述

      Results summary window for Integer overflow onjectives.

Simulink Design Verifier 过滤器资源管理器中,您可以:

  • 创建、加载、编辑或保存过滤文件。

  • 创建一个过滤文件来申述活动 Unsatisfiable 中的所有 FalsifiedDead LogicsldvData 目标。

  • 导航到模型来检查与过滤器规则相关的模型对象。

  • 添加关于为什么排除或证明该目标或模型对象或代码表达的理由描述。

Simulink Design Verifier Filer Explorer window. Left pane shows the applied filters. Right pane shows option of new filer, load filter, and Create justification rules for violations and dead logic from the active sldvData.

Simulink Design Verifier Filter Explorer window showing the Filter Editor on right pane.

任务操作

导航到与规则关联的模型对象。

注意

此步骤仅对模型目标分析有效。

  1. 选择规则。

  2. 点击在模型中查看。模型对象以蓝色突出显示。

删除规则。

  1. 选择规则。

  2. 点击删除规则

将当前规则保存到文件中。

  1. 点击应用

  2. 指定过滤器文件的文件名和文件夹,然后点击保存

重命名过滤文件

  1. 点击另存为

  2. 指定过滤器文件的文件名和文件夹,然后点击保存

加载现有的过滤文件。

  1. 点击加载过滤器

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

突出显示模型并使用当前过滤文件更新当前分析报告。

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

    该模型通过更新的过滤规则突出显示。

  2. 在“结果摘要”窗口或“结果检查器”窗口中,点击 HTMLPDF

创建一个空的过滤文件。

点击新建过滤器

.

从过滤器资源管理器中删除过滤器。

右键点击应用的过滤器下相应节点,选择删除

.

创建一个过滤文件来申述活动 Unsatisfiable 中的所有 FalsifiedDead LogicsldvData 目标

  1. 点击从活动 sldvData 为违规和死逻辑创建申述规则

  2. 点击另存为

  3. 指定过滤文件的文件名和文件夹,然后点击保存

限制

Simulink Design Verifier 不支持与属性证明分析相关的过滤目标。

另请参阅

主题