什么是MXAM?

新版本有哪些功能亮点？

► 查看发行说明了解更多新功能

MES Model Examiner^® (MXAM) v.6.5 功能亮点

进行了一系列细节上的改进，提高了用户操作响应速度，改善了用户使用体验。

进一步提高了MAB规范5.0版本的覆盖性。

安装

手工安装

• 安装程序：执行安装文件（.exe文件）并按照安装说明进行MXAM的安装。
  • 安装启动过程的等待时间取决于客户端计算机的安全设置。
  • 安装到写保护目录中：右键以管理员身份执行安装。
• Zip压缩文档：解压文档到任何目录中。

自动“无头”安装

• 在计算机上运行一次MXAM安装，并将完成面板中的自动安装数据保存到auto-install.xml。
  使用此数据，您将能够在另一台类似的计算机上运行相同的安装。
• 设置auto-install.xml文件
• 运行自动安装： >>[installer-name].exe [ABSOLUTE-PATH/auto-install.xml]

升级到最新版本

• 假如您已将MXAM文件夹添加到MATLAB路径上，请从路径中删除所有相关文件夹。
• 假如您已把旧版安装在具有版本后缀的文件夹中（例如：x:\project\matlab\mxam_x_x)，您可以将此目录作为备份。
• 假如您安装时没有设置版本后缀，则可以将旧版的安装目录更名为包含版本后缀的文件夹，并将其作为备份文件夹。

将MXAM 1版本升级到当前版本的MXAM

可根据要求提供用于迁移客户特定检查集和检查的迁移工具包。
请联系 sales@model-engineers.com.

系统要求

使用MXAM 6.5版本(规范检查软件)须符合以下系统要求：

• Windows Vista, Windows 7, Windows 8, Windows 10 (64位版本)
• 您的系统上需要安装Java 8或更高版本。经过测试可以与MXAM一起使用的版本是“ AdoptOpenJDK 8”
• Web服务端口10117（默认）必须可以访问，并且可以在工具首选项中更改设置。
• 满足规范检查软件（MXAM）和 MATLAB^®/Simulink^®/Stateflow^®及 TargetLink^®等应用的系统要求:
  
  • MATLAB^® 版本查看下面的表格
  • TargetLink^® (基本套件) 版本查看下面的表格
  • 5564端口（默认）必须是可以访问的
• 应用规范检查软件（MXAM）和ASCET：ASCET6.1版本和6.4.4 Beta版本的系统要求
• 应用规范检查软件（MXAM）和EXCEL2003及以上版本的系统要求

规范检查软件（MXAM）版本与MATLAB和 TargetLink版本的兼容性

快速启动

启动MXAM

• 对于MATLAB平台：打开MATLAB，浏览到MXAM安装目录然后运行>>mxam
• 对于其它平台：使用快捷方式启动MXAM或者浏览到MXAM安装目录中并运行mxam.exe

启动分析

对于MATLAB平台：

• 在MATLAB中打开一个模型。
• 在MXAM里点击 "Analyze"
• 在检查目标对话框内选择模型
• 点击 "Finish"

对于ASCET:

• 在MXAM里点击 "Analyze"
• 假如还没打开过在检查目标对话框，请点击"打开 ASCET 6"
• 点击“Refresh”可从从数据库获取模型。
• 按点 "Finish"

对于其它平台：

• 在项目视图里的“Artifact”选项中点击“Add…”以添加一个新的检查目标。
• 选择工件并点击"Finish"
• 点击"Analyze"

规范

• 转到“Project Guidelines”视图，以了解在分析过程中将检查了哪些规范。
• 想要查看所有可用的规范，请转到“Library Browser”视图并选择“Guidelines”视图。

建议

假如您有任何建议帮助我们改善MES Model Examiner^® 请随时与我们联系：
电子邮件: mxam@model-engineers.com

发行说明

MXAM - v 6.5(2021年1月)

工具框架

扩展了Web服务API（应用程序接口）

• 添加了用于查询当前 MXAM 版本和已应用补丁的 API 。
• 添加了查询当前项目的 API。

性能改进

