Matlab-Simulink模型檢查驗(yàn)證與測(cè)試

1、模型檢查，驗(yàn)證與測(cè)試PW Matlab/Simulink分享系列-4背景軟件開發(fā)V模型V模型參考/item/V%E6%A8%A1%E5%9E%8B/4518408?fr=aladdin系統(tǒng)設(shè)計(jì)詳細(xì)設(shè)計(jì)軟件編碼單元測(cè)試集成測(cè)試系統(tǒng)測(cè)試需求分析驗(yàn)收測(cè)試背景基于Matlab模型設(shè)計(jì)流程和工具0 模型介紹1 模型建立2 模型檢查3 模型驗(yàn)證4 模型測(cè)試手工用例5 模型測(cè)試自動(dòng)用例6 代碼驗(yàn)證主要內(nèi)容全程追溯代碼驗(yàn)證工具Code Verification模型建立MILSILPIL模型測(cè)試/代碼驗(yàn)證模型檢查/驗(yàn)證模型驗(yàn)證工具Design Verification需求文檔可執(zhí)行需求系統(tǒng)模型子系統(tǒng)模型代碼生成

2、可執(zhí)行代碼11345622注解：1.示例：vvtWorkshopProject_20142.step0step8縮減為7個(gè)步驟3.例子在文件夾：PW Matlab分享系列-0 -計(jì)劃安排Matlab學(xué)習(xí)參考資料05_PW_Matlab培訓(xùn)例程目標(biāo)：通過一系列的檢查和測(cè)試，保證控制系統(tǒng)的設(shè)計(jì)質(zhì)量，魯棒性，安全性輸出：空燃比(air_fuel_ratio)輸入：發(fā)動(dòng)機(jī)轉(zhuǎn)速（Speed），風(fēng)門開度(Throttle)，排氣氧含量(EGO)，進(jìn)氣管壓力（MAP）0 模型介紹閉環(huán)燃油噴射控制系統(tǒng)Matlab測(cè)試平臺(tái)測(cè)試模塊控制系統(tǒng)控制模型0 模型介紹閉環(huán)燃油噴射率控制系統(tǒng)安全控制邏輯模塊安全控制邏輯模型

3、運(yùn)行結(jié)果：0 模型介紹閉環(huán)燃油噴射率控制系統(tǒng)-運(yùn)行效果空燃比參考 https:/ 模型介紹1 模型建立（鏈接）2 模型檢查3 模型驗(yàn)證4 模型測(cè)試手工用例5 模型測(cè)試自動(dòng)用例6 代碼驗(yàn)證主要內(nèi)容全程追溯代碼驗(yàn)證工具Code VerificationMILSILPIL模型測(cè)試/代碼驗(yàn)證模型檢查/驗(yàn)證模型驗(yàn)證工具Design Verification需求文檔可執(zhí)行需求系統(tǒng)模型子系統(tǒng)模型代碼生成可執(zhí)行代碼1134562模型建立（鏈接）注解：1.建立鏈接，方便追蹤2.在整個(gè)過程中持續(xù)追蹤3.方便更新，提高效率為了鏈接需求和模型，設(shè)置如下(虛擬機(jī)需要裝office才能編輯，此步僅演示說明)1 模型建立-

4、建立可執(zhí)行需求模型12需求和模型雙向鏈接模型鏈接到需求文檔1 模型建立-建立可執(zhí)行需求模型1. 選中2341 模型建立-建立可執(zhí)行需求模型雙向追溯1.按住Ctrl，點(diǎn)擊圖標(biāo)2. 即可高亮圖表1 模型建立-建立可執(zhí)行需求模型雙向追溯1. 圖表右鍵234. 即可鏈接到文檔需求處需求追溯，高亮模型和細(xì)節(jié)1 模型建立-建立可執(zhí)行需求模型顯示模塊和需求13.選中4. 即可顯示細(xì)節(jié)框2生成需求跟蹤報(bào)告1 模型建立-建立可執(zhí)行需求模型生成需求追蹤報(bào)告213黃色代表有鏈接生成代碼并跟蹤需求1 模型建立-建立可執(zhí)行需求模型生成代碼與追溯13. 生成代碼和需求鏈接，點(diǎn)擊可打開20 模型介紹1 模型建立2 模型檢查

