创建和使用覆盖过滤器

覆盖过滤器

在验证过程中,一个模型可以包含几个构造,防止全模型覆盖,如一个子系统,它包含一个司机控制器,不是测试并不是相关的验证过程。你可以排除这个子系统从报道的结果。

或者,你可能测试标准,需要锻炼一个街区的某些方面,如触及特定的决策点。如果不可行满足所有报道的结果对于这个块,你不打算让你去测试这些不满意的结果,然后你就可以证明失踪的报道。

过滤这些构造在覆盖率结果扣除或证明他们允许你关注其他方面的失踪的报道,可以而且应该被测试。

CVF文件存储在覆盖过滤器。每个过滤器由规则,排除或证明某些模型对象或个人保险的客观结果。您可以应用多个过滤器文件为一个模型覆盖率结果。多个模型也可以使用相同的过滤器文件。

您可以创建和应用覆盖过滤器之前或之后模拟模型。

开放模式

下面的例子使用了slvnvdemo_covfilt模型,包括通用模式过滤从报道结果的例子。

open_system (“slvnvdemo_covfilt”);

指定项目之前从覆盖率结果排除模拟

图书馆的块slvnvdemo_covfilt_lib /保护部门防止除零。如果你确定测试预计不会或打算完全覆盖每一个实例的块在这种情况下,你可以排除这个块的报道结果。

在模型编辑器中金宝app,右键单击受保护的部门图书馆块并单击覆盖>排除引用库:slvnvdemo_covfilt_lib /部门保护过滤所有引用的库。

这将打开筛选编辑器面板的覆盖率结果探险家。请注意,覆盖率结果探险家创建了一个新的过滤器文件,最初命名无标题的添加一个过滤器规则,排除所有引用库。

指定一个名称和描述为新的过滤器文件使用的名字和描述字段。在表中,双击基本原理新规则和输入文本字段描述为什么这个块排除在外,如除零保护。点击应用保存过滤器文件。一个文件对话框提示您指定保存该文件的位置。

重用现有的过滤器文件

如果你有模型包含类似的结构,您可以使用一个过滤器文件在多个模型。

例如,过滤器文件Filter_Tick.cvf排除了Stateflow时间事件蜱虫从报道的结果。这个事件不可能是假的,因此可以防止已满的状况和MCDC覆盖在任何模型使用蜱虫在Stateflow基于事件的时序逻辑。

因为slvnvdemo_covfilt /模式逻辑包含这个构造,您可以应用过滤器文件Filter_Tick.cvf到模型中。

应用这个现有的过滤器文件,右键单击应用过滤器节点覆盖率结果探险家并选择加载滤波器。在文件对话框中,选择Filter_Tick.cvf并点击开放。

请注意,应用过滤器现在列表Filter_DivBy0和Filter_Tick。

模拟和审查过滤覆盖率结果

单击运行(覆盖率)按钮来模拟模型和记录报道。当模拟完成,仿真软件报道强调了覆盖率结果和模型金宝app报道的细节窗格中打开。

两个引用受保护的部门图书馆块变暗在仿真软件画布,这表明仿真软件覆盖不分析它们由于排除金宝app规则。

在报道的细节窗格中,对象从覆盖率分析过滤列出每一个排除为每个元素和相应的依据。这两个Filter_DivBy0和Filter_Tick出现在这里。

创建一个新的过滤器文件

创建另一个过滤器文件捕捉过滤器规则只与该模型有关。

在覆盖率结果探险家,右键单击应用过滤器节点并选择新过滤器。

这个过滤器文件输入一个名称和描述。点击应用并指定保存文件。

排除项目覆盖仿真后的结果

您还可以创建并应用过滤规则覆盖仿真后的结果。这允许您检查覆盖率结果,创建或调整过滤器,并生成一个新的覆盖率报告,而无需重新运行模拟。

例如,考虑一下可切换的配置子系统模型常见的设计模式,使用常量值驱动子系统启用端口配置改变模型。然而,使逻辑子系统内容可能导致失踪的报道。因为这个模型不使用这种配置,可以排除覆盖率分析。

在模型编辑器中金宝app,单击可切换的配置子系统。的报道的细节窗格显示这个子系统的详细报道。单击证明或排除链接。

链接创建一个新的过滤规则,并将其添加到当前选择的过滤器文件筛选编辑器窗格。在过滤规则节的默认设置模式列是被排除在外。输入此规则的基本原理,如未使用的配置。

点击应用将更改保存到过滤器文件和更新报道的结果。的可切换的配置子系统现在黯淡,这表明过滤器将它排除在报道的结果。

从覆盖率结果证明个人客观的结果

在模型编辑器中金宝app,单击饱和块的覆盖率结果和审查报道的细节窗格。结果是不满意的,因为两个决定饱和块的下限0和一个上限的200年。然而,这一块的输入率信号,不能小于或等于0。的下限饱和块未得到充分行使,这样你就可以证明相应的决策结果。

单击添加理由规则图标旁边的虚假的结果决定输入>下限。

的覆盖率结果探险家添加一个新的过滤规则中当前选择的过滤器文件筛选编辑器窗格。指定辩护理由,例如率> 0。

点击应用保存过滤文件和更新报道的结果。

注意,在报道的细节面板中,合理的结果饱和块淡蓝色和链接的基本原理。因为你没有过滤的结果决定输入> =上限和分析不足以锻炼这一结果,饱和块已经失踪的报道和保持红色。

自动生成过滤器规则逻辑

在某些情况下,失踪的报道是由于死逻辑和关联的覆盖目标是不可满足的。如果这个逻辑是元素,您不希望删除从你的模型,你可以证明这些失踪的报道结果。

如果你有一个仿真软件设计校验金宝app™许可,可以自动创建理由过滤规则逻辑。

在覆盖率结果探险家,选择应用过滤器节点。在筛选编辑器窗格中,选择让死亡理由过滤规则逻辑(使用仿真软件设计验证器)金宝app。

这个选项使用仿真软件设计校验™为死金宝app去的逻辑分析模型。金宝app仿真软件设计验证器创建一个新的过滤器并添加理由规则为每个相应的报道结果。

金宝app仿真软件设计校验检测,结果证明死两个逻辑条件,七决定的结果,和一个MCDC结果。

这个过滤器文件指定一个名称和描述。点击应用当完成。在文件对话框中,指定在哪里保存这个过滤器文件。

关闭金宝app仿真软件设计校验结果窗户。

审查过滤覆盖率结果

在模型编辑器中金宝app,在报道选项卡,审查结果部分中,选择报道强调。

在应用这四个过滤器在这个例子中,仿真实现了100%的条件下,63%的决定,和75%执行覆盖这个模型。报道结果不再包含接收MCDC模型对象,所以覆盖率报告没有这个指标列表。覆盖率报告没有显示死者MCDC结果逻辑分析过滤掉,因为覆盖过滤器Filter_Tick包含一个排除规则,消除了这种结果的报告。

其余失踪的覆盖率模式的逻辑图表,时间捕获子系统,饱和块显示不充分的测试。你能够解决悬而未决的报道这类通过扩展您的测试更彻底地练习这些模型元素。