利用仿真数据检查员检查模型验证结果
这个例子展示了如何使用模拟数据Inspector视图的输出模型验证块被测系统。如果你有仿真软件测试™®金宝app,模型验证块返回通过
,失败
,或未测试的
在每个时间步的结果。通过检查一块模型验证的结果,您可以:
确定仿真时发生故障。
比较验证结果和其他相关的信号。
从仿真数据跟踪失败检查员回模型。
有关更多信息,请参见模型验证模块。
验证模型的行为与断言
在这个例子中,子系统控制器
模型在汽车巡航控制系统。这个子系统输出油门值根据实际和目标速度之间的差异。
验证子系统安全属性
使用一个断言块检查离合器刹车时,系统连续三次步骤。
确定故障的仿真时间
模拟模型和视图的输出在仿真数据块检查员的断言。
在模拟选项卡上,单击运行。
在模拟选项卡,在审查结果中,选择数据检查。
在仿真数据检查员导航窗格中,选择
BrakeAssertion
。
结果表明,在0.23秒断言失败。
比较与其他信号验证结果
检查失败的原因通过绘制刹车和油门信号的值。
右键单击
throt
信号和选择日志选择信号。模拟模型。
配置仿真数据检查员和两个次要情节。
在仿真数据检查员导航窗格中,选择信号的阴谋。第一次要情节选择
BrakeAssertion
。第二次要情节,选择控制器:1
(节流阀)和输入:3
(制动)。
结果表明,按在0.2秒不松开油门刹车。
跟踪故障模型
找到块产生一个验证结果的跟踪结果仿真数据检查员回模型。在仿真数据检查员导航窗格中,右键单击BrakeAssertion
并选择强调在模型。编辑器打开验证子系统和凸显了断言。
另请参阅
sltest.getAssessments
|断言|意味着(金宝app仿真软件设计验证器)|证明假设(金宝app仿真软件设计验证器)