检测具有复杂输入的模型中的整数溢出
此示例显示如何检测由复杂类型输入组成的模型中的整数溢出错误。
步骤 1：打开模型
sldvexComplexInputs 模型包含 SensorA、SensorB 和 SensorC 复杂输入以及控制输入。SensorA 和 SensorB 的输入端口被约束为最大输出值等于 100。
open_system('sldvexComplexInputs');
第 2 步：执行设计错误检测分析
在 App 选项卡上的模型验证、确认和测试组中，选择 Design Verifier。
要检测设计错误，点击检测设计错误。分析完成后，“结果摘要”窗口将显示一个目标有效，一个目标被证伪。
步骤 3：查看分析结果
在“结果摘要”窗口中，点击突出显示模型上的分析结果。输出导致整数溢出错误的 Sum 模块以红色突出显示。
要查看分析报告，点击结果摘要窗口中的 HTML 或 PDF。设计错误检测目标状态章节列出了有效和伪造目标的描述。
设计错误章节包含导致整数溢出的测试用例输入。
