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

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

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

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

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

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

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

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

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

2. 多種測(cè)試用例生成方式

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

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

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

多種用例生成方法

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

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

覆蓋率測(cè)試及與模型追蹤

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

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

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

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

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

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

6. 支持基于模型需求開(kāi)展測(cè)試的要求

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

需求與用例雙向追蹤

7. 多種測(cè)試用例管理功能

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

用例管理多樣化

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

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

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

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

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

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

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

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

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