检测模型中的设计错误

设计错误检测分析确定导致错误的条件，这些错误可以通过 Simulink® Design Verifier™ 发现。设计错误检测分析还计算模型中模块输出端口和 Stateflow® 本地数据可能出现的信号值范围。

Design error detection analysis workflow.

要分析模型中的设计错误，请执行以下操作：

  1. 验证您的模型是否与 Simulink Design Verifier 软件兼容。指定控制 Simulink Design Verifier 如何检测模型中的设计错误的模型设置。

  2. 使用缺陷检查器检测模型中的常见设计错误。

  3. 针对选定的错误执行设计错误检测分析。

  4. 在分析后，查看结果。

    • 点击各个模块以查看该模块的分析结果。

    • 创建包含演示错误的测试用例的框架模型。

    • 创建包含整个模型的详细结果的分析报告。

  5. 修复在设计过程中发现的设计错误。

示例模型

本教程使用了一个控制器模型 sldvexDetectDesignErrorsExample，该模型具有下面三个传感器输入：SensorA、SensorB 和 SensorC。在本教程中，您将对模型中的整数溢出和除以零错误执行设计错误检测分析。

Controller model sldvexDetectDesignErrorsExample.

Simulink Design Verifier 会识别可能导致整数溢出的模型构造，然后证明在仿真期间不会发生整数溢出，或者生成演示整数溢出错误的测试用例。控制器算法根据 SensorA 和 SensorB 的值生成输出：

Control logic equation.

模型 sldvexDetectDesignErrorsExample 使用 Simulink 模块实现此算法。

在本教程中，您将学习如何：

  1. 准备模型以进行设计错误检测分析并检查模型的兼容性。

  2. 使用缺陷检查器检测模型中的缺陷。

  3. 对模型执行设计错误检测分析。

  4. 通过点击突出显示的模型组件或创建框架或分析报告查看结果。

  5. 修复发现的设计错误。

要开始使用本教程，请参阅准备模型以进行设计错误检测分析。