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

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

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

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

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