吴晓龙，贲可荣

(海军工程大学计算机工程系，湖北 武汉 430033)

软件模型是对软件行为和软件结构的抽象描述。软件行为可用系统输入序列、活动、条件、输出逻辑或数据流进行描述，软件结构则使用组件图、部署图等进行描述[1]。UML是一种可视化的建模语言，它能让系统的构造者用标准的、易于理解的方式建立系统蓝图，并提供一种机制，以便于不同人之间有效地共享和交流设计结果[2]。UML包括一些可以相互结合为图表的图形元素，目的是用多个视图来展示一个系统，这组视图被称为一个模型。

系统的需求分析阶段通常使用时序图来描述系统运行的场景，而状态图展示系统中某个对象在其生存周期内由于事件和触发事件而发生状态改变的过程，状态图更有利于发现对象交互的动态错误。史耀馨等在文献[3]中介绍了一种从UML顺序图中合成状态图的方法;袁海等在文献[4]中提出了从UML顺序图生成状态图的一种方法，但在添加语义约束时，对于时序图中消息的发送和接收对象状态变量的变化未明确定义;马伟等在文献[5]中提出了基于UML时序图的集成测试序列自动生成方法，然后使用WP方法构造测试序列，但只是从单一顺序图生成状态机，未考虑相关联顺序图;YUE在文献[6]中提出一种从用例模型自动转换成UML活动图的方法，在文献[7]中提出一种从用例模型自动转化成UML状态图的方法，并提出了一种转换工具aToucan，由于工具的复杂性，使得转换过程不易控制。……