【tm-09】 课程名称：针对simulink模型的测试与验证方法
【tm-09】 课程名称：针对simulink模型的测试与验证方法
| 课时： | 1天 |
|
课程描述： 本课程重点讲述控制算法和模型的测试与验证。具体内容包括所建模型与需求的链接，模型架构设计和数据管理，及其对模型建模规范的检查；通过模型测试验证的工具给出模型覆盖度，自动生成测试用例，并且对模型进行属性验证，当验证失败时会给出相应的测试反例，相关的测试都能够给出对应的报告。讲授过程中将借助客户已有的相关软件进行演示。 |
|
| 面向对象： |
1)需要对图形化模型算法或模型做测试与验证的人员 2)做系统级仿真与测试的人员 |
| 课程目标 |
1)利用测试工具对模型或算法进行测试与验证 2)基于模型设计能够进行需求管理、模型架构设计、数据管理、建模规范检查等工作 |
| 课程内容： |
1)基于模型设计流程 2)模型与需求的链接 3)模型架构设计 4)数据管理 5)建模规范 6)单元测试，包括自动生成测试用例、覆盖度分析、属性验证等 7)自动测试 8)自动生成报告 |