5、3 模型驗(yàn)證4 模型測(cè)試手工用例5 模型測(cè)試自動(dòng)用例6 代碼驗(yàn)證主要內(nèi)容全程追溯代碼驗(yàn)證工具Code Verification模型建立MILSILPIL模型測(cè)試/代碼驗(yàn)證模型檢查/驗(yàn)證模型驗(yàn)證工具Design Verification需求文檔可執(zhí)行需求系統(tǒng)模型子系統(tǒng)模型代碼生成可執(zhí)行代碼11345622注解（Model Advisor）：1.解決人工測(cè)試不完整的問題2.檢查汽車行業(yè)標(biāo)準(zhǔn),ISO 26262等3.檢查模型標(biāo)準(zhǔn)：MAAB等4.檢查配置是否導(dǎo)致仿真錯(cuò)誤或無效5.檢查配置是否導(dǎo)致代碼錯(cuò)誤或無效6.生成報(bào)告，提出模型最優(yōu)配置建議2 模型檢查選擇標(biāo)準(zhǔn)并運(yùn)行123417/602 模型檢查檢查

6、報(bào)告5.即可生成報(bào)告，并顯示通過，失效和警告18/602 模型檢查報(bào)告錯(cuò)誤鏈接和建議13. 打開鏈接2. 查看建議MAAB 6162頁19/602 模型檢查修改模型配置4. 雙擊打開屬性框5. 按照規(guī)則改成u2=06. 其它兩個(gè)同理20/602 模型檢查重新運(yùn)行檢查6. 選中重新檢查78. 檢查通過21/600 模型介紹1 模型建立2 模型檢查3 模型驗(yàn)證4 模型測(cè)試手工用例5 模型測(cè)試自動(dòng)用例6 代碼驗(yàn)證主要內(nèi)容全程追溯代碼驗(yàn)證工具Code Verification模型建立MILSILPIL模型測(cè)試/代碼驗(yàn)證模型檢查/驗(yàn)證模型驗(yàn)證工具Design Verification需求文檔可執(zhí)行需求系

7、統(tǒng)模型子系統(tǒng)模型代碼生成可執(zhí)行代碼11345622注解（Design Verifier）：1.自動(dòng)生成測(cè)試用例2.達(dá)到滿意的模型覆蓋度3.達(dá)到用戶自定義的目標(biāo)4.驗(yàn)證模型的屬性（仿真過程中難發(fā)現(xiàn)的設(shè)計(jì)缺陷，遺漏需求，多余狀態(tài)）5.生成測(cè)試用例報(bào)告3 模型驗(yàn)證檢查設(shè)計(jì)錯(cuò)誤123/603 模型驗(yàn)證檢查設(shè)計(jì)錯(cuò)誤配置無效邏輯1224/603 模型驗(yàn)證檢查設(shè)計(jì)錯(cuò)誤325/603 模型驗(yàn)證檢查設(shè)計(jì)錯(cuò)誤結(jié)果1. 檢查設(shè)計(jì)有誤2. 設(shè)計(jì)有誤，顯示紅色26/603 模型驗(yàn)證檢查設(shè)計(jì)錯(cuò)誤報(bào)告及鏈接127/603 模型驗(yàn)證檢查設(shè)計(jì)錯(cuò)誤鏈接與查看結(jié)果2.顯示相關(guān)信息1.點(diǎn)擊該判斷28/603 模型驗(yàn)證檢查設(shè)計(jì)錯(cuò)誤修改

