基于UML2.0动态视图的Web服务模型测试方法及其应用

摘要

如何保证并不断提高软件质量是软件工程研究的一个核心问题。软件测试能够有效地发现软件中隐藏的缺陷，是保证软件质量的重要方法。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服务测试中的应用起到一定的推动作用。

目录

文摘

英文文摘

声明

第一章绪论

1.1研究背景与意义

1.2国内外研究现状

1.3本文主要研究内容

1.4本文组织结构

第二章基于模型的Web服务测试方法

2.1 Web服务测试概述

2.2基于模型的测试方法分析

2.3基于模型的Web服务测试方法分析

第三章基于UML2.0动态视图的Web服务测试模型

3.1 UML2.0动态视图概述和扩展机制分析

3.1.1 UML2.0动态视图概述

3.1.2 UML2.0扩展机制分析

3.2基于UML2.0活动图的Web服务业务流程测试模型

3.2.1基于UML2.0活动图描述BPEL基本活动

3.2.2基于UML2.0活动图描述BPEL结构化活动

3.3 UML2.0通信图的Web服务交互模型

3.4本章小结

第四章基于UML2.0动态视图的Web服务测试方法

4.1 UML2.0在软件测试各阶段的应用

4.2基于UML2.0活动图测试Web服务业务流程的过程

4.2.1 UML2.0活动图的形式化语义

4.2.2 UML2.0活动图的测试覆盖准则

4.2.3 UML2.0活动图的测试用例生成方法

4.3基于UML2.0通信图的Web服务对象交互测试过程

4.3.1 UML2.0通信图测试方法的概念和定义

4.3.2 UML2.0通信图测试覆盖准则

4.3.3构造通信树

4.3.4断言选择

4.3.5断言转换

4.3.6生成测试用例

4.4本章小结

第五章实例研究

5.1订票售票系统说明

5.2基于UML2.0活动图测试订票业务流程

5.2.1基于UML2.0活动图构建订票业务流程测试模型

5.2.2基于订票业务流程测试模型生成测试用例

5.3基于UML2.0通信图测试售票系统的对象交互

5.3.1基于UML2.0通信图构建售票系统测试模型

5.3.2基于售票系统测试模型生成测试用例

5.4本章小结

第六章相关工作比较

第七章总结与展望

7.1本文工作总结

7.2下一步工作展望

参考文献

攻读硕士学位期间参加的科研项目和发表（录用）的论文

致谢