SOA是当前软件发展的大趋势，而这其中最核心的技术就是Web服务。随着Web服务技术不断地发展和广泛的应用，需要运用测试技术来保障Web服务正确有效地运行。然而由于Web服务采用了新的体系结构和核心协议，其测试方法也有别于以往的传统软件测试或网络协议测试，所以有必要对其测试方法和技术进行研究。WS-BPEL是服务组合中广泛使用的标准，对其进行结构测试的现有研究不能完全表达其并发结构、补偿和失败处理的复杂语义。本文以此为出发点，给出了详细的一致性测试的系统方法包括：生成参与者消息序列，可达树的生成和参与者的测试序列组合方法；提出了在测试中要求服务开发者发布服务的协同模型，引入了测试用例仓库，而且动态采集测试数据，提高了可测试性；并针对WS-BPEL测试的覆盖准则进行了研究，提出了“可接受结果”的覆盖准则，利用基于约束规则的t-way组合算法生成满足约束的集合。最后，本文以一个网上订购服务过程为例，系统地阐述了采用该方法生成测试用例的过程并分析了其有效性。