基于模型設(shè)計(jì)的測試和驗(yàn)證

Objective:?介紹基于模型的設(shè)計(jì)流程中驗(yàn)證和確認(rèn)的方法。

·?連續(xù)測試和驗(yàn)證

·?驗(yàn)證的類型

·?電子節(jié)氣門項(xiàng)目

開發(fā)測試用例

Objective:?創(chuàng)建基于時序和基于邏輯的 Simulink 模型測試用例。

·?定義測試用例

·?生成測試模型

·?創(chuàng)建和導(dǎo)入測試輸入

·?在測試中結(jié)合邏輯

分析測試結(jié)果

Objective:?在仿真中和仿真后分析測試結(jié)果。

·?執(zhí)行基于需求的評估

·?記錄，檢查和比較測試結(jié)果

·?收集模型測試覆蓋度

批量測試

Objective:?創(chuàng)建可重復(fù)性測試，自動生成測試結(jié)果報(bào)告。

·?創(chuàng)建測試文件

·?配置仿真，基準(zhǔn)和等價測試

·?查看和記錄測試結(jié)果

自動驗(yàn)證模型

Objective:?不需測試用例，使用形式化方法數(shù)學(xué)分析 Simulink 模型。

·?使用 Simulink Design Verifier

·?自動生成測試用例

·?證明模型功能

·?檢查設(shè)計(jì)錯誤