面向服务的体系架构SOA(Service Oriented Architecture)基于服务来组织计算资源,具有良好的互操作性和松耦合性,促进了分布式计算和软件技术的发展。它的主要内容Web服务的应用受到了广泛关注,但是单个的Web服务并不能很好地满足用户日益增长的需求,通过某种技术将现有的细粒度服务集成起来以提供功能更强大的服务,可以很好地解决这个问题。BPEL(Business Process Execution Language)正是这样一种语言技术,由XML编写,可用来描述Web服务之间的业务行为。为了保证Web服务组合的正确性,有必要对其进行全面、充分的测试,测试用例生成作为服务组合测试的第一阶段,其作用不可小觑,而测试用例的生成又依赖着测试准则的制定。服务组合正确性最直观的体现就是针对特定的输入能够得到预期的输出,变量的定义与使用之间的关联是最好的体现输入与输出之间关系的方式。因此以数据流覆盖为测试准则对确保服务组合的正确性是直接有效的。目前常见的服务组合测试用例生成大多针对控制流展开,特别针对数据流相关测试准则而开展的服务组合测试研究还不多。因此本文针对数据流中的ALL-USES准则,提出一种服务组合测试用例生成方法。论文主要工作包括以下几个方面:(1)提出一种可扩展控制流图EBFG(Extended BPEL Flow Graph)模型,用该模型可以很好地刻画服务组合的BPEL流程,并给出BPEL向EBFG模型的转换方法;(2)改进传统的数据流分析技术,用改进后的方法对建模所得EBFG模型进行数据流分析,最终获得满足ALL-USES准则的测试路径及路径上的约束条件;(3)基于测试路径及约束条件,完成遗传算法的设计,使用遗传算法为服务组合生成有效测试数据,并将测试数据、其覆盖的测试路径及预期输出结果合成测试用例,以XML的形式给出;(4)简单完成工具Parse BPEL Tool的开发,工具支持服务组合建模、数据流分析、测试数据生成以及测试用例合成,最后通过一个贷款审批服务组合的实验案例证明本文所提方法的有效性。