如何保证并不断提高软件质量是软件工程研究的一个核心问题。软件测试能够有效地发现软件中隐藏的缺陷,是保证软件质量的重要方法。Web服务是分布式计算领域的新兴技术,具有良好的开放性、高度可集成性等优点;UML2.0已经成为事实上的建模语言标准,基于UML2.0构建软件测试模型,能够清楚并完整地描述被测试系统的真实信息,便于测试人员的理解和测试工作的尽早展开。为了提高Web服务的可靠性,本文提出了基于UML2.0活动图和通信图构建Web服务测试模型,在得到的测试模型基础上进行Web服务测试的方法。本文的主要思想是将Web服务业务流程以及Web服务对象交互转化为可视化的动态测试模型。该方法扩展了UML2.0活动图,使其能够描述BPEL的语法元素和行为特性;同时,给出UML2.0活动图形式化定义及其测试覆盖准则,对测试用例生成的深度优先搜索算法加以约束,合理地减少了测试用例的数量,提高了测试的效率和精确性;利用UML2.0通信图的优点描述Web服务对象的交互过程,通过将UML2.0通信图转化为通信树,对通信树中的断言进行选择转换,结合所定义的UML2.0通信图测试覆盖准则,使用求解函数最小值的方法生成测试用例。本文通过一个基于Web服务技术的订票售票系统实例来说明本文研究内容的可行性。本文的研究是将基于模型的软件测试技术应用到提高Web服务可靠性的一个尝试。通过基于UML2.0动态视图构建Web服务测试模型,并结合形式化方法和测试覆盖准则,本文的研究可以降低Web服务测试成本,提高Web服务测试效率和自动化程度,对UML2.0在Web服务测试中的应用起到一定的推动作用。