8、模型數(shù)據(jù)press press_tresh 永遠(yuǎn)為真press最大1.4，而press_tresh為1.50.62. 將1.5改成0.61. 為F的邏輯為無效邏輯29/603 模型驗(yàn)證檢查設(shè)計(jì)錯(cuò)誤修改數(shù)據(jù)后結(jié)果2. 全部為有效邏輯3. 邏輯確認(rèn)，顯示綠色1. 重新檢查設(shè)計(jì)正確30/600 模型介紹1 模型建立2 模型檢查3 模型驗(yàn)證4 模型測(cè)試手工用例5 模型測(cè)試自動(dòng)用例6 代碼驗(yàn)證主要內(nèi)容全程追溯代碼驗(yàn)證工具Code Verification模型建立MILSILPIL模型測(cè)試/代碼驗(yàn)證模型檢查/驗(yàn)證模型驗(yàn)證工具Design Verification需求文檔可執(zhí)行需求系統(tǒng)模型子系統(tǒng)模型代碼生成

9、可執(zhí)行代碼11345622注解（System Test）：1.核心功能的測(cè)試2.手工編寫的測(cè)試用例4 模型測(cè)試手工用例測(cè)試對(duì)象和手工用例內(nèi)容手工編寫測(cè)試用例：測(cè)試模型與框架：32/604 模型測(cè)試手工用例導(dǎo)入手工用例1234533/604 模型測(cè)試手工用例運(yùn)行有四個(gè)手工編寫的測(cè)試用例6. 點(diǎn)擊運(yùn)行全部run all34/604 模型測(cè)試手工用例創(chuàng)建測(cè)試報(bào)告7. 創(chuàng)建測(cè)試報(bào)告測(cè)試用例運(yùn)行條目測(cè)試用例運(yùn)行結(jié)果35/604 模型測(cè)試手工用例查看測(cè)試報(bào)告8. 觀察信號(hào)91036/600 模型介紹1 模型建立2 模型檢查3 模型驗(yàn)證4 模型測(cè)試手工用例5 模型測(cè)試自動(dòng)用例6 代碼驗(yàn)證主要內(nèi)容全程追溯代碼

10、驗(yàn)證工具Code Verification模型建立MILSILPIL模型測(cè)試/代碼驗(yàn)證模型檢查/驗(yàn)證需求文檔可執(zhí)行需求系統(tǒng)模型子系統(tǒng)模型代碼生成可執(zhí)行代碼11345622注解：（Coverage）1.模型覆蓋度檢查2.生成測(cè)試用例達(dá)到自定義的覆蓋度（System Test）1.自動(dòng)生成測(cè)試框架2.自動(dòng)生成測(cè)試用例3.合并手工測(cè)試用例和自動(dòng)用例5 模型測(cè)試自動(dòng)生成測(cè)試用例覆蓋度配置138/605 模型測(cè)試自動(dòng)生成測(cè)試用例覆蓋度配置234539/605 模型測(cè)試自動(dòng)生成測(cè)試用例覆蓋度檢查運(yùn)行6. 打開下拉列表，可以看到有23個(gè)測(cè)試項(xiàng)目7. 點(diǎn)擊運(yùn)行全部run all40/605 模型測(cè)試自動(dòng)生成測(cè)

11、試用例覆蓋度結(jié)果8. 顯示覆蓋度41/605 模型測(cè)試自動(dòng)生成測(cè)試用例cvsave(Step_05_logic_StartCov,Step_05_logic)9. 運(yùn)行命令，保存測(cè)試數(shù)據(jù)關(guān)于覆蓋度：供自動(dòng)生成測(cè)試用例時(shí)做基礎(chǔ)覆蓋度解釋說明：42/605 模型測(cè)試自動(dòng)生成測(cè)試用例生成測(cè)試用例配置1043/605 模型測(cè)試自動(dòng)生成測(cè)試用例生成測(cè)試用例配置111213忽略已有測(cè)試用例的覆蓋度信息44/605 模型測(cè)試自動(dòng)生成測(cè)試用例生成測(cè)試用例14開始生成測(cè)試用例45/605 模型測(cè)試自動(dòng)生成測(cè)試用例生成測(cè)試用例生成測(cè)試用例的同時(shí)，生成測(cè)試平臺(tái)模型生成測(cè)試平臺(tái)模型包含15個(gè)測(cè)試用例46/605 模型

