2024年5月26日发(作者：)

状态机 状态机 嵌套 uml工具

2019-06-18

状态机_状态机嵌套uml工具状态机_状态机嵌套uml工具

UML建模软件目前用的主要有3种：

商业版本：Telelogic TAU和Rational Rose

开源版本：StarUML Telelogic TAU与Rational Rose的功能很强，但是

需要买License。

StarUML就是希望能提供和TAU/Rose一样功能的开源版本。

目前使用起来还是不错的。

能熟练使用其中一个是软件设计人员的基本功。

1先看Telelogic TAU：

telelogic tau Telelogic Tau SDL Suite主要用于协议的设计、描述、

验证及实现，支持图形化的SDL编辑、在线仿真和验证、代码自动生成、

MSC(消息顺序图)编辑及测试用例(test case)自动生成等。SDL Suite由以下

几部分组成：

SDL Editor SDL编辑器，支持图形化的SDL编辑，同时提供一个在线检

查的分析器，可以立即标出编辑中的静态语法和语义错误。

SDL Simulator SDL仿真器，支持在开发环境下进行SDL系统的仿真运行，

仿真结果可自动生成MSC。仿真器还可以自动穷举搜索SDL系统的所有路径，

保证系统的每一个状态都是可达的。

SDL Validator SDL验证器，结合MSC验证系统行为是否与需求描述一致。

SDL Translator代码自动生成器，支持三种代码生成：第一种是无限制

的C代码生成器，支持一般的C和C++代码生成；第二种是优化的C代码生成

器，支持小型嵌入式系统的优化代码生成，能满足这种系统对代码效率、最小

内存和高性能的要求；第三种是CHILL代码生成器。由于在仿真和验证阶段使

用的代码与最后生成的代码是相同的，这就保证了测试系统与实际运行系统的

一致。

MSC Editor MSC编辑器，支持图形化的MSC编辑。

第 1 页

SDL Suite还支持与实际目标环境的集成。它包含一个运行库，提供SDL

系统与环境打交道的源代码，支持多种操作系统，开发者可以在单任务、多任

务和分布式系统之间进行选择。自动生成的代码加上指定操作系统的运行库源

代码，经过合适的C编译器编译连接，即可在实际环境中运行。

Telelogic Tau TTCN Suite可以作为通信协议的测试集生成工具，支持

协议一致性测试。TTCN Suite提供给测试工程师强大的TTCN编辑器、句法分

析器和编译器，可将测试方案转化为C代码，在测试设备上运行。

Telelogic Tau还提供了从SDL系统设计和MSC直接生成TTCN测试集的

功能。

Telelogic Tau3.0是Telelogic的支持uml2.0的建模工具，同时提供了

模型验证(Model Verifier)，代码生成(code generator)。这是个欧洲公司，

据说已经有14年的业内经验了。那个时候uml的版本还是负的2.0吧。

建模

比较容易使用。

最重要的是，它对模型的要求比较严格。比如序列图中的对象或者消息，

必须是已经定义的。否则会出错的。这样严格应该是为了代码生成和模型验证

吧。

Tau3.0有一种特殊的图，叫做text图，一般来说是一个类的方法的实现。

在text图里面有一个action symbol，就是一个类似输入框的东西，在里面

可以写代码。但是代码不是要用tau的语言来写的，不是c，也不是java。在

状态机图中，也可以画action symbol。另外。还有一个图形元素叫做text

symbol，也可以写代码。

为了及早检查出错误，tau有自动和手动check功能。跟ide里类似，比

如函数名没定义，变量没定义等等。手动检查，可以在要检查的元素上按右键

选择，或者使用快捷键f8。

好像没有timing图支持。

2.模型验证

这个应该是很多工具不具备的。

就是在uml模型上执行。要想进行模型验证和代码生成，至少需要类图

和状态机图。序列图活动图，和用例图不被使用，其他图根据需要有可能被使

用。需要的图和代码生成一样。

第 2 页