检测并消除运行时错误

检测设计错误，生成反例

在验证过程的早期检测模型中隐藏的设计错误，例如整数溢出或除以零。执行设计错误检测分析，查看分析结果，生成反例以调试非预期功能，然后修复已识别的设计错误。

函数

`sldvextract`	将子系统或子图内容提取到新模型中进行分析
`sldvoptions`	创建设计验证选项对象
`sldvrun`	分析模型
`sldvreport`	生成Simulink Design Verifier报告
`sldvmakeharness`	生成框架模型

主题

设计错误检测中的派生范围
解释与设计错误检测有关的设计范围和派生范围的概念。
检测非有限、NaN 和次正常浮点值
在仿真之前检测模型中的浮点值。
Detect Defects Using Optimized Checks
Detect common and critical design errors such as division by zero, integer overflow, dead logic, and array out of bounds in your model by using Defect Checker.
检测整数溢出和除以零错误
此示例展示如何识别模型中的设计错误并查看分析结果。
检测超出范围的数组访问错误
在仿真之前检测模型中的超出范围的数组访问错误。
检测数据存储访问违规
检测模型中的数据存储访问冲突。
检测违反高完整性系统建模指南的行为
检测模型中违反高完整性系统建模指南的情况。
检测 C/C++ 自定义代码中的设计错误
一个展示如何检测自定义 C/C++ 代码中的设计错误的示例。
分析参数配置
Simulink^® Design Verifier™分析的参数配置概览。
使用参数表
如何将参数指定为分析的变量的示例。
使用参数配置文件
描述如何在 MATLAB^® 代码文件中定义参数配置。
将参数约束存储在 MATLAB 代码文件中
如何从参数表导入和导出指定参数约束的示例。
使用命令行函数支持更改参数
此示例展示如何使用 Simulink® Design Verifier™ 命令行函数生成包含不同参数值的测试数据。
使用模型切片器调试整数溢出设计错误检测
此示例显示如何使用 Model Slicer 调试 Simulink®模型中的整数溢出设计错误。
使用模型切片器检查死逻辑
此示例向您展示如何调查发生死逻辑的可能原因。