检测具有复杂输入的模型中的整数溢出

此示例显示如何检测由复杂类型输入组成的模型中的整数溢出错误。

sldvexComplexInputs模型包含 SensorA、SensorB 和 SensorC 复杂输入以及控制输入。SensorA 和 SensorB 的输入端口被约束为最大输出值等于 100 。

open_system('sldvexComplexInputs');

在App选项卡上的模型验证、确认和测试组中，选择Design Verifier。

要检测设计错误，点击检测设计错误。分析完成后，“结果摘要”窗口将显示一个目标有效，一个目标被证伪。

在“结果摘要”窗口中，点击突出显示模型上的分析结果。输出导致整数溢出错误的 Sum模块以红色突出显示。

要查看分析报告，点击结果摘要窗口中的HTML或PDF。设计错误检测目标状态章节列出了有效和伪造目标的描述。

设计错误章节包含导致整数溢出的测试用例输入。