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

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

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

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

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