测试序列的优劣直接影响到测试的质量,如何生成优秀的测试序列已是测试领域中较为重要的研究方向。UML语言是近年来面向对象系统开发应用较为广泛的工具之一,它具有易于表达、定义良好,功能强大、普遍使用的特点。利用UML建立软件模型是目前使用较为广泛的方法。在测试领域中,UML的应用依然广泛。本文在这个背景下对基于形式化UML生成测试序列的方法、过程做了比较完整的研究。本文首先简要介绍了软件测试的一些基本知识如：测试的定义、重要性、目的、过程及方法,重点阐述了了面向对象软件测试技术及测试用例设计方法。接着介绍了UML的基本概念,UML中状态图、协作图的基本语法规则,并给出了将协作图形式化描述为有向图,状态树形式化描述为树形结构的方法。利用上述方法,不仅用形式化的数据结构描述了协作图与状态图而且还为生成测试序列奠定了基础。然后分析了扩展有限状态机的基本原理,并结合实例给出了将形式化的状态图转化为扩展有限状态机的方法。由于UML状态图存在层次和并发性,传统的流分析技术不能直接应用,所以应用扩展有限状态机将状态图展平,去除其层次及并发。之后利用最深度优先遍历算法遍历由扩展有限状态机转化的赋值测试树,生成测试序列。根据最深度优点算法能够首先生成发现错误概率较大的序列,并且使生成的测试序列能够满足状态迁移覆盖准则,降低了测试成本。最后给出了AUV控制系统的实例,证明了基于多元状态树生成测试序列的实用性。