金宝app仿真软件设计验证器可以使用正式的方法来检测这些错误之前仿真分析模型错误,例如整数溢出,除零,数组越界,低于正常的价值观,和浮点错误以及数据有效性错误。一个模拟运行可能不遇到任何错误基于模拟信号的值。设计匹配分析模型来找到这些错误没有详尽的模拟。金宝app仿真软件设计验证器生成一个每个错误复制它的反例。金宝app仿真软件设计验证器还可以检测死逻辑不会执行模拟。
区别诊断和模型仿真软件设计校验错误检查金宝app?
3视图(30天)
显示旧的评论
金宝app仿真软件设计验证器可以执行错误检查,以确定一个模型包含死逻辑,除零,溢出和其他检查。然而,模型诊断已经金宝app在模拟时间执行这些检查
//www.tatmou.com/help/金宝appsimulink/gui/diagnostics-pane-data-validity.html)。
例如,下面的简单的模型表明,在模拟除以零误差。使用关闭阀工具箱的优势是什么,而不是依靠模型诊断?金宝app
