☆ 1、如有部分內容理解不透或消化不好，可免費在以后培訓班中重聽；
      ☆ 2、在課程結束之后,授課老師會留給學員手機和E-mail,免費提供半年的課程技術支持，以便保證培訓后的繼續消化；
      ☆3、合格的學員可享受免費推薦就業機會。
      ☆4、合格學員免費頒發相關工程師等資格證書，提升您的職業資質。

本課程重點講述Simulink模型的測試與驗證，并且結合工程實際，講解如何做符合功能安全的模型與代碼測試。具體內容包括嵌入式軟件驗證概述，需求管理，模型建模規范檢查，模型的形式化驗證，動態仿真測試以及結果分析，測試覆蓋率分析以及自動補充測試用例，符合功能安全標準的嵌入式軟件測試和驗證，測試工具平臺MX-Suite，MIL和SIL測試

目標：利用測試工具對模型或算法進行測試與驗證；了解基于模型設計的測試驗證流程，需求管理、建模規范檢查，模型的形式化驗證，動態測試等技術

內容：嵌入式軟件驗證概述、需求管理、模型建模規范檢查、模型的形式化驗證、動態仿真測試以及結果分析、測試覆蓋率統計分析以及生成測試用例、符合功能安全標準的嵌入式軟件測試和驗證、一體化測試驗證平臺MX-Suite、MIL和SIL測試（講解+demo）

總結：從基于模型開發的特點出發，理解測試的理念，掌握測試驗證使用的工具鏈及規范的符合性