☆ 1、如有部分内容理解不透或消化不好，可免费在以后培训班中重听；
      ☆ 2、在课程结束之后,授课老师会留给学员手机和E-mail,免费提供半年的课程技术支持，以便保证培训后的继续消化；
      ☆3、合格的学员可享受免费推荐就业机会。
      ☆4、合格学员免费颁发相关工程师等资格证书，提升您的职业资质。

本课程重点讲述Simulink模型的测试与验证，并且结合工程实际，讲解如何做符合功能安全的模型与代码测试。具体内容包括嵌入式软件验证概述，需求管理，模型建模规范检查，模型的形式化验证，动态仿真测试以及结果分析，测试覆盖率分析以及自动补充测试用例，符合功能安全标准的嵌入式软件测试和验证，测试工具平台MX-Suite，MIL和SIL测试

目标：利用测试工具对模型或算法进行测试与验证；了解基于模型设计的测试验证流程，需求管理、建模规范检查，模型的形式化验证，动态测试等技术

内容：嵌入式软件验证概述、需求管理、模型建模规范检查、模型的形式化验证、动态仿真测试以及结果分析、测试覆盖率统计分析以及生成测试用例、符合功能安全标准的嵌入式软件测试和验证、一体化测试验证平台MX-Suite、MIL和SIL测试（讲解+demo）

总结：从基于模型开发的特点出发，理解测试的理念，掌握测试验证使用的工具链及规范的符合性