隨著基于模型設(shè)計(jì)（MBD）開發(fā)量的增長，其對(duì)應(yīng)的測試需求也顯著提升。此前，在《您的模型診斷專家MI：助力把好模型質(zhì)量關(guān)》一文中詳述了模型靜態(tài)測試的重點(diǎn)與實(shí)施方式。與靜態(tài)檢查的“掃描式”審查不同，模型動(dòng)態(tài)測試通過模擬真實(shí)運(yùn)行數(shù)據(jù)，對(duì)模型及生成的代碼進(jìn)行“全維度體檢”。這一過程層層遞進(jìn)：從單元測試聚焦單個(gè)模塊的精準(zhǔn)性，到集成測試驗(yàn)證模塊間的協(xié)作邏輯，最終通過測試覆蓋率評(píng)估確保每個(gè)邏輯分支都被充分驗(yàn)證且無遺漏。整個(gè)流程如同精密儀器運(yùn)作，嚴(yán)格排查潛在缺陷。

滿足ISO 26262、DO-178C等安全標(biāo)準(zhǔn)是模型動(dòng)態(tài)測試的硬性門檻，而更重要的是，它構(gòu)成了軟件功能安全與信心的核心基石。

Model Verifier（簡稱MV）是一款基于模型的、高度自動(dòng)化的動(dòng)態(tài)測試工具。支持模型單元測試、集成測試以及整個(gè)模型的子系統(tǒng)測試，自動(dòng)執(zhí)行MIL、SIL、Back-to-Back測試，能夠測量分支、條件、MC/DC、Look-up Table等13種覆蓋率。Model Verifier依據(jù)高度自動(dòng)化的動(dòng)態(tài)測試，實(shí)現(xiàn)多用戶間的協(xié)同優(yōu)化和用例共享，支持方便快速的回歸測試。

Model Verifier具備ISO26262、IEC61508、DO178C、 IEC 62304、IEC62279、DO-330、IEC60080、EN50128等認(rèn)證資質(zhì)，支持基于模型的高可靠、高安全的嵌入式電子產(chǎn)品驗(yàn)證及確認(rèn)平臺(tái)。支持測試用例和需求之間的雙向可追溯性，補(bǔ)充驗(yàn)證測試的覆蓋完備性，保證模型功能和代碼功能的一致性，構(gòu)建符合功能安全要求和ASPICE流程的模型動(dòng)態(tài)測試體系。

模型動(dòng)態(tài)測試驗(yàn)證流程

Model Verifier主要技術(shù)指標(biāo)和性能

1. 支持自動(dòng)化、批量化的執(zhí)行MIL、SIL及背靠背測試，驗(yàn)證模型和代碼的一致性

Model Verifier遵照模型動(dòng)態(tài)測試驗(yàn)證流程實(shí)施，實(shí)現(xiàn)用例生成-用例執(zhí)行-覆蓋率統(tǒng)計(jì)的自動(dòng)化測試。并可在一款軟件中同時(shí)實(shí)現(xiàn)MIL、SIL及背靠背測試，從而達(dá)到驗(yàn)證模型和代碼一致性的目的。

MIL/SIL/Back-to-Back一體化測試執(zhí)行

2. 多種測試用例生成方式

提供多種測試用例生成方法，自動(dòng)為每個(gè)系統(tǒng)或子系統(tǒng)便捷生成測試用例

根據(jù)測試數(shù)據(jù)生成方法和輸入約束條件生成測試數(shù)據(jù)

參數(shù)設(shè)定：模型中引用的變量值可以作為腳本文件進(jìn)行管理并通過將其應(yīng)用于測試用例進(jìn)行測試

多種用例生成方法

3. 多種覆蓋率測試標(biāo)準(zhǔn)

• 13種覆蓋率測量類型（Decision，Condition，MC / DC、 Lookup Table等）
• 可視化測量覆蓋率，在工具中提供詳細(xì)覆蓋信息

覆蓋率測試及與模型追蹤

4. 支持多種信號(hào)模板輸入

支持7種信號(hào)模板輸入，包含正弦、脈沖、三角形、正方形等，測試用編輯便利化。

多種信號(hào)模板輸入方式

5. 測試結(jié)果自動(dòng)判定并有效展示

• Model Verifier執(zhí)行測試用例后可以支持對(duì)測試結(jié)果誤差進(jìn)行設(shè)置，包括幅值容差和轉(zhuǎn)移時(shí)間容差
• 自動(dòng)記錄被執(zhí)行的實(shí)際數(shù)據(jù)，并自動(dòng)與期望值進(jìn)行比對(duì)判定。如果期望值落在結(jié)果的容差范圍外，單元格顏色就會(huì)顯示為紅色，結(jié)果展示直觀易識(shí)別

測試結(jié)果自動(dòng)判定及展示

6. 支持基于模型需求開展測試的要求

Model Verifier支持基于需求的測試，項(xiàng)目和測試用例可以按照需求單位進(jìn)行管理，形成測試用例和需求之間的雙向可追溯性，完全符合A-SPICE流程認(rèn)證中的基于模型需求開展有效測試的要求。

需求與用例雙向追蹤

7. 多種測試用例管理功能

• 支持測試用例圖形化，將測試用例數(shù)據(jù)直觀展示
• 支持Excel形式的測試用例導(dǎo)入，測試用例與需求建立連接，從而有效實(shí)現(xiàn)測試用例和需求層之間的追溯
• 支持用例的導(dǎo)入和導(dǎo)出，提供.json、.csv、.mat等多種格式的導(dǎo)入，可以對(duì)測試用例、報(bào)告等進(jìn)行導(dǎo)出

用例管理多樣化

8. 支持導(dǎo)入真實(shí)車輛的數(shù)據(jù)和創(chuàng)建回歸測試

Model Verifier支持通過分析mdf格式的實(shí)際車輛數(shù)據(jù)生成測試用例，并以測試用例結(jié)果值作為期望值創(chuàng)建測試用例，支持回歸測試的執(zhí)行和測試用例共享。

導(dǎo)入真實(shí)車輛數(shù)據(jù)

9. 生成多種類別測試報(bào)告，可直接追溯模型問題

支持多種類別報(bào)告形式的生成，如PDF、DOC、XLSX、HTML格式等，并且報(bào)告可以進(jìn)行模型的追溯，便于從報(bào)告問題直接定位到模型來進(jìn)行修正。

10. 獲得多行業(yè)功能安全認(rèn)證，支持CICD集成

獲得多行業(yè)功能安全認(rèn)證證書。同時(shí)，便捷支持CICD集成，如：Jenkins、Devops等。

經(jīng)緯恒潤在嵌入式MBD測試領(lǐng)域擁有超過10年以上的咨詢和實(shí)戰(zhàn)經(jīng)驗(yàn)，具有豐富的項(xiàng)目經(jīng)驗(yàn)和深厚的技術(shù)功底，能夠針對(duì)客戶的特定需求提供定制化的模型測試咨詢服務(wù)。

• 模型動(dòng)態(tài)測試高階培訓(xùn)
• 模型單元測試服務(wù)
• 模型集成測試服務(wù)
• 背靠背測試服務(wù)
• 模型動(dòng)態(tài)測試能力建設(shè)
• 模型靜態(tài)測試咨詢及服務(wù)