随着基于模型设计（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主要技术指标和性能

　　■支持自动化、批量化的执行MIL、SIL及背靠背测试，验证模型和代码的一致性

　　Model Verifier遵照模型动态测试验证流程实施，实现用例生成-用例执行-覆盖率统计的自动化测试。并可在一款软件中同时实现MIL、SIL及背靠背测试，从而达到验证模型和代码一致性的目的。

MIL/SIL/Back-to-Back一体化测试执行

　　■多种测试用例生成方式

　　◇提供多种测试用例生成方法，自动为每个系统或子系统便捷生成测试用例

　　◇根据测试数据生成方法和输入约束条件生成测试数据

　　◇参数设定：模型中引用的变量值可以作为脚本文件进行管理并通过将其应用于测试用例进行测试

多种用例生成方法

　　■多种覆盖率测试标准

　　◇13种覆盖率测量类型（Decision，Condition，MC / DC、 Lookup Table等）

　　◇可视化测量覆盖率，在工具中提供详细覆盖信息

覆盖率测试及与模型追踪

　　■支持多种信号模板输入

　　支持7种信号模板输入，包含正弦、脉冲、三角形、正方形等，测试用编辑便利化。

多种信号模板输入方式

　　■测试结果自动判定并有效展示

　　◇Model Verifier执行测试用例后可以支持对测试结果误差进行设置，包括幅值容差和转移时间容差

　　◇自动记录被执行的实际数据，并自动与期望值进行比对判定。如果期望值落在结果的容差范围外，单元格颜色就会显示为红色，结果展示直观易识别

测试结果自动判定及展示

　　■支持基于模型需求开展测试的要求

　　Model Verifier支持基于需求的测试，项目和测试用例可以按照需求单位进行管理，形成测试用例和需求之间的双向可追溯性，完全符合A-SPICE流程认证中的基于模型需求开展有效测试的要求。

需求与用例双向追踪

　　◇支持测试用例图形化，将测试用例数据直观展示

　　◇支持Excel形式的测试用例导入，测试用例与需求建立连接，从而有效实现测试用例和需求层之间的追溯

　　◇支持用例的导入和导出，提供.json、.csv、.mat等多种格式的导入，可以对测试用例、报告等进行导出

用例管理多样化

　　■支持导入真实车辆的数据和创建回归测试

　　Model Verifier支持通过分析mdf格式的实际车辆数据生成测试用例，并以测试用例结果值作为期望值创建测试用例，支持回归测试的执行和测试用例共享。

导入真实车辆数据

　　■生成多种类别测试报告，可直接追溯模型问题

　　支持多种类别报告形式的生成，如PDF、DOC、XLSX、HTML格式等，并且报告可以进行模型的追溯，便于从报告问题直接定位到模型来进行修正。

　　获得多行业功能安全认证证书。同时，便捷支持CICD集成，如：Jenkins、Devops等。

　　经纬恒润在嵌入式MBD测试领域拥有超过10年以上的咨询和实战经验，具有丰富的项目经验和深厚的技术功底，能够针对客户的特定需求提供定制化的模型测试咨询服务。

　　◇模型动态测试高阶培训

　　◇模型单元测试服务

　　◇模型集成测试服务

　　◇背靠背测试服务

　　◇模型动态测试能力建设

　　◇模型静态测试咨询及服务