本課程重點講述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ī)范的符合性
|