Web服务是松散耦合的，可复用的软件模块，是一种在XML基础上发展起来的分布式计算技术，是一种新的网络服务，其目的是为在Internet上不同操作系统，硬件平台和编程语言间集成应用软件提供支持，方便应用的实现和发布。随着Web服务的发展和广泛应用，人们发现Web服务的真正价值在于通过服务组合（Composition）使业务合作伙伴之间可以进行电子商务对话，提供增值服务的能力。为了实现共同的业务目标，Web服务编排指定了多个参与者之间的交互序列。如何测试编排规范和编排实现的相符性是一个重要的研究课题。为此，本文力图寻找方法和工具支持编排相符性的测试。在本文中，作者对编排场景进行精化，以获得更有效的测试场景，显著降低测试开销。具体的，根据编排场景中XMLSchema类型定义，将交互类型划分为子类型并将划分输入到组合工具Cascade中，得到一组变量的组合。将Cascade的输出转换为精化的类型树并对精化后的场景进行测试。为了实现基于编排场景的Web服务相符性测试，还需要解决测试数据（XML文档）的生成问题。基于精化后的编排场景本文提出了生成XML文档的方法。给出了由精化的类型树生成modified树和节点数据集的算法。为满足不同需要，提供了多种节点取值策略供选择。最后，本文介绍了作者开发的原型工具集以便自动化的生成测试数据，并设计了实验来说明测试框架的可行性。