Web服务为网络服务提供了统一的接口和调用模式,而服务组合的目标是在SOA的架构内实现对已有服务的重用、生成新服务,它将是Web服务技术继续发展的技术动力和研究热点,目前对服务组合方面的研究主要集中在组合的描述和协作机制上。随着服务组合的发展,确保它的质量也越来越重要。WS-BPEL是服务组合中广泛使用的标准,对其进行结构测试的现有研究不能完全表达其并发结构和同步结构的复杂语义,本文以此为出发点,研究WS-BPEL结构测试的测试用例生成方法。本文提出了一个描述WS-BPEL的测试模型BCCFG,该模型能够表示WS-BPEL的并发结构和同步结构,并且能够明确表达其复杂语义,例如死亡路径消除,对不执行活动的link的处理等。本文给出了WS-BPEL到BCCFG的转换规则;提出了针对BCCFG的测试覆盖准则,用于指导测试用例的选取;给出了满足并发路径覆盖的测试路径生成算法,以及层次化生成测试路径的算法。在测试路径自动生成的基础上,结合已有的测试数据自动生成的研究,本文设计了一个基于BCCFG的WS-BPEL测试用例自动生成工具,它从WS-BPEL自动生成测试用例,包括测试路径和测试数据,以XML文件的形式持久化,便于WS-BPEL测试执行工具对其进行自动分析和执行。