Simulink仿真測試培訓(xùn)大綱
基于模型設(shè)計的測試和驗證
Objective: 介紹基于模型的設(shè)計流程中驗證和確認(rèn)的方法。
連續(xù)測試和驗證
驗證的類型
電子節(jié)氣門項目
開發(fā)測試用例
Objective: 創(chuàng)建基于時序和基于邏輯的 Simulink 模型測試用例。
定義測試用例
生成測試模型
創(chuàng)建和導(dǎo)入測試輸入
在測試中結(jié)合邏輯
分析測試結(jié)果
Objective: 在仿真中和仿真后分析測試結(jié)果。
執(zhí)行基于需求的評估
記錄,檢查和比較測試結(jié)果
收集模型測試覆蓋度
批量測試
Objective: 創(chuàng)建可重復(fù)性測試,自動生成測試結(jié)果報告。
創(chuàng)建測試文件
配置仿真,基準(zhǔn)和等價測試
查看和記錄測試結(jié)果
自動驗證模型
Objective: 不需測試用例,使用形式化方法數(shù)學(xué)分析 Simulink 模型。
使用 Simulink Design Verifier
自動生成測試用例
證明模型功能
檢查設(shè)計錯誤 |