基于模型设计的测试和验证

Objective: 介绍基于模型的设计流程中验证和确认的方法。

· 连续测试和验证

· 验证的类型

· 电子节气门项目

开发测试用例

Objective: 创建基于时序和基于逻辑的 Simulink 模型测试用例。

· 定义测试用例

· 生成测试模型

· 创建和导入测试输入

· 在测试中结合逻辑

分析测试结果

Objective: 在仿真中和仿真后分析测试结果。

· 执行基于需求的评估

· 记录，检查和比较测试结果

· 收集模型测试覆盖度

批量测试

Objective: 创建可重复性测试，自动生成测试结果报告。

· 创建测试文件

· 配置仿真，基准和等价测试

· 查看和记录测试结果

自动验证模型

Objective: 不需测试用例，使用形式化方法数学分析 Simulink 模型。

· 使用 Simulink Design Verifier

· 自动生成测试用例

· 证明模型功能

· 检查设计错误

  微信咨询

随时听讲课

聚焦技术实践