Simulink仿真測(cè)試培訓(xùn)大綱
基于模型設(shè)計(jì)的測(cè)試和驗(yàn)證
Objective: 介紹基于模型的設(shè)計(jì)流程中驗(yàn)證和確認(rèn)的方法。
連續(xù)測(cè)試和驗(yàn)證
驗(yàn)證的類(lèi)型
電子節(jié)氣門(mén)項(xiàng)目
開(kāi)發(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ò)誤 |