• 在工件选择向导中列出工件时，改进了 UI 的响应能力。
• 改进了抓取 ASCET 工具工件和文件工件的性能。（#8329）
• 用户可以决定显示的工件列表是结构化的还是平面的。
• 在抓取过程中应用了类过滤器。
• 提高了在 UI 和批处理运行中执行 MATLAB 检查的性能。
• 更改报表导航视图中的焦点时，报表透视图中的 UI 响应速度得到了提高。

其他改进

• 对要求可编译模型的检查，不可编译模型的查找类型已从"中止（Aborted）"更改为"检验（Review）"。
• 改进了无头执行模式下的日志记录处理。（#8573）
• 在分析过程中向MATLAB中显示的进度添加了更多详细信息。
• 简化了选择MATLAB可执行程序的首选项。（#8547）
• 用MATLAB挂钩稳定了添加的附加报告信息的顺序。（#8700）
• 更新了与JIRA工单系统的通信支持。（应要求提供可选插件）

错误修复

• 防止 MXAM 在分析完成后的 UI 更新期间非确定性挂起。（#8731）
• 修复了多个配置分析的批量执行问题。（#8728）
• 修复了ASCET 模型解析在 Java 运行时版本中的差异问题。（#8640）
• 修复了查找结果中嵌入图片的 ASCET 图片导出的问题。（#8464）
• 修复了许可证管理器中多个许可证文件/目录的配置验证问题。（#8631）

规范、检查和文档

与MATLAB 2020a和2020b版本的兼容性

• 进行了轻微的调整，以确保框架和检查与MATLAB 2020a和2020b版本兼容。
• 更新了mes_cgec_9004的EC_ParameterList.xlsx 和mes_cgec_2001中的禁止模块列表，以确保与Embedded Coder兼容。

提供新的 MAB 规范（版本 5.0）

• jc_0702：在Stateflow中使用的参数或常量除了0表示初始值，1表示递增或递减外，不得包含字面数值。
• jc_0721：并行状态的子状态不得为并行状态。
• jc_0775：在Stateflow流程图中，仅应使用一个终止交汇点，并采用单个无条件迁移作为输入。
• na_0003：If模块的{If}和{Elseif}表达式应仅用于将输入信号定义为条件。

改进

• mcheck_misra_slsf_006_b：添加了一个新的、可以按照模块类型和/或掩码类型忽略模块的检查参数，以提高检查的可用性和检查行为的透明度。已选择默认的参数设置以保留先前 MXAM 版本的检查行为。（＃8404）
• 在分析TargetLink模块TL_BitSet或TL_BitClear的数据类型时，特定检查中止。此问题已解决。（＃8606、＃8656）
• 库模型中涉及TargetLink功能的某些建模模式可能导致TargetLink模块属性的确定失败。此问题已解决。（＃8541）
• mcheck_misra_slsf_053_j：为便于阅读，对检查的查找结果信息略作了一些更改。 （＃8588）

错误修复

• mcheck_jc_0221、mcheck_jc_0222、mcheck_na_0030：对于某些建模模式，其引用的模型中包含总线端口信源的，检查可能中止。此问题已解决。（＃8512）
• mcheck_misra_slsf_036_c：在特定情况下，检查可能会对与连接信号标签不匹配的Stateflow端口名称给出错误的否定查找结果。此问题已解决。（＃8584）
• mcheck_ds_0098：如果涉及向量信号的范围分析，检查可能中止。现在，这方面的检查是稳健的。（＃8639）
• mcheck_mes_slsf_9103：该检查错误地检测到具有同一库引用的相同模块名称。此问题已解决。（＃8497）
• mcheck_mes_cgtl_4204：由于变量未正确初始化而导致内部处理错误时检查中止。此问题已解决。（＃8662）
• mcheck_misra_tl_5_9：在分析增益值为矩阵的增益模块时，检查中止。此问题已解决。 （＃8662）
• mcheck_na_0008：TargetLink 模块TL_ExtractBits已被排除在分析之外，因为它不是原始意义上的子系统。以前，该模块导致检查中止。（＃8662）
• mcheck_sdt_sc001：如果TargetLink端口模块连接的源模块不具有缩放属性，则检查会给出错误的查找失败结果。此问题已解决。（＃8704）
• mcheck_misra_slsf_048_g：如果 Stateflow 图中存在一个数字不是1或0且圆形括号内有变量的运算，则检查会给出错误的否定查找结果。此问题已解决。（#8726）