模型检查器 Checker

订购 \| 案例 \| 学习资源 \| 培训&咨询 \| 解决方案 \| 模型框架 \| 用户组 \| 客户专区 \| 联系我们

工具

课程

作者：俎涛

接口分析（ Model Checker）

视频主要介绍基于EA的模型检查器插件进行接口分析。

模型检查器功能简介

视频主要介绍基于EA的插件模型检查器功能简介。

元素检查（ Model Checker）

视频主要介绍基于EA的插件模型检查器中的元素检查。。

接口模型生成接口列表

视频主要介绍基于EA的插件-模型检查器，接口模型生成接口列表。

模型图生成表（模型检查器Checker）

视频主要介绍基于EA的插件-模型检查器，对模型进行分析检查。

模型检查器-Checker

模型检查器-Checker，可以对模型的接口分析、元素、关系、Class、Use Case、图（ State diagram 、 Sequence diagram ）进行检查。