Day 1 of 1

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

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

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

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

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

開發(fā)測(cè)試用例

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

·?定義測(cè)試用例

·?生成測(cè)試模型

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

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

分析測(cè)試結(jié)果

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

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

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

·?收集模型測(cè)試覆蓋度

批量測(cè)試

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

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

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

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

自動(dòng)驗(yàn)證模型

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

·?使用?Simulink Design Verifier

·?自動(dòng)生成測(cè)試用例

·?證明模型功能

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