12、測(cè)試自動(dòng)生成測(cè)試用例報(bào)告15.設(shè)計(jì)驗(yàn)證，自動(dòng)生成測(cè)試用例16. 目標(biāo)滿足，顯示綠色47/605 模型測(cè)試自動(dòng)生成測(cè)試用例報(bào)告48/605 模型測(cè)試自動(dòng)生成測(cè)試用例合并測(cè)試用例合并手工測(cè)試用例23個(gè)自動(dòng)生成用例15個(gè)覆蓋度100%的測(cè)試用例49/605 模型測(cè)試自動(dòng)生成測(cè)試用例覆蓋度報(bào)告100%50/600 模型介紹1 模型建立2 模型檢查3 模型驗(yàn)證4 模型測(cè)試手工用例5 模型測(cè)試自動(dòng)用例6 代碼驗(yàn)證主要內(nèi)容全程追溯代碼驗(yàn)證工具Code Verification模型建立MILSILPIL模型測(cè)試/代碼驗(yàn)證HIL模型檢查/驗(yàn)證模型驗(yàn)證工具Design Verification需求文檔可執(zhí)行需求系

13、統(tǒng)模型子系統(tǒng)模型代碼生成可執(zhí)行代碼1134562注解：（Code Verification）1.MIL驗(yàn)證模型的功能和效果2.SIL驗(yàn)證生成的代碼的功能和效果是否與模型一致2.PIL驗(yàn)證算法設(shè)計(jì)在硬件上執(zhí)行的正確性3.HIL驗(yàn)證被控對(duì)象功能效果6 代碼驗(yàn)證自動(dòng)代碼驗(yàn)證SIL配置1. 右鍵選擇塊參數(shù)52/606 代碼驗(yàn)證自動(dòng)代碼驗(yàn)證SIL配置2增加了標(biāo)識(shí)SIL3. 選擇SILSIL不是跑模型，而是跑模型生成的代碼53/606 代碼驗(yàn)證自動(dòng)代碼驗(yàn)證SIL運(yùn)行4. 雙擊signal builder，顯示測(cè)試用例5. 點(diǎn)擊運(yùn)行全部run all54/606 代碼驗(yàn)證自動(dòng)代碼驗(yàn)證對(duì)比MIL和SIL結(jié)果6

14、. 選擇2個(gè)用例以對(duì)比比較結(jié)果圖表結(jié)果對(duì)比55/606 代碼驗(yàn)證自動(dòng)代碼驗(yàn)證對(duì)比MIL和SIL結(jié)果7. 生成對(duì)比測(cè)試報(bào)告8956/606 代碼驗(yàn)證自動(dòng)代碼驗(yàn)證對(duì)比MIL和SIL結(jié)果57/60全程追溯代碼驗(yàn)證工具Code Verification模型建立（鏈接）MILSILPIL模型測(cè)試/代碼驗(yàn)證模型檢查/驗(yàn)證模型驗(yàn)證工具Design Verification需求文檔可執(zhí)行需求系統(tǒng)模型子系統(tǒng)模型代碼生成可執(zhí)行代碼113456220 模型介紹示例：燃油噴射閉環(huán)控制系統(tǒng)，重在安全模塊1 模型建立（鏈接）鏈接模型和需求文檔（word）方便追溯2 模型檢查檢查模型是否符合建模標(biāo)準(zhǔn)，增強(qiáng)可讀性3 模型驗(yàn)證檢查模型是否存在設(shè)計(jì)錯(cuò)誤，無效分支4 模型測(cè)試手