分析模型或子系统
准备用于分析的模型或子系统，运行分析
在构建模型时，使用 Simulink® Design Verifier™ 来指导设计过程。检查现有模型的兼容性。解决模型中的兼容性限制或自定义模型元素以进行分析。运行设计错误检测并生成测试用例或证明模型中的属性。
函数
sldvcompat | 检查模型与分析的兼容性 |
sldvextract | 将子系统或子图内容提取到新模型中进行分析 |
sldvisactive | 验证模块图的更新 |
sldvoptions | 创建设计验证选项对象 |
sldvtimer | 识别、更改和显示计时器优化 |
sldvrun | 分析模型 |
sldvexporttoversion | 导出数据文件以供以前版本的 Simulink Design Verifier 使用 (自 R2024a 起) |
主题
分析模型或子系统
- 探索分析模式在 Simulink Design Verifier
分析一个展示 Simulink Design Verifier 功能的简单模型。 - 对模型执行分析
使用 Simulink Design Verifier 分析一个简单的示例模型。 - 在分析中使用参数配置
Simulink Design Verifier 分析的参数配置概述。 - Simulink Design Verifier 检查
描述模型顾问对 Simulink Design Verifier 分析的检查。 - 分析查找表边界值的覆盖率
描述如何生成查找表边界值覆盖测试。 - 分析导出函数模型
使用 Simulink Design Verifier 分析导出函数模型。 - 使用全局 Simulink 函数分析导出函数模型
使用 Simulink Design Verifier 分析具有全局 Simulink 函数的导出函数模型。 - 分析带有函数调用子系统的导出函数模型
使用 Simulink Design Verifier 分析具有函数调用子系统的导出函数模型。 - 分析 AUTOSAR 组件模型
分析 Classic 平台的 AUTOSAR 组件模型。 - 使用模型切片器检查测试生成目标
使用模型切片器检查测试生成目标。
