利用Model Inspector的规则检查
Model Inspector是一种基于模型的软件静态验证自动化解决方案。通过对模型进行规则检查,开发人员的工作成本将减少,开发效率将会大大提高。 Model Inspector支持各种行业标准建模规范,对违反规范进行检查。 用户可通过dashboard获知模型质量指标,轻松确认违反原因和修改建议。
​
下面介绍一下利用Model Inspector的规范检查方法。
​
Model Inspector规范检查
Model Inspector提供规则检查后，对违规项进行确认的功能。 用户在确认模型违规项时,无需在Model Inspector和Simulink型号之间切换界面,即可方便地查看违规信息。 现在，让我们看一下“违规导航”窗口，您可以在该窗口与Simulink模型交互并检查和修改违规项。
​
规范检查窗口
在Model Inspector Project View的模型中选择规范检查菜单,就能看到模型级别的规范检查窗口和相应模型。 将显示存在违规项的系统或子系统列表，并在路径右侧显示该路径中违规项的数量。
<图1> Model Inspector规范检查窗口
在上面的检查窗口中，如果选择链接的子系统路径或者在 Model Inspector 项目视图中的子系统上选择违规项浏览菜单，则会显示该路径下不符合规范的列表。 另外，模型会自动移动到所选路径上，不符合规范的条目会以橘黄色高亮显示。

<图2> Model Inspector违反结果
在上面的浏览窗口中，选择链接的不符合规范项目或从 Model Inspector 不符合规范项目浏览界面中选择不符合规范搜索菜单，显示该项目的详细不符合项信息。 在此界面中可以确认规则名称、原因、建议、状态、注释等。 选择规则名称可查看有关规则的描述， 并允许您通过编辑图标编辑您的状态和注释 。 对于可自动修改的不符合项，左侧会出现自动修改图标，可执行自动修改功能。

<图3> Model Inspector违规菜单功能
下面我们来看一下不符合规范窗口的上端菜单。 选择 Refresh 菜单时， 检查结果会重新导入， 并与 Model Inspector 中的信息同步 。 选择 Top 菜单后， 将会转到显示模型中不符合规则列表的页面 。 选择 Up 菜单时， 将转到显示当前子系统不符合规则列表的页面 。 选择 Prev / Next 菜单后，将转到显示不符合规范前一次或后一次详细信息的页面。
​
模型之间的相互联动
规则搜索窗口与模型互通，因此，如果选择模型中的高亮项目，则可以查看有关不符合规则项目的详细信息;如果选择模型中的背景，则可以查看当前子系统位置的不符合规则列表。 规则搜索窗口总是显示在模型上,与模型一起查看不符合规则信息,是可以非常方便修改不符合规则的功能。