|
|
| |
|
模型检查器 Checker |
| |
| |
|
|
|
|
| |
|
目录
用户手册：模型检查器
1.模型检查器Checker简介
2.元素检查
3.Class检查
4.Use Case 检查
5.图检查
6.State diagram 检查
7.Sequence diagram 检查
|
|
| 1、模型检查器Checker简介 |
| 《Checker》是由火龙果软件开发的EA插件，目的是增强EA的建模功能，目前提供的功能如下： |
|
| 下面对《模型检查器》的功能进行简要介绍，视频：《模型检查器-Checker》 |
| 2、接口分析 |
| Checker 可以对系统接口进行分析，生成接口列表
|
 |
| 3、图生成表 |
| 3.1 类图->类字典 |
| 可以对类图分析，生成类字典。
|
 |
| 3.2 用例图->用例列表 |
| 可以对用例图分析，生成用例列表。
|
 |
| 3.3 活动图->活动列表 |
| 可以对活动图分析，生成活动列表。
|
 |
| 3.4 状态图图->状态转移表 |
| 可以对状态图分析，生成状态转移表。
|
 |
| 3.5 顺序图->消息列表 |
| 可以对顺序图分析，生成消息列表。
|
 |
| 4、元素检查 |
Checker 可以对元素进行检查，可以检查元素的如下方面
• 未命名：列出所有没有名字的元素列表
• 重名：列出所有重名的元素列表。 |
 |
| 5、Class检查 |
 |
| 6、Use Case 检查 |
 |
| 7、图检查 |
 |
| 8、State diagram 检查 |
 |
| 9、Sequence diagram 检查 |
 |
|
|
如果您需要购买模型检查器 Checker，欢迎联系我们：
• teacher@uml.net.cn ，010-62670969
|
|
|
| |
|
| |
