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

滿足ISO 26262、DO-178C等安全標準是模型動態測試的硬性門檻，而更重要的是，它構成了軟件功能安全與信心的核心基石。

Model Verifier（簡稱MV）是一款基于模型的、高度自動化的動態測試工具。支持模型單元測試、集成測試以及整個模型的子系統測試，自動執行MIL、SIL、Back-to-Back測試，能夠測量分支、條件、MC/DC、Look-up Table等13種覆蓋率。Model Verifier依據高度自動化的動態測試，實現多用戶間的協同優化和用例共享，支持方便快速的回歸測試。

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

模型動態測試驗證流程

Model Verifier主要技術指標和性能

1. 支持自動化、批量化的執行MIL、SIL及背靠背測試，驗證模型和代碼的一致性

Model Verifier遵照模型動態測試驗證流程實施，實現用例生成-用例執行-覆蓋率統計的自動化測試。并可在一款軟件中同時實現MIL、SIL及背靠背測試，從而達到驗證模型和代碼一致性的目的。

MIL/SIL/Back-to-Back一體化測試執行

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

提供多種測試用例生成方法，自動為每個系統或子系統便捷生成測試用例

根據測試數據生成方法和輸入約束條件生成測試數據

參數設定：模型中引用的變量值可以作為腳本文件進行管理并通過將其應用于測試用例進行測試

多種用例生成方法

3. 多種覆蓋率測試標準

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

覆蓋率測試及與模型追蹤

4. 支持多種信號模板輸入

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

多種信號模板輸入方式

5. 測試結果自動判定并有效展示

• Model Verifier執行測試用例后可以支持對測試結果誤差進行設置，包括幅值容差和轉移時間容差
• 自動記錄被執行的實際數據，并自動與期望值進行比對判定。如果期望值落在結果的容差范圍外，單元格顏色就會顯示為紅色，結果展示直觀易識別

測試結果自動判定及展示

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

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

需求與用例雙向追蹤

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

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

用例管理多樣化

8. 支持導入真實車輛的數據和創建回歸測試

Model Verifier支持通過分析mdf格式的實際車輛數據生成測試用例，并以測試用例結果值作為期望值創建測試用例，支持回歸測試的執行和測試用例共享。

導入真實車輛數據

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

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

10. 獲得多行業功能安全認證，支持CICD集成

獲得多行業功能安全認證證書。同時，便捷支持CICD集成，如：Jenkins、Devops等。

經緯恒潤在嵌入式MBD測試領域擁有超過10年以上的咨詢和實戰經驗，具有豐富的項目經驗和深厚的技術功底，能夠針對客戶的特定需求提供定制化的模型測試咨詢服務。

• 模型動態測試高階培訓
• 模型單元測試服務
• 模型集成測試服務
• 背靠背測試服務
• 模型動態測試能力建設
• 模型靜態測試咨詢及服務