基于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服务测试中的应用起到一定的推动作用。

论文目录

• 中文摘要
• Abstract
• 第一章 绪论
• 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 下一步工作展望
• 参考文献
• 攻读硕士学位期间参加的科研项目和发表（录用）的论文
• 致谢