课程名称：软件（模型）动态测试（mil/sil）技术及最佳实践
课程背景： 随着汽车行业信息化和智能化的高度发展，汽车功能的进一步增加，相应的软件代码量，将会呈现暴增的趋势。除软件本身外，软件完整的生命周期的整个开发过程复杂性也越来越高：从需求、设计，到实现、验证，多个研发过程，涉及到多个过程、多个地域、多个团队的分工合作，对软件开发也是非常大的挑战。
相比较手写代码的开发方式，基于模型开发的概念已经深入人心，无论是单个的ecu还是车身域控制器，我们常说基于模型开发本身没有歧义，但那是建立在是否遵从了统一的标准建模规范。比如梳理需求后规范化定义模型架构，规范化的进行建模单元实现，以保证模型可读性及可测试性；如何保证模型到生成嵌入式代码的一致性；对具体的模型规范化测试验证如何展开等问题，以及在工程中的有效落地实施。
本课程重点讲述，软件验证阶段的动态验证。基于simulink模型开发的测试与验证技术。包括：嵌入式软件验证概述、需求追溯、模型的形式化验证、动态仿真测试（mil/sil/b2b），解读功能iso-26262标准：软件测试技术要求。
● 课时：2天
● 必备知识：具有simulink使用基础
● 授课对象：基于模型开发、图形化建模设计的仿真与测试验证人员
课程内容：针对simulink模型的测试与验证方法（讲授过程结合用户已有环境及讲师项目经验进行演示）
● 课程目标：
1)利用测试工具对simulink模型进行测试与验证；
2) 了解基于模型设计的测试验证流程，需求管理、建模规范检查，模型的形式化验证，动态测试等技术。
● 课程内容：
1)嵌入式软件验证概述
2)需求追溯
3)动态仿真测试
4)测试覆盖率统计分析及补充测试用例
5)测试结果分析和生成测试报告
6)符合功能安全标准的嵌入式软件测试和验证
7)一体化测试验证工具平台
8)单元级mil和sil测试（讲解 demo）
● 总结：从基于模型开发的特点出发，理解测试的理念，掌握测试验证使用的工具链以及规范的符合性。
服务优势：
● 1000多人的研发团队是培训业务的基础
● 70多门专业课程可以按需选择和定制
● 10多年培训服务的经验是培训质量的保证
● 10人小班公开课有利于培训效果
● 培训后提供持续的技术服务