先决条件

此示例使用以下产品演示调试设计错误检测冲突：下载188bet金宝搏

实例

1.开放模型sldvdemo设计错误检测.

2.打开金宝appSimulink设计验证程序点击应用程序>设计验证器.

3.在“设计验证程序”选项卡中，单击检测设计错误. 金宝appSimulink Design Verifier分析模型并在中显示结果结果摘要窗

该模型突出显示了失败目标所在的子系统。

4.打开控制器然后选择以红色突出显示的任一块。

5.在结果窗口中，单击调试使用模型切片器调试冲突。或者，在“设计验证器”选项卡中，单击审查结果>使用切片器进行调试使用模型切片器调试冲突。

单击要调试的任一入口点后，将在模型上完成以下设置：

6.通过检查端口标签调试和分析模型。

提示：单击Sum块的输出信号行以启用该块的端口值标签。

您可以观察到，输入变量的和应该导致一个非零数。

7.调查sum块的输入和输出数据类型。

总和块的输出值大于输出数据类型可以存储的最大值。因此，这种情况会导致整数溢出。

验证

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

附加能力

您可以使用此示例中演示的工作流，使用模型切片器调试其他设计错误检测冲突。以下是支持的设计错误：金宝app