使用仿真数据检验器检查模型验证结果

这个示例使用:

打开脚本

这个例子展示了如何使用Simulation Data Inspector来查看被测系统中模型验证块的输出。如果您有Simulink金宝app®Test™，则返回模型验证块通过，失败,或未测试的每个时间步的结果。通过检查模型验证块的结果，你可以:

有关更多信息，请参见模型验证模块．

在这个例子中，子系统块控制器建立汽车巡航控制系统的模型。该子系统根据实际和目标速度之间的差异输出节气门值。

验证子系统安全属性使用一个断言块检查系统脱离时，制动应用三个连续的时间步。

在模拟数据检查器中模拟模型并查看断言块的输出。

结果表明，断言在0.23秒时失败。

通过绘制刹车和油门信号的值来检查故障的原因。

右键单击throt信号和选择日志选择信号．
模拟模型。
使用两个副图配置模拟数据检查器。
在“模拟数据检查器”导航窗格中，选择要绘制的信号。对于第一个子图，选择BrakeAssertion．对于第二个子图，选择控制器:1(节流阀)和输入:3(制动)。

结果表明，在0.2秒时按下刹车并不能使油门脱离。

通过从Simulation Data Inspector跟踪结果回到模型，找到产生验证结果的块。在“模拟数据检查器”导航窗格中，右键单击BrakeAssertion并选择强调在模型．编辑器打开验证子系统并突出显示Assertion块。

另请参阅

断言|sltest.getAssessments|意味着(金宝app仿真软件设计验证器)|证明假设(金宝app仿真软件设计验证器)