课程名称：针对simulink模型的测试与验证方法
● 课时：2天
● 必备知识：具有simulink使用基础
● 授课对象：系统级仿真与测试的人员，对图形化模型算法或模型做测试与验证的人员
培训内容：
● 本课程重点讲述simulink模型的测试与验证，并且结合工程实际，讲解如何做符合功能安全的模型与代码测试。具体内容包括嵌入式软件验证概述，需求管理，模型建模规范检查，模型的形式化验证，动态仿真测试以及结果分析，测试覆盖率分析以及自动补充测试用例，符合功能安全标准的嵌入式软件测试和验证，测试工具平台mx-suite，mil和sil测试
目标：利用测试工具对模型或算法进行测试与验证；了解基于模型设计的测试验证流程，需求管理、建模规范检查，模型的形式化验证，动态测试等技术
内容：嵌入式软件验证概述、需求管理、模型建模规范检查、模型的形式化验证、动态仿真测试以及结果分析、测试覆盖率统计分析以及生成测试用例、符合功能安全标准的嵌入式软件测试和验证、一体化测试验证平台mx-suite、mil和sil测试（讲解+demo）
总结：从基于模型开发的特点出发，理解测试的理念，掌握测试验证使用的工具链及规范的符合性
服务优势：
● 1000多人的研发团队是培训业务的基础
● 70多门专业课程可以按需选择和定制
● 10多年培训服务的经验是培训质量的保证
● 10人小班公开课有利于培训效果
● 培训后提供持续的技术服务