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