Simulink 设计验证
查看时间表并报名课程详细信息
本课程为期一天，主要关注使用 Simulink Design Verifier™ 来确认设计不存在潜在错误，是经过充分测试的并满足必要的设计需求。
内容包括：
- 常见设计错误的检测与调试
- 收集模型覆盖率
- 使用自动测试用例生成功能覆盖缺失部分
- 使用属性证明进行基于需求的验证
- 处理模型复杂性，以进行高效分析
第1天 (共1天)
理解验证的工作流程
目标: 熟悉验证流程，学会使用 Simulink Design Verifier 准备模型并进行简单分析。
- 形式化验证方法的介绍
- 介绍 Simulink Design Verifier 的工作流程
- 准备模型并确保兼容性
- 配置分析选项
- 生成结果
设计错误检测
目标: 学习如何使用设计错误检测来验证模型。
- 设计错误类型介绍
- 设计错误检测
- 解释结果和报告
- 修复设计错误
- 使用参数表
自动生成测试
目标: 回顾覆盖率类型，并学习如何使用自动测试用例生成来完成缺失部分的覆盖。
- 了解覆盖率的类型
- 计算模型覆盖率
- 使用自动测试用例生成来增加覆盖率
- 解释结果和报告
- 应用自定义条件与目标
属性证明
目标: 将需求形式化为属性，并学习使用属性证明来验证设计是否满足其需求。
- 将需求形式化
- 属性证明
- 调试修改后的属性
- 使用时序操作
管理模型复杂度
目标: 识别模型复杂度的来源，并学习提高分析性能的技术。
- 识别模型复杂度的来源
- 实现模块替换
- 处理非线性
- 管理插值表的复杂度
- 使用计数器和计时器
