使用模拟数据检查器检查模型验证结果
这个例子展示了如何使用Simulation Data Inspector来查看被测系统中模型验证块的输出。如果您有Simulink金宝app®Test™，则返回模型验证块经过那失败， 或者不知所措结果每次步骤。通过检查模型验证块的结果，您可以：
发生故障时确定模拟时间。
将验证结果与其他相关信号进行比较。
将模拟数据检查器的跟踪失败返回模型。
有关更多信息，请参阅模型验证块．
使用断言块验证模型行为
在此示例中，子系统块控制器在汽车中塑造巡航控制系统。该子系统基于实际和目标速度之间的差异输出节气门值。
验证子系统安全性质用A.断言在连续三个时间步骤应用制动器时检查系统脱离。
确定故障仿真时间
模拟模型并查看模拟数据检查器中断言块的输出。
在里面模拟选项卡，单击跑步．
在里面模拟标签，下面审查结果， 选择数据检查员．
在“模拟数据检测器导航”窗格中，选择
Brakeassertion.．
结果表明，断言在0.23秒时失效。
将验证结果与其他信号进行比较
通过绘制制动器和节气门信号的值来检查失败的原因。
右键单击
throt.信号和选择日志选定的信号．模拟模型。
使用两个子图配置模拟数据检查器。
在“仿真数据检测器导航”窗格中，选择要绘制的信号。对于第一个子图，请选择
Brakeassertion.．对于第二个子图，选择控制器：1(节流阀)和输入：3（制动）。
结果表明，按0.2秒按下制动器不会脱离油门。
跟踪失败返回模型
通过将模拟数据检查器跟踪返回模型来查找产生验证结果的块。在“仿真数据检测器导航”窗格中，右键单击Brakeassertion.并选择亮点模型．编辑器打开验证子系统并突出显示断言块。
也可以看看
断言|sltest.getAssessments.|暗示（金宝appSimulink Design Verifier）|证明假设（金宝appSimulink Design Verifier）
您还可以从以下列表中选择一个网站：
