执行设计错误检测分析

打开实时脚本

使用缺陷检查器检测到缺陷后，针对选定的错误执行设计错误检测分析。对于此模型，您将检测包括除以零错误以及整数和定点数据溢出错误的运行时错误。

分析模型中的设计错误

打开模型 sldvexDetectDesignErrorsExample.

在 Design Verifier 选项卡上，清除缺陷检查器。

打开“配置参数”对话框。在 Design Verifier > 设计错误检测窗格中，验证是否选择了整数溢出和除以零。

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

configuration_parameter_ded_analysis.png

在 Design Verifier 选项卡上，点击检测设计错误。

complete_design_error_detection_analysis.png

软件会分析模型中的设计错误，并在“结果摘要”窗口中显示结果。结果指示，六个目标中有三个目标被证伪。

接下来，查看设计错误检测分析的结果。