随着软件开发从传统的结构化开发到面向对象的开发过程,以及最近提出的模型驱动的架构开发,对软件测试产生很大的影响,同时也对软件测试的研究与实践带来新的挑战。以构件系统、分布式软件、嵌入式软件等为代表的异构软件系统正在成为当前软件发展的一个主要趋势,由于这些异构软件在硬件平台、软件平台上的多模式特点导致这类软件在开发和测试中存在着大量特殊性,对软件测试也提出了新的问题,研究适合于异构软件特点测试技术已成为当前亟待解决的重要问题。 UML作为建模语言事实上的标准,近年来被学术界和工业界广泛地用于软件系统建模。从测试角度看,这些模型是获取系统结构和行为信息的来源,因而是测试生成的理想基础,用这些模型驱动测试是很自然的想法,使得测试工作可以尽早开始,及时发现和排除软件开发过程中引入的缺陷。但目前还没有标准的或者是普遍接受的方法,而且测试过程中能够得到的自动化程度依赖于规约或设计的精确性。 本文对UML动态模型中的顺序图、活动图、协作图适用范围进行研究,分析它们可作为哪些测试层次的测试模型,得出如下结论:(1)UML顺序图可以作为系统测试和集成测试的测试模型;(2)UML活动图模型具有描述系统工作流程和并行活动的能力,这使得UML活动图模型可作为系统测试的测试模型。UML活动图模型可对系统从系统级、子系统级到类级的不同层次进行建模,因此UML活动图模型也可以指导不同层次的测试,包括系统级的功能测试、集成测试、以及对象类的单元测试;(3)UML协作图可以作为集成测试的测试模型,在研究传统的集成测试和基础上,针对异构软件系统特点,本文提出了