使用仿真数据检查器检查模型验证结果
此示例显示如何使用模拟数据检查器查看被测系统中模型验证块的输出。如果您有Simulink®测试™, 模型验证块返回万博1manbetx通过,失败或未经测试每个时间步的结果。通过检查模型验证块的结果，您可以：
确定发生故障时的模拟时间。
将验证结果与其他相关信号进行比较。
将故障从仿真数据检查器追溯到模型。
有关模型验证块的更多信息，请参见模型验证（万博1manbetxSimulink）。
使用断言块验证模型行为
在本例中，子系统块控制器为汽车中的巡航控制系统建模。该子系统根据实际速度和目标速度之间的差异输出油门值。
验证子系统安全性能使用断言当连续三个时间步踩下制动器时，检查系统是否分离。
确定故障模拟时间
在模拟数据检查器中模拟模型并查看断言块的输出。
在模拟选项卡，单击跑.
在模拟选项卡，在下面审查结果选择数据检查器.
在模拟数据检查器导航窗格中，选择
制动断言.
结果表明，断言在0.23秒时失败。
将验证结果与其他信号进行比较
通过绘制制动和油门信号的值来检查故障原因。
右键单击
弹跳发信号并选择记录所选信号.模拟模型。
使用两个子批次配置仿真数据检查器。
在Simulation Data Inspector导航窗格中，选择要打印的信号。对于第一个子批次，选择
制动断言.对于第二个子批次，选择控制员:1（油门）和投入：3（刹车）。
结果表明，在0.2秒时踩下制动器不会分离油门。
将故障追溯到模型
通过将结果从模拟数据检查器追溯回模型，找到生成验证结果的块。在模拟数据检查器导航窗格中，右键单击制动断言选择模型中的亮点. 编辑器打开验证子系统并突出显示断言块。
另见
您还可以从以下列表中选择网站：
