检测整数溢出错误

打开脚本

这个例子展示了如何检测整数溢出错误在模型中通过使用设计错误检测分析。万博1manbetx仿真软件®设计校验™标识可能导致的模型构造整数溢出,然后证明了整数溢出不能发生在模拟或生成测试用例,演示了整数溢出错误。

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

在命令提示符中,输入:

open_system (“sldvdemo_design_error_detection”);

模型是预先配置的整数溢出在配置参数对话框,选择启用设计验证器>设计错误检测窗格。

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

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

突出模型的分析结果,总结结果窗口中,单击强调分析结果模型。有效的目标是用绿色突出显示和伪造的目标是用红色突出显示。

双击控制器子系统。用红色突出显示的点击和块。结果检查器窗口显示整数溢出的目标。

查看测试用例结果的错误,点击查看测试用例。利用模型打开和信号构建器块显示测试用例结果的错误。

两块和生成的整数溢出,使浸透在整数溢出选择。或者,您可以双击切换上饱和溢出按钮在模型编辑器中。万博1manbetx

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