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

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

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

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

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