使用MES Model Examiner® (MXAM)进行静态测试
MES Model Examiner® (MXAM)是您对模型进行全面静态分析的首选工具。作为功能安全的全面解决方案， MXAM能够分析模型结构并评估模型度量指标，同时提供给您一种简单的方法来检查建模规范，以上所有功能都可以通过MXAM轻松实现。
MES Model & Refactor® (MoRe)的集成能让您的日常建模工作更加简单、快速、不易出错，并支持建模规范违规纠正。
MXAM的优势
静态测试
MXAM为认证工作流程中的安全活动提供重要支持
合规性
确保您的模型完全符合建模规范和安全或质量相关标准（ISO 26262、ISO 25119、IEC 61508、DO 178B/C、ASPICE等）
质量保证
根据软件架构设计原则和建模规范准确评估模型质量
轻松实现优质建模
一键启动，即可通过符合建模规范的布局修复模型并辅助改进
基于模型的设计
MXAM X Simulink – 将MXAM无缝集成到您的MBD工具链中
模型分析
软件模型自动分析，快速得出结果 – 报告支持多种形式，详细分析结果和快速导览
可扩展性
大型软件模型一样轻松管理，从单个工作站到全公司解决方案
增强代码生成
MXAM全面支持符合相关标准的软件，比如AUTOSAR – 有效提升代码质量、安全性和保密性
自动化
MXAM支持所有常见平台，不论是内部部署平台或是云平台 – 可通过集中式可扩展设置，轻松集成在您的工具链中
与您的工具链无缝衔接
使用MXAM Jenkins插件精简流程自动化
使用我们的多功能Jenkins插件，轻松将MXAM集成在您的基于Jenkins的自动化管道中。这一工具功能强大，能将MXAM的核心功能无缝集成到Jenkins自动化管道中。
只需简单选择您需要分析的模型，适当的建模规范集，并定义通过/失败标准即可。不仅如此，MXAM还支持生成和发布内含对分析结果详细说明的综合报告。配置可通过直观的MXAM Jenkins插件UI或通过Jenkins代码轻松完成。
更为便利的是，您还可以通过电子邮件通知来随时了解自动化进程。本质而言， MXAM Jenkins插件为您提供了一种直接且高效的方式来实现质量保证自动化。
MXAM客户评价
确保模型符合相应标准
MXAM可根据最新标准自动检查模型规范，并全面且清晰地报告检查结果。以下是部分可自动检查的建模规范：
MISRA
- misra_slsf_006_b：块参数 – 校准参数
- misra_slsf_036_c：Stateflow/Simulink接口信号、参数及命名 – 输入/输出的名称
- misra_slsf_010_b：算数运算顺序 – 乘积运算块
- misra_slsf_053_j：转移定位 – 终止连接点的数量
通过ISO 26262、IEC 61508和ISO 25119全面认证
MXAM是经TÜV SÜD（南德意志技术监督协会）认证的T2离线支持工具，可用于安全相关的嵌入式软件开发，并完全符合ISO 26262、IEC 61508和ISO 25119标准。MXAM专为功能安全开发人员，测试人员和质量经理在MATLAB®/Simulink®、 Embedded Coder®和TargetLink®平台上进行基于模型的开发（MBD）而设计。
