创建一个覆盖过滤规则:
使模型的报道。
记录报道结果,模拟模型。
创建一个新的过滤规则在其中的一个方面:
在模型窗口中,右键单击并选择模型对象报道>排除。
覆盖率报告的细节部分,单击证明或排除对于一个模型对象。
创建一个新的覆盖过滤器文件直接从覆盖率结果浏览器:
点击应用过滤器。
点击新过滤器。
输入一个的名字和描述的过滤器。
点击另存为。
指定一个文件名和文件夹过滤器文件并单击保存。
或者,您可以右键单击应用过滤器标签和选择新过滤器
根据您所选择的选项,类型字段在覆盖率结果Explorer视图应用过滤器设置过滤规则选择的保险。你不能覆盖中的值类型字段。
当你创建一个过滤规则,默认过滤模式被排除在外
。排除对象没有出现在覆盖报告。你也可以设置过滤模式合理的
。合理的块出现,实现100%的覆盖率。
有关更多信息,请参见覆盖过滤。
可选地,您可以添加文本描述为什么你排除对象或对象从保险记录。此信息可以对其他人有用的评论报道为您的模型。当你添加一个覆盖过滤器规则,应用过滤器覆盖率结果的浏览器打开。增加的理由是:
双击的理由字段规则。
删除现有的文本。
增加的理由不包括这个对象。
请注意
的基本原理场和模式字段是唯一覆盖字段,您可以编辑过滤规则应用过滤器部分的覆盖率结果探险家。
当你添加一个新的报道过滤规则或编辑现有的覆盖过滤器规则,点击应用要启用生成报告和突出模型与报道的结果链接。
您可以创建理由规则在覆盖率结果Explorer使用期间发现死者逻辑金宝app®设计验证器™死去的逻辑分析。
打开浏览器的结果报道应用程序。
点击应用过滤器访问覆盖过滤器。
点击让死去的逻辑(使用理由过滤规则金宝app仿真软件设计验证器)。
金宝app仿真软件设计验证器死者运行逻辑分析和填充的列表过滤器。
点击生成报告。
合理的规则从前面步骤所示对象从覆盖率分析过滤报告的开头部分。导航到规定的相应项目细节部分的报告,使用超链接的规则描述。单击超链接的基本原理列导航覆盖率结果探险家。
您可以添加理由规则元素得不到覆盖过滤器通过点击在细节部分的报告。
您可以创建理由规则覆盖的代码覆盖率结果Explorer使用Polyspace®代码验证™结果。
打开浏览器的结果报道应用程序。
点击应用过滤器访问覆盖过滤器。
点击让死去的逻辑(使用理由过滤规则Polyspace代码验证结果)。
打开一个文件选择窗口,这样你就能提供Polyspace代码验证结果文件。
点击生成报告。
定义覆盖过滤器规则后,将规则保存到一个文件,这样您就可以与这个模型或其他模型重用它们。默认情况下,覆盖过滤器文件命名<
。model_name
> _covfilter.cvf
在应用程序选项卡上,单击覆盖分析仪。在报道Explorer选项卡,打开报道结果。
点击应用过滤器,然后选择你的过滤器。
输入一个的名字和描述过滤器,如果已经存在。
点击应用。一个保存对话框打开。
指定一个文件名和文件夹过滤器文件并单击保存。
如果你让多个覆盖过滤规则的变化,应用更改每次覆盖过滤器文件。
你可以创建一个新的覆盖过滤器文件直接从覆盖率结果探险家。
点击应用过滤器。
点击新过滤器。或者,您可以右键单击应用过滤器并选择新过滤器。
输入一个的名字和描述的过滤器。
点击应用。一个保存对话框打开。
指定一个文件名和文件夹过滤器文件并单击保存。
保存一个覆盖过滤器文件之后,您可以加载覆盖过滤器文件用于其它模型。在覆盖率结果浏览器:
点击应用过滤器。
点击加载滤波器。或者,您可以右键单击应用过滤器并选择加载滤波器。
导航到过滤器文件并单击开放。
你可以为任何模型加载多个覆盖过滤器文件。反滤层文件显示的应用过滤器部分的覆盖率结果探险家。
两个或两个以上的模型可以有相同的覆盖过滤器文件。如果一个模型有一个附加的过滤器文件包含覆盖过滤器规则为特定对象在一个不同的模型中,这些规则被忽略在覆盖记录。
删除一个应用覆盖过滤器,从覆盖率结果资源管理器:
扩大应用过滤器。
右键单击您想要删除并选择覆盖过滤器删除。
您还可以添加和删除覆盖过滤器文件金宝app仿真软件测试™经理。有关更多信息,请参见报道使用测试经理过滤(金宝app仿真软件测试)。
如果你改变或添加过滤器的过滤设置模拟模型之后,您可以更新覆盖报告和模型强调没有resimulating模型。模拟模型后,在当前累积的数据部分应用过滤器部分的报道结果浏览器:
应用或回复你做了任何更改。
点击生成报告。
当你定义一个覆盖过滤器规则或删除现有的覆盖过滤器规则,应用过滤器覆盖率结果的浏览器打开。此窗格列出了覆盖应用过滤器过滤规则。有关更多信息,请参见在覆盖率结果Explorer视图应用过滤器。
目前应用的列表过滤模型是可用的应用过滤器部分的覆盖率结果探险家。或者,您可以在模型窗口的任意位置右击鼠标,选择报道>打开过滤查看器。
如果你是在一个子系统,可以查看任何覆盖过滤器规则子系统。打开应用过滤器部分的覆盖率结果Explorer中,右键单击任何对象内部子系统和选择报道>显示过滤器父。