第1步：打开模型

在命令提示符下，输入：

Open_System（'sldvdemo_design_error_detection'）;

步骤2：执行设计错误检测分析

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

在这一点设计验证者选项卡，单击检测设计错误。

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

第3步：审查分析结果

要突出显示模型上的分析结果，请在“结果摘要”窗口中，单击突出显示模型的分析结果。有效目标以绿色突出显示，伪造的目标以红色突出显示。

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

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

步骤4：修复整数溢出错误

对于生成整数溢出的SUM块，启用在整数溢出上饱和选项。或者，您可以双击在溢出时切换饱和度Simulink编辑器中的按金宝app钮。

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

相关话题