基于编排场景的Web服务相符性测试

发布时间：2018-06-18 04:14

本文选题：Web服务编排 + 场景　；参考：《北京工业大学》2014年硕士论文

【摘要】：Web服务是松散耦合的，可复用的软件模块，是一种在XML基础上发展起来的分布式计算技术，是一种新的网络服务，其目的是为在Internet上不同操作系统，，硬件平台和编程语言间集成应用软件提供支持，方便应用的实现和发布。随着Web服务的发展和广泛应用，人们发现Web服务的真正价值在于通过服务组合（Composition）使业务合作伙伴之间可以进行电子商务对话，提供增值服务的能力。为了实现共同的业务目标，Web服务编排指定了多个参与者之间的交互序列。如何测试编排规范和编排实现的相符性是一个重要的研究课题。为此，本文力图寻找方法和工具支持编排相符性的测试。在本文中，作者对编排场景进行精化，以获得更有效的测试场景，显著降低测试开销。具体的，根据编排场景中XMLSchema类型定义，将交互类型划分为子类型并将划分输入到组合工具Cascade中，得到一组变量的组合。将Cascade的输出转换为精化的类型树并对精化后的场景进行测试。为了实现基于编排场景的Web服务相符性测试，还需要解决测试数据（XML文档）的生成问题。基于精化后的编排场景本文提出了生成XML文档的方法。给出了由精化的类型树生成modified树和节点数据集的算法。为满足不同需要，提供了多种节点取值策略供选择。最后，本文介绍了作者开发的原型工具集以便自动化的生成测试数据，并设计了实验来说明测试框架的可行性。
[Abstract]:Web services are loosely coupled, reusable software modules, a distributed computing technology developed on the basis of XML, is a new network service, which aims at different operating systems on the Internet. Integrated application software between hardware platform and programming language provides support to facilitate the implementation and release of applications. With the development and wide application of Web services, it is found that the real value of Web services lies in the ability to provide value-added services by making e-commerce dialogues among business partners through service composition. In order to achieve common business objectives, web service orchestration specifies a sequence of interactions between multiple participants. How to test the conformance between orchestration specification and orchestration implementation is an important research topic. Therefore, this paper tries to find methods and tools to support orchestration compliance testing. In this paper, the author refines the orchestration scenarios to obtain more efficient test scenarios and significantly reduce the test overhead. Specifically, according to the XML Schema type definition in the orchestration scenario, the interaction type is divided into subtypes and the partition is input into the composition tool Cascade, and a set of variables is combined. The output of the Cascade is converted into a refined type tree and the refined scenario is tested. In order to realize the test of Web service conformity based on orchestration scenario, we also need to solve the problem of generating test data and XML document. Based on the refined orchestration scenario, this paper presents a method to generate XML documents. An algorithm for generating modified trees and node datasets from refined type trees is presented. In order to meet different needs, a variety of node selection strategies are provided. Finally, this paper introduces the prototype tool set developed by the author to generate test data automatically, and designs experiments to illustrate the feasibility of the test framework.
【学位授予单位】：北京工业大学
【学位级别】：硕士
【学位授予年份】：2014
【分类号】：TP393.09

【共引文献】