准备模型以进行设计错误检测分析

配置模型设置

配置模型设置以准备模型进行设计错误检测。

1.打开模型 sldvexDetectDesignErrorsExample.

open_system("sldvexDetectDesignErrorsExample");

2. 在 App 选项卡上，点击 App 部分右侧的箭头。在模型验证、确认和测试下，点击 Design Verifier。

3.在 Design Verifier 选项卡的准备部分中，点击错误检测设置。

4.在“配置参数”对话框的诊断 > 数据有效性窗格中，将溢出时绕回、溢出时饱和和检测溢出设置为 error。

5.点击应用和确定，以保存更改。

检查模型兼容性

当您分析模型时，Simulink Design Verifier 会首先执行兼容性检查。当模型编译无错误时，该模型兼容，适合进行分析。如果您的模型不兼容，软件将无法分析它。

您可以在分析前检查模型的兼容性。在 Simulink 编辑器的 Design Verifier 选项卡上，点击检查兼容性。“Simulink Design Verifier 结果摘要”窗口显示，模型兼容，适合进行分析。

如果模型与 Simulink Design Verifier 不兼容，诊断查看器会显示有关不兼容问题以及如何进行修复的消息。有关详细信息，请参阅使用自动插桩处理不兼容问题和对错误和警告进行系统化诊断。