Simulink 基于模型的测试

Hyowinner孙忠潇老师是《Simulink仿真及代码生成技术入门到精通》的作者，有多年Simulink工程和汽车电子软件开发经验，并多次受邀到各个大学和OEM，TIER1去做培训和讲座。 

Matlab中文论坛权威会员hyowinner，SimuIink基础版块与SimuIink代码生成版块版主孙忠潇。
从事基于模型设计(MBD，Model Based Design)的ADAS(高级驾驶辅助系统)控制软件研发，负责过ARM Cortex芯片的Target Support Package开发以及自动化代码生成工具链的研发。
2013年，校长已获得MathWorks MATLAB Associate资格认证。
2014年应邀到南京东南大学做《基于模型设计的嵌入式应用》的演讲，
2015年应邀到中国科学技术大学做《帮助他人成就自我》的演讲。


通过本节课学到什么？
1. 模型的覆盖度测试
使用Simulink Design Verifier的方法和注意点，在符合规范的情况下进行模型设计正确性和覆盖度的测试。

2. 模型的功能测试

3. 在建模完成后，仿真之前，通过模型/子系统静态检查，早期发现数组越界，死逻辑，数据类型溢出，除零等问题。

4.基于时序设计完整测试策略
使用Simulink Test中的Test Sequence设计完整测试策略。 1. 设计测试case； 2. 设计测试执行时序； 3. 设计测试结果的验证； 4. 自动化测试执行与报告展示。

5. 设计测试策略与测试过程评估
Test Assessment设计测试case，执行测试并自动评估测试结果。

6. 基于需求的测试方法
基于需求的测试，根据需求设计模型，根据需求设计模型的测试case以及验证手段的完整策略。本节课将TestSequence和TestAccessment进行联合使用，来逐条验证模型是否满足需求。引入了When来设计测试分支条件的验证机制。

7. 固定点模型的数据溢出早期验出
模型建立完之后，特别是固定点数据类型建模之后，应该做的是什么？准备输入数据仿真验证模型计算正确吗？其实不用那么着急，使用Simulink Design Verifier先验证一下数据类型的设计是否有问题，例如Overflow是不是会发生。

8. 使用TestHarness验证单元级别子系统
对单元级别的子系统进行白盒黑盒测试，使用TeshHarness自动创建，便于Case设计和管理，便于获得模型覆盖度报告，并且方便今后的回归测试。

9. 使用TestHarness对单元级别子系统进行SIL仿真
(1) 通过必要的设置为指定子系统生成TestHarness for SIL.
(2) 重用MIL测试的Test Case进行SIL仿真并得到结果与Excution Coverage.

10. 通过完整的应用实例，将上述所有课时所涉及的点，串起来进行基于模型的测试演示。

11 . Data Flow层模型的黑白盒测试操作实例讲解

 

内容版权声明：除非注明，否则皆为本站转载文章。文章及图片版权归原作者所有，如有侵权请联系我们，我们立刻删除。