Model Inspector — 软件模型静态规范检查工具

Model Inspector （MI）原厂商是韩国 Suresoft，是 KOLAS 公认测评机构，旨在提升安全关键领域软件可信度。

MI 用于开发过程中模型的静态检查，包括规范检查、复杂度度量，提供 MAAB、HIS、CG、MISRA_AC_SLSF、MISRA_AC_TL、dSPACE 标准规范及检查，检查 Targetlink 等模型是否符合建模标准、评估模型设计的合理性。

MI 具备 ISO-26262/IEC61508 等认证资质，支撑基于模型的高可靠、高安全的嵌入式电子产品验证及确认平台，在现代、起亚等企业得到应用。

产品介绍

MI 是标准化的静态检查工具，可以对模型进行自动化、批量化建模规范检查、复杂度度量，提升用户的模型质量，其工作流程如图：

-产品认证资质

工具具备 ISO-26262（汽车）/ IEC61508（通用）等认证资质。

-支持的标准和检查项

支持大多数国际通用规则，480+ 条行业标准建模规则：

MAAB
Modeling design and style guidelines for the applicatin（MISRA_AC_SLSF）
Modeling style guidelines for the application of TargetLink in the context of automatic code generation（MISRA_AC_TL）
dSPACE Modeling Guidelines
Modeling Guidelines for High-Integrity System（HIS）
Modeling Guidelines for Code Generation（CG）
Suresoft Guidelines
用户自定义标准（定制规范检查）

-支持复杂度度量

全方位模型度量，20 多种模型度量指标，从模型代码行数、复杂度，到各个模块、子系统、库，再到Stateflow 各类转移，还有数据结构层级分析、复杂度分析等，针对整个模型 / 单个子系统分别统计，支持用户定义检查阈值：

Number of subsystems
Number of blocks
Number of linked library
Number of charts
Number of all objects in the chart
Number of states
Number of transitions
Number of Model function
Number of Stateflow code lines
Effective lines of Model function code metric
Subsystem depth
Number of incoming transition
Number of outgoing transition
Number of atomic condition transition
Nondescriptive block name
Data and structure layer separation
Complexity (Local, Global)
Cohesion
Coupling (Fan-In)
Coupling (Fan-Out)

-显著特点

支持市面上主流模型生成代码工具
功能完备度高

– 规则更全（标准规则 484 条），覆盖各历史版本规则

– 复杂度指标加倍（度量指标 21 种）

– 检查程度更完备（检查规则包含的每条描述）

工程易用性好

– 独立性好，面向用户友好界面
– 全程追溯，双向自动定位模型违规位置
– 工程化管理
– 提供违规原因、纠正建议
– 支持模型批量检查、局部子系统检查 / 不检查运行
– 自动修改违规细则
– 速度提升 50%~85% 左右
– 自动生成多种格式的报告（pdf，html，xls）

扩展性、开放性好

– 支持自定义复杂度度量指标比较阈值
– 支持自定义分组管理、复用、编辑已有规则
– 支持写代码调用 API 执行检查
– 支持自定义规则

应用案例 & 资深团队

使用MI进行建模规范自动化检查的用户广泛，如现代、起亚等，并为用户打造从建立规范到自动化检查的综合解决方案。

我们推广 MBD 十多年，咨询经验丰富，开展多个典型用户的建模规范咨询服务：

定制产品级规范检查流程
深度培训、指导 / 定制开发
定制产品级建模指南（规范）
定制产品级模型库、建模模板、配置模板

Model Inspector — 软件模型静态规范检查工具相关推荐

静态代码检查工具简介
静态代码检查工具简介在 Java 软件开发过程中,开发团队往往要花费大量的时间和精力发现并修改代码缺陷.传统的代码复审.同行评审,通过人工方式来检查缺陷仍然是一件耗时耗力的事情.Java 静态代码分 ...
swift/dart代码规范检查工具介绍
swift/dart代码规范检查工具介绍简介: 本篇主要介绍swift和dart代码规范检查工具,以及他们的工作原理,操作过程,代码规范规则. 1 swift代码检查工具-swiftlint 1.1 ...
静态代码检查工具 cppcheck 的使用
CppCheck是一个C/C++代码缺陷静态检查工具.不同于C/C++编译器及其它分析工具,CppCheck只检查编译器检查不出来的bug,不检查语法错误.所谓静态代码检查就是使用一个工具检查我们写的 ...
静态代码检查工具 FindBugs
静态代码检查工具 FindBugs 使用 FindBugs的原因和方法静态分析工具承诺无需开发人员费劲就能找出代码中已有的缺陷.当然,如果有多年的编写经验,就会知道这些承诺并不是一定能兑现.尽管如此 ...
Flow - JS静态类型检查工具
本章的目标是提供一些Flow工具的介绍与使用建议.Flow本质上也只是个检查工具,它并不会自动修正代码中的错误,也不会强制说你没按照它的警告消息修正,就不会让你运行程序.当然,并没有要求什么时候一定要 ...
vscode中对flake8（python静态代码检查工具）和yapf（python代码格式化工具）的设置
在命令行下安装好flake8和yapf后在vscode中的用户设置(settings.json)中添加以下两行即可: "python.linting.flake8Enabled": ...
静态代码检查工具-PMD
静态代码检查工具-PMD 分类: 网络安全/ 工具使用/ 文章提高代码的质量,除了要提高逻辑上的控制以及业务流程的理解外,代码本身也存在提高的空间,例如一些潜在的问题可以很早的就避免.类似于编码规范 ...
Java 静态代码检查工具及其原理
Intellij IDEA 静态代码检查工具: checkstyle.pmd.findbugs. Alibaba Java Coding Guidelines; 三种工具的对比工具目的检查项 F ...
C/C++静态代码检查工具
如果能够在代码提交测试之前发现这些潜在的错误,就能够极大地减轻测试人员的压力,减少软件项目的除错成本,可是传统的C/C++编译器对此已经无能为力,这个任务只能由专用的代码检查工具完成.有很多C/C++ ...

Model Inspector — 软件模型静态规范检查工具

Model Inspector — 软件模型静态规范检查工具相关推荐

最新文章

热门文章