方案介绍 | 模型动态测试新方案：Model Verifier（MV）

一、先搞懂概念：什么是模型动态测试？

在软件开发中，基于模型的开发（Model Based Development, MBD）已成为主流，工程师通过建模工具（如Simulink）设计系统逻辑，再生成代码部署到硬件。但模型是否能按预期运行？代码是否与模型一致？这就需要模型动态测试来验证！

模型动态测试是通过仿真运行模型，输入准备好的测试数据，观察输出是否符合预期的过程。它的核心目标是在建模阶段就暴露问题，避免软件执行后才发现错误，从而大幅降低后期调试成本。

模型动态测试的常见类型

根据验证对象和形式的不同，模型动态测试主要分为以下几类：

• MIL（Model in the Loop，模型在环）：直接对模型本身进行仿真测试，验证模型逻辑的正确性（不涉及代码）；
• SIL（Software in the Loop，软件在环）：测试从模型生成的源代码（如C代码），验证代码逻辑的正确性；

此外，还有一个关键环节——Back-to-Back测试（背靠背测试）：通过对比模型输出和生成代码的输出，验证两者一致性，确保代码准确还原了模型逻辑。

Model Verifier（后文简称MV） 正是面向MBD的专业工具，支持Simulink与TargetLink模型的动态测试自动化，覆盖上述所有测试场景！

二、为什么要做动态测试？——核心价值

• 提前发现问题：在代码生成前，通过MIL/SIL验证模型逻辑，避免后期返工；
• 保障一致性：通过 Back-to-Back 测试确保模型与代码“零偏差”；
• 满足功能安全：针对ISO 26262等标准，动态测试是验证关键系统安全的必备环节；
• 提升效率：自动化测试流程尽可能减少人工干预，加速项目交付。

<图1> ISO 26262及ASPICE中对模型测试的要求

三、MV：动态测试的“全能助手”

作为专为MBD设计的动态测试工具，MV 提供了一套从测试到认证的完整解决方案，核心优势包括：

1. 工具与模型“无缝对接”

• 支持自动提取Simulink/TargetLink模型数据，快速建立验证环境；
• 兼容实车数据导入，验证更贴近真实场景。

<图2> 通过导入真实车辆数据生成测试用例

2. 覆盖全场景动态测试

• 支持MIL/SIL及Back-to-Back测试，满足不同阶段的验证需求；
• 自动化执行测试用例，提升覆盖率与效率。

<图3> 背靠背测试流程

3. 国际权威认证背书

• 通过SGS TÜV Saar等国际机构认证（Tool Qualification），符合功能安全标准要求，助力企业轻松应对审计。

4. 原厂支持，快速响应

• 原厂技术团队全程支持，响应迅速，精准匹配个性化需求。

5. 用户友好，效率翻倍

• 提供直观的交互界面，降低操作门槛；
• 测试用例编辑、管理和自动化执行一站式搞定，规范验证流程。

<图4> 测试用例编辑

6. 支持CI/CD集成

• 提供脚本接口，实现与CI/CD系统的集成，使检测过程能够无缝地融入到开发工作流程中。

四、能解决什么问题？——聚焦关键场景

🔹 一致性验证：确认模型与自动生成的代码逻辑一致，避免“模型可行，代码出错”的隐患；

🔹 功能安全认证：针对ISO 26262等关键任务领域的安全性和可靠性要求，提供全流程验证支持；

🔹 测试管理优化：从测试用例设计到结果分析，一站式管理，提升团队协作效率。

结语：

模型动态测试是保障系统可靠性的“第一道防线”，而 MV 凭借其专业性、灵活性和国际认证背书，已成为工程师应对复杂验证需求的“得力助手”。无论您是初涉MBD开发，还是需要满足严格的功能安全标准，这款工具都能助您高效完成验证目标！