检测并消除运行时错误
检测设计错误,生成反例
在验证过程的早期检测模型中隐藏的设计错误,例如整数溢出或除以零。执行设计错误检测分析,查看分析结果,生成反例以调试非预期功能,然后修复已识别的设计错误。
函数
sldvextract | 将子系统或子图内容提取到新模型中进行分析 |
sldvoptions | 创建设计验证选项对象 |
sldvrun | 分析模型 |
sldvreport | 生成Simulink Design Verifier报告 |
sldvmakeharness | 生成框架模型 |
主题
- 设计错误检测中的派生范围
解释与设计错误检测有关的设计范围和派生范围的概念。
- 检测非有限、NaN 和次正常浮点值
在仿真之前检测模型中的浮点值。
- 检测整数溢出和除以零错误
此示例展示如何识别模型中的设计错误并查看分析结果。
- 检测超出范围的数组访问错误
在仿真之前检测模型中的超出范围的数组访问错误。
- 检测数据存储访问违规
检测模型中的数据存储访问冲突。
- 检测违反高完整性系统建模指南的行为
检测模型中违反高完整性系统建模指南的情况。
- 检测 C/C++ 自定义代码中的设计错误
一个展示如何检测自定义 C/C++ 代码中的设计错误的示例。
- 分析参数配置
Simulink® Design Verifier™分析的参数配置概览。
- 使用参数表
如何将参数指定为分析的变量的示例。
- 使用参数配置文件
描述如何在 MATLAB® 代码文件中定义参数配置。
- 将参数约束存储在 MATLAB 代码文件中
如何从参数表导入和导出指定参数约束的示例。
- 使用命令行函数支持更改参数
此示例展示如何使用 Simulink® Design Verifier™ 命令行函数生成包含不同参数值的测试数据。
- 使用模型切片器调试整数溢出设计错误检测
此示例显示如何使用 Model Slicer 调试 Simulink®模型中的整数溢出设计错误。
- 使用模型切片器检查死逻辑
此示例向您展示如何调查发生死逻辑的可能原因。