基于BPEL描述的Web服务组合回归测试研究

摘要

商业流程执行语言BPEL(BusinessProcessExecutionLanguage)正在成为Web服务组合方面新的标准，越来越多的工作流使用BPEL来建模。为了保证Web服务组合的质量和安全性，基于BPEL描述的Web服务组合的测试已经越来越重要。 目前，关于BPEL应用测试方面的方法，主要是将BPEL应用当成普通的Web服务，进行功能性的黑盒测试，或者对BPEL应用进行单元白盒测试，而关于BPEL回归测试方面的研究却很少。 本文在一些研究的基础上，对BPEL的回归测试提出了一种解决方案。 首先，将新老两份BPEL文件转化成BPEL活动流图BAFG(BPELActivityFlowGraph)。 然后将两份BAFG图相同路径进行对比，从而找到发生变化的活动。 从用例库中选择出经过该活动的老的测试用例，对Web服务组合进行测试，分析测试的结果，如有错误，修正并再次测试。 本文最后以贷款批复为例，对提出的方案可行性进行了验证。

目录

文摘

英文文摘

声明

第一章绪论

1.1研究背景

1.2研究现状

1.3本文研究工作及成果

1.4论文组织结构

第二章Web服务

2.1 Web服务产生的背景

2.2 Web服务的体系结构

2.3 Web Service协议栈

2.3.1简单对象访问协议

2.3.2 Web服务描述语言

2.3.3 Web服务描述发现和集成规范

第三章BPEL

3.1 BPEL的概念

3.2 BPEL结构

3.2.1 BPEL的主要属性

3.2.2 BPEL的主要元素

3.2.3活动

3.3 BPEL工作引擎

第四章回归测试理论

4.1概述

4.2回归测试的策略

4.2.1测试用例库的维护

4.2.2回归测试包的选择

4.2.3回归测试的基本过程

第五章Web服务组合回归测试的研究与设计

5.1方案

5.2 BAFG图定义

5.3 BPEL规范的活动流图构造

5.3.1 BPEL文件解析

5.3.2活动节点转换

5.3.3总过程描述

5.4 BPEL活动流图的对比

5.4.1相关概念

5.4.2 BFAG对比算法

5.4.3总过程描述

5.5测试用例包生成

5.6测试脚本的格式

5.7测试客户端

5.8复杂BPEL组合流程的讨论

第六章原型实现

6.1开发工具

6.2总体设计

6.3主要模块实现

6.3.1 BAFG构造算法实现

6.3.2 BAFG图对比算法实现

6.3.3测试用例包生成

6.3.4测试客户端

6.4实例

第七章未来工作

致谢

参考文献