中文  |  English
所在位置:研发工具 > 基于模型的静态测试工具MXAM

基于模型的静态测试工具MXAM

MXAM简介


MES是一家专注于为嵌入式软件提供高质量开发工具和服务的高科技公司,尤其在基于模型的开发领域具有显著影响力。MXAM(Model Examiner)是一款由MES开发的专业工具,专为MATLAB/Simulink环境下的基于模型的设计和开发提供静态分析和验证。MXAM旨在帮助工程师和开发团队确保他们的模型遵守既定的建模规范、行业标准(如MISRA,MAB,Targetlink等)、以及特定项目的定制化规则,从而提升模型质量和软件安全性。


北汇信息作为MES的中国合作伙伴,将帮助中国客户借助MXAM提升嵌入式开发软件的模型质量。


图片1.png

模型静态分析

MXAM应用各种静态分析技术(如数据流分析,控制流分析等)自动扫描模型结构以检测潜在问题,如不恰当的信号连接、未初始化的信号、零除及平方根的负输入等。

MXAM可以验证模型是否符合MAB、MISRA SL/SF、MISRA TL和 Embedded Coder等建模标准。MES功能安全文档归纳总结了和功能安全相关的指导规范,从而使开发的模型满足国际安全标准ISO 26262、ISO 25119、IEC 61508以及DO 178B/C的要求。

图片2.png


> 优化模型以防止编码错误

在MBD这种开发模式下,软件模型是软件代码的基础。优化的软件模型可以提高软件代码生成的成功率,从而节省开发资源,将有限资源投用到如功能开发及测试等更迫切需要的地方。

MXAM对于常见的软件代码生成工具诸如Embedded Coder、TargetLink以及ASCET提供特定的建模规范文档以保障软件模型质量,同时确保模型配置中诊断及代码生成项符合规范,从而能够保证自动生成代码的高效性。


> 提供综合报告并提供模型修复建议

MXAM的建模规范审核结果非常清晰。如果发现错误,MXAM可以直接指出出现错误的模型部分并给出错误分析以及修改建.议,并且在多数情况下支持自动修复错误模型部分。


图片3.png

> 互动式的模型评审

MXAM 中可通过注释添加个人的模型违规意见,从而持续记录模型审核及评价结果。MXAM 可以全面总结和记录手动及自动建模规范审查的结果。

图片4.png

> 模型重构支持

1-创建和删除结构相关的信号

通过子系统层次结构创建或删除信号既耗时又易出错。使用 MoRe 可以通过一个简单操作添加或删除此类信号。通过选择源端口和目标端口,可以自动生成或删除相关联的输入、输出和信号线。

图片5.png


2-便利地重构子系统

MoRe支持在不影响模型功能的前提下快速、轻松地修改分解模型。通过简单的操作将已连接的功能模块移入或移出子系统。此外,也可以将一个子系统划分为两个子系统或将两个子系统合并成一个系统。

图片6.png


MoRe支持子系统接口的修改。例如,您可以通过对话框在外部更改子系统的端口顺序。

图片7.png


3-生成和分解总线

通过使用MoRe可以将已连接的信号轻松、快速地生成总线。这是一个在修改模型时常用但耗时的步骤。在实现过程中,MoRe 会自动生成需要的Creator、Selector 以及信号线。除此之外,还为总线提供增添信号功能和Selector分解或合并功能。

图片8.png

> 模型规则自定义

允许用户根据组织内部的最佳实践或特定标准定义自己的规则集,并对模型进行检查。

图片9.png

> 支持多种报告形式

MXAM的静态扫描过程完全自动化,在完成静态测试之后可以自动生成详细报告说明模型检查的结果,便于追踪问题的修复进度和审计目的。MXAM支持的报告格式包括:HTML、PDF、 EXCEL和XML。

图片10.png

> 资质认证

MXAM支持ISO26262标准要求产品开发的所有测试活动。根据ISO26262的要求,当使用软件工具进行安全相关的开发活动时,需要对使用的软件工具进行资质审核。

MXAM 通过了TÜV SÜD(南德意志技术监督协会)认证,可用于安全相关的嵌入式软件开发过程,符合ISO 26262、IEC 61508和ISO 25119标准。

图片11.jpg


客户列表(部分)

图片12.png