Web服务因其强大的集成能力而受到广泛重视。单个Web服务提供的功能通常是有限的，因此实际应用中需要对网络上分布的Web服务进行组合以满足用户需求，这种组合的方法为Web服务测试带来了新的挑战。由于目前大多数Web服务组合是基于业务流程构建的，业务流程测试作为组合Web服务测试的一部分，越来越受到业界的关注。目前，对于业务流程测试所做的工作集中于通过形式化验证流程是否安全和符合需求，主要是检验流程的死锁情况和流程的可达性。组合服务是由服务组合语言编写的流程以及与流程交互的成员服务组成的有机整体，对于流程的描述文档应进行详尽的测试。　　 本课题采取变异的思想对Web组合服务工作流进行测试。基于OWL-S描述文档提供的流程信息设计了4种共15个变异算子，涵盖了流程设计过程中常见的错误。在本方法中，通过模拟错误，能够寻找有效的测试用例集合，且能够为测试过程提供衡量准则，最终达到对组合服务测试的目的。文中同时给出了变异测试框架，详细阐述了变异测试的步骤和部分功能部件的实现思想。　　 考虑到由来已久的变异测试的代价问题，文中提出了一个改进方法。该方法基于发掘变异体和测试用例之间的隐含联系，通过在测试过程中引入测试用例选择策略，使测试过程更加高效，付出的代价更少。实验证明，该方法在不影响测试效果的前提下，可以显著提高测试效率。