使用仿真数据检查器检查模型验证结果
此示例显示如何使用仿真数据检查器查看在测系统中模型验证模块的输出。如果您有 Simulink® Test™，模型验证模块将在每个时间步返回 Pass、Fail 或 Untested 结果。通过检查模型验证模块的结果，您可以：
确定发生故障时的仿真时间。
将验证结果与其他相关信号进行比较。
将故障从仿真数据检查器追溯到模型。
有关更多信息，请参阅模型验证模块。
使用 Assertion 模块验证模型行为
在这个示例中，子系统模块 Controller 对汽车的巡航控制系统建模。该子系统根据实际速度和目标速度之间的差异输出节气门值。
验证子系统 Safety Properties 使用 Assertion模块来检查在连续三个时间步踩下刹车时系统是否脱离。
确定故障仿真时间
仿真模型并在仿真数据检查器中查看 Assertion 模块的输出。
在仿真选项卡中，点击运行。
在仿真选项卡中的查看结果下，选择数据检查器。
在仿真数据检查器导航窗格中，选择
BrakeAssertion。
结果表明，断言在 0.23 秒时失败。
将验证结果与其他信号进行比较
通过绘制制动和节气门信号的值来检查故障原因。
右键点击
throt信号并选择记录选定信号。仿真模型。
使用两个子图配置仿真数据检查器。
在仿真数据检查器导航窗格中，选择要绘制的信号。对于第一个子图，选择
BrakeAssertion。对于第二个子图，选择Controller:1（节气门）和Inputs:3（刹车）。
结果表明，0.2 秒时踩下刹车不会松开节气门。
追溯失败原因至模型
通过将仿真数据检查器的结果追溯到模型，找到产生验证结果的模块。在仿真数据检查器导航窗格中，右键点击 BrakeAssertion 并选择在模型中突出显示。编辑器打开验证子系统并突出显示 Assertion 模块。
另请参阅
sltest.getAssessments | Assertion | Implies (Simulink Design Verifier) | Proof Assumption (Simulink Design Verifier)
