随着信息技术的发展,软件规模不断扩大,如何保证和提高软件质量成为软件工程最为关心的问题之一。软件测试能够有效地发现软件中的缺陷和故障,是保证软件质量的关键技术。随着UML模型的广泛使用,基于UML模型的软件测试越来越受到人们的关注。本文对基于UML顺序图的测试用例生成方法和程序多态性的测试问题进行了深入研究。由于UML顺序图侧重于以图形化的方式展示对象之间的交互,从UML顺序图直接生成测试用例并不方便,需要将其转化为等价的形式,在此基础上生成测试用例。本文首先针对原有IRCFG(函数间约束的控制流图)模型没有结合类图信息,以及不能测试程序多态性的不足,提出了PCIRCFG(多态性扩展的结合类信息的函数间约束的控制流图)模型,并进行了形式化的描述。同时提出了适用于PCIRCFG的三种测试覆盖准则,根据PCIRCFG和覆盖准则即可生成测试用例。然后,本文设计和实现了一个基于UML顺序图的测试用例自动生成工具。文中给出了工具的主要结构,着重研究了各个功能模块的设计和实现过程中所涉及的关键技术,包括工具中XMI Schema的定义,UML模型的数据文件到XMI的转换,PCIRCFG模型的数据结构定义及构造算法的实现,完全PCIRCFG路径覆盖准则所对应的测试用例自动生成算法的实现等。最后,通过饮料销售机系统的例子说明了该基于UML顺序图测试方法的有效性。