检测整数溢出错误

打开脚本

此示例展示如何使用设计错误检测分析检测模型中的整数溢出错误。万博1manbetxSimulink®Design Verifier™识别可能导致整数溢出的模型构造，然后证明在模拟过程中不会发生整数溢出，或者生成测试用例来演示整数溢出错误。

在本例中，您将对模型执行设计错误检测分析，然后生成一个报告，显示哪个整数溢出目标是有效的，以及哪个目标导致了错误。

在命令提示符下，输入:

open_system (“sldvdemo_design_error_detection”);

模型预先配置了整数溢出选项上的“配置参数”对话框中启用设计验证器>设计错误检测窗格。

在设计验证器选项卡上,单击检测设计错误。

软件分析模型的整数溢出错误。分析完成后，结果总结窗口报告五个目标是有效的，两个目标是伪造的。

要突出显示模型上的分析结果，请在结果摘要窗口中单击突出模型的分析结果。有效目标用绿色标出，虚假目标用红色标出。

双击控制器子系统。单击以红色突出显示的Sum块。“结果检查器”窗口显示整数溢出目标。

要查看导致错误的测试用例，请单击查看测试用例。装具模型打开，信号构建器块显示导致错误的测试用例。

对于生成整数溢出的两个Sum块，启用整数溢出使饱和选择。或者，您可以双击在溢出时切换饱和按钮在Simulink编辑器万博1manbetx中。

若要确认已解决整数溢出错误，请对设计验证器选项卡上,单击检测设计错误。分析完成后，软件报告所有的目标都是有效的。