模型规范检查工具
Model Guideline Checker(MGC)
MGC 2024已经发布！支持matlab2010a-2024b；支持matlab2019版本后增加的SLDD新功能；支持mpt参数类型；增强的Stateflow语法分析能力。
新版本各方面的性能均得到了广泛的提升，详情请下载MGC2024亮点说明或者Relea。
模型规范检查工具
Model Guideline Checker (MGC)
可点击下方按钮申请免费试用
模型规范检查工具
Features
功能一览
模型规范检查工具的用途
MGChecker遵循ISO26262的要求，为模型提供静态规范检查。该工具提供目前市场上能找到的所有的公共建模规范，如dSpace, MAAB, Misra AC SLSF, Misra AC TL，HISL HISF，并提供我们在给客户定制规范的实践中总结出来的有价值的规范，是目前市场上提供规范最全面的软件。使用该软件后能够使自动产生的代码最大程度地符合Misra C 2012的要求，同时满足ISO26262 对建模规范的内容的要求，使得测试过程变得简单迅速。
MAAB 5.0
MAAB5.0规范吸取了为北美和日本市场制定的规范的经验，并借鉴了Misra 发布的建模规范，对原3.0版本做了大量的扩充，对模型的功能、模块的使用建立了更多的规范; 对原有规范按照新的matlab的特点做了更精细的描述，实用性大大增加。因此对MAAB5.0的支持是选择规范检查软件的首要条件。
Model Guideline Checker 全面支持MAAB5.0，新实现多于100条规范的自动检查，同时对MAAB5.0包含的原有的MAAB3.0的检查进行了算法及针对matlab建模特点的优化。
简单易用
- 相比MATLAB 命令行，具有友好的用户界面
- 可利用拖放功能对检查集合进行配置
- 可对检查进行排序和查找
- 有指向具体规范条文、模型出错位置和执行自动修正的链接
- 清楚易懂的系统配置
- 用户可自定义检查内容
功能强大
- 可在MATLAB命令行及MGChecker 客户端执行检查
- 支持用户自定义的检查配置
- 提供用户接口，支持自定义的检查标准
- 可自定义忽略检查模块列表
- HTML PDF Excel等多格式的检查报告
- 具有独特的Misra_TL 检查，独有检查TargetLink 模型的检查
- 能够灵活配置，产生的无用信息会大大减少，为信息甄别节约大量时间
- 具有报告自动生成功能，设计人员进行交流时不需要再次检查，做汇报时可以直接利用报告内容
- 具有自动修改功能
严重错误检查
对代码中的常见错误，如 被零除、数值溢出、数组越界访问、数据超出范围、无效的逻辑、内存读写的顺序错误、非规格化数(小于最小可正规表达的浮点数的数)等的检查是代码检查的基本功能，这些错误在模型中也同样存在，从而导致生成的代码具有这些错误，因此，在静态分析时发现这些问题可以节省大量的测试工作量，极大地提高软件的可靠性。
借助DV的功能，Model Guideline Checker 实现了对以上功能的检查，在检查过程中自动分析模块对DV的兼容性，消除不兼容因素，通过简单的操作实现对以上错误的快速检查。
自动修改
- 对多种错误可自动修复
- 可设置为用户手工点击确认后再自动修复，也可以设置为检测出问题后不经人工确认就自动修复。
- 对检查结果进行人工干预的功能
提升企业效益
- 相对人工模型检查节约80%的时间
- 确保模型的高质量和一致性
- 用极少的费用实现建模规范标准的要求
- 检查可以进行用户扩展或调整以适应各自的开发环境
- 加快建模进程及缩短质量检查时间
- 利用检查结果可实现开发者和模型质检人员之间的持续交流
- 支持Jenkins下的持续集成
易集成在其它系统中
- 可集成在建模和自动产生代码的开发流程中
- 可集成在Matlab中
- 除Java 运行环境JRE(免费)外，无需其它软件
- 通用的HTML PDF 及Excel格式报告在没有MGC 的情况下可浏览
FAQs
常见测试难点与解决方案
基于模型的高安全、高复杂性系统开发过程中的多项测试难题提供解决方案
MGC 具有识别严重错误功能，包括被零除、溢出、数组越界、数值范围超限等等，在进行规范检查时可自动识别并提示此类严重错误，减少模型出错，从根源上保障模型质量。
MGC 提供市场上最全面的公共建模规范库，并包含来自大量客户实践的独家定制规范，更是目前唯一全面实现MAB 5.0规范自动检查的软件，确保建模规范的全面性。
MGC会在结果中提供超级链接直接跳转到模型错误位置，并具备业界领先的一键自动修复能力，支持自动或人工确认后修复，极大提升调试效率。
MGC 支持HTML/PDF/Excel/XML多格式报告自动生成，内容直观，进行交流时无需检查，可直接用于客户或领导汇报。