MXAM – 静态测试工具的最佳选择

前言

在汽车与自动化行业，基于模型的开发过程中，从业者希望能够在保证建模效率的同时确保模型质量。此时，合理使用建模工具变得尤为重要。合适的工具不仅能够通过建模规范检查分析测试模型的质量，还能根据分析结果对模型进行自动改进。本篇文章为您介绍广受业界认可的静态测试工具MES Model Examiner® (MXAM) 。从MXAM在静态测试中的应用角色到实际演示与10.0版本功能更新，本文带您透彻了解MXAM如何能轻松帮助您实现优质建模。

基于模型的开发中静态测试的应用与MXAM

MXAM是用于对Simulink®、Stateflow®、Embedded Coder®和TargetLink®模型进行全面静态分析的专业工具，主要应用于软件V型开发流程的左侧设计阶段，覆盖从架构到单元设计和实现的全过程。

基于模型的开发(MBD)依赖基于需求的，测试驱动的工作流来持续地确保质量。软件V型开发流程由左侧的设计阶段和右侧的测试阶段组成。功能质量和功能的适用性是右侧测试阶段的主题，而设计的适用性和设计质量则是设计阶段关注的重点。设计质量和功能质量同样重要，因为模型设计的适用性能够有效促进功能的适用性。

那么，模型设计质量应如何保证? 模型静态测试能够帮助工程师保证模型设计的适用性：不仅可以改进已在开发过程中的模型，还可以通过质量保证前置帮助模型在代码生成前确保质量,生成代码的质量得以有效提升。实际应用中，MXAM支持高度自动化的静态分析并致力于Simulink和TargetLink模型的可读性，鲁棒性，避免模型错误以及改进生成代码。

图1是一个Simulink模型的次级子系统。可以看出，模型目前存在违背建模规范的多项错误。例如第1处，模块命名应位于模块下方，而不是上方。再比如第2处，对于常值模块而言，其命名不应使用具体的、非0和1的数字，而应当设置为参数进行表示。对于模型的可读性来说，图1的信号流未对齐（第3处）。模块的命名应当被清晰识别，而第4处显然不符合建模规范的相关要求。第5处的输入端口隐藏在了系统布局内。此外，出于避免模型错误的出现，第6处的乘积模块不应存在超过两个输入端口…等等，这些问题严重影响了该Simulink模型的可读性和设计质量。图2展示了该模型经过MXAM修改优化后的结果：所有在之前讨论过的错误都被一一准确修正，模型的可读性得到了显著提升。