什么是MXAM?

新版本有哪些功能亮点？

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

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

• Web服务和MATLAB连接的自动端口选择使得安装和配置MXAM更加容易，并支持自动安装脚本。
• 改善了关于配置和运行时问题的用户反馈和错误处理，提升了MXAM使用体验。
• MAB 5.0文档中添加了四项新检查，更新了dSPACE TargetLink 5.0/5.1文档。

安装

手工安装

• 安装程序：执行安装文件（.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须符合以下系统要求：

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

发行说明 - v.7.2 (2021年10月)

工具框架

自动端口选择

• 现在（在默认情况下）可以自动确定 MXAM Web 服务器的端口和连接到 MATLAB 的端口。
  • 在 MXAM UI 中显示 Web 服务器端口。
  • 新的入门实用程序方法“com.modelengineers.mxam.core.util.StarterUtil.main(String[] args)”将返回 MXAM 使用的端口号，可用于自动启动。

改进

• 对于工具使用过程中出现的任何错误，提供了更详细的问题描述。此外，还会显示对相应问题进行故障排除的提示。
• 更好地显示许可证错误并改进了许可证配置对话框。
• 扩展支持使用“CTRL+C”将数据从 MXAM 复制到 Windows 剪贴板。
• 提高了报告导入的性能。
• 通过推迟因更改选择而引起的 UI 更新，提高了报告透视图的性能。
• 改进了对架构指标计算的缺失许可证处理，以免剩余的分析被中止。（#8763）
• 可以使用项目中配置的工件来执行批量分析。（#9250）
• 改进了文档导出向导中的进度和错误处理。（#8666）
• 改进了对许可证的检查，以确保在分析过程中有可用的许可证。
• 通过对表应用多阶段排序改进了对库项目的选择。
• 通过显示检查结果的累积摘要，在 MATLAB 控制台或进度对话框中显示扩展的进度。

错误修复

• 修复了浏览器的兼容性，可查看详细信息。（#9155）
• 修复了读取 MXAM 首选项时的错误处理。（#9256）
• 修复了文档导出向导中的初始选择。（#8668）
• 修复了项目库设置 UI 控件的启用问题。（#9138）
• 防止在详细视图中显示图像拖放的过程中发生 MXAM 崩溃。（#9183）
• 修复了对 ASCET 序列调用的处理。（#9137）
• 修复了用于 mxamapi_execute.m 的 MATLAB API 文档。（#9175）
• 修复了显示许多工件时工件配置表的布局。（#8637）
• 修复了滚动操作的问题。（#9317）
• 修复了进度条中包含特殊字符的 Simulink 名称的问题。（#8757）

规范、检查和文档

新的 MAB 规范（版本5.0）可用

• 使用规范 jc_0642（mcheck_jc_0642），以防止带符号整数除法的意外取整。（#9241）
• 使用规范 jc_0791（mcheck_jc_0791）以便在基本工作区、模型工作区和 DD 中识别重复的数据名称定义。（#9246）
• 使用规范 jc_0610（mcheck_jc_0610）以确保乘法和除法模块的正确运算顺序。（#9206）
• 使用新引用的检查 mcheck_mes_slsf_1700 以防止使用禁止的模块。（#9205）

适用于 TargetLink 5.0 和 5.1 版本的新 dSPACE 规范文档可用

适用于 TargetLink 5.0 和 5.1 版本的新 dSPACE 规范文档的所有规范现已在 MXAM 中可用。 目前可自动检查以下规范：

• 适用于Simulink、Stateflow 和 TargetLink 的通用规范
  • 全局 Simulink 选项：TL_RULE_GENERAL_DIAGNOSTICS
  • 全局 TargetLink 选项：TL_RULE_SWDESIGN_BITFIELDS_MISRA、TL_RULE_SWDESIGN_IDENTIFIER_LENGTH
  • 一般约定：TL_RULE_GENERAL_NAMING、TL_RULE_GENERAL_BLOCK_PRIOS、TL_RULE_GENERAL_OVERFLOW_SATURATION、TL_RULE_GENERAL_ROUNDING
  • 定点代码生成：TL_ADV_OPTI_POWER_OF_2, TL_ADV_OPTI_OFFSETS, TL_ADV_OPTI_CONSTRAINTS, TL_RULE_OPTI_64_BIT
• 特定模块规范
  • 离散模块库：TL_RULE_DISC_LIB_INTEGRATOR_SETTINGS
  • 查找表模块库：TL_RULE_LUT_FLOAT_EQUIDISTANT
  • 端口和子系统模块库：TL_RULE_PORTSYSTEM_LIB_SWITCH_CASE, TL_RULE_PORTSYSTEM_LIB_DUPLICATE_INPORTS
  • 传送信号模块库：TL_RULE_SIGNALROUT_LIB_DSMEMORY, TL_RULE_SIGNALROUT_LIB_FROMGOTO, TL_RULE_SIGNALROUT_LIB_MERGE, TL_RULE_SIGNALROUT_LIB_MULTIPORT_SWITCH
  • 自定义函数模块库：TL_RULE_USERFUNC_LIB_FCN_BLOCK
• Stateflow 规范：TL_RULE_STATEFLOW_STRONG_DATA_TYPING, TL_RULE_STATEFLOW_TRANSITION_ACTIONS, TL_RULE_STATEFLOW_ORDER_PARALLEL_STATES, TL_RULE_STATEFLOW_IMPLICIT_EVENTS, TL_RULE_STATEFLOW_MATLAB, TL_RULE_STATEFLOW_TRANSITIONS_IN_CONTROL_FLOW, TL_ADV_STATEFLOW_STATES_VS_CONTROL_FLOW

改进

• mcheck_jm_0010_a：引入了检查参数“MAAB.jm_0010_a.CaseSensitivePrefixOrSuffix”，以允许自定义有关输入/输出端口的前/后缀大小写敏感检查的检查。（#9015）
• mcheck_misra_tl_7_7：引入了检查参数 “MISRA.misra_tl_7_7.IgnoredFiles” 以定义自定义代码文件的忽略列表。（#9160）
• mcheck_misra_slsf_031_a、mcheck_db_0141：该检查现在忽略取向为“左”的反馈子系统，并由以下模块组成：Unit Delays（单元延迟）、Inports（输入端口）、Outports（输出端口）、Bus creators（总线创建器）、Bus selectors（总线选择器）、Mux（信号合成）、Demux（信号分解）和各子系统。（#9025）
• MAB 3.0 规范 hd_0001（版本 1）现在引用检查 mcheck_mes_slsf_1700 来增强可配置性和改进性能结果。（#9205）
• mcheck_mes_slsf_1700：提高了检查的性能。（#9205）
• 根据 ISO 26262:2018 更新了各规范中 ISO 引用的措辞。（#9323）

更改

• mcheck_mes_slsf_9001：将配置参数“Periodic sample time constraint（周期采样时间约束）”的建议值更改为“Specified, Ensure sample time independent（指定，确保采样时间独立）”。这保证了模型引用的设置一致。 （#9116）
• mcheck_misra_slsf_010_b：修改了查找结果信息以提高可读性。该信息现在构成了一个完整的句子。
• mcheck_hd_0001：该检查已被删除。（#9205）

错误修复

• mcheck_ds_0027：如果对一个表输入端口的源分析失败，该检查可能会发出不合理的警告。该问题已修复。（#9258）
• mcheck_misra_slsf_015_b：如果一个矩阵信号被引导通过子系统的一个输出端口，则检查总是给出发现封装子系统的查找结果。该问题已解决。（#9244）
• 在某些情况下，函数调用中包含字符数组的模块参数评估可能会导致失败。该问题已修复。（#9082）
• TargetLink 的一个限制是不允许使用类为“default（默认值）”来评估 TL_Signum 模块的输出类型。这是通过访问隐藏的对话框数据来规避的。（#9041）
• 通过含有嵌套总线元素赋值的 BusAssignment 模块进行信号跟踪是错误的。该问题已修复。（#9173）