基于服务需求的自动测试技术研究-计算机软件与理论专业论文.docxVIP

Automatic Test Technology Based On Demands Of Service A Thesis Submitted to Chongqing University in Partial Fulfillment of the Requirement for the Degree of Master of Engineering By Zheng Liping Supervised by Associate Prof. Li Shuangqing Major: Computer Software and Theory College of Computer Science of Chongqing University,Chongqing, China May, 2011 中文摘要 中文摘要 重庆大学硕士学位论文 重庆大学硕士学位论文 I I PAGE PAGE IV 摘 要 面向服务的体系结构 SOA 通过服务的形式将传统软件系统的功能对外部开 放，使得实现某个功能的服务被匹配、发现、组合和执行。传统 SOA 架构以服务 提供者为中心，而没有从服务消费者的需求角度来约束 Web 服务的功能。从服务 测试的角度看，对 Web 服务的测试重在对服务提供者的服务描述功能和性能的测 试，也无法考量服务消费者对服务的需求。 CCSOA 以服务消费者为中心，在满足传统 SOA 计算模式的同时，支持服务 消费者向服务需求注册中心发布单一 Web 服务的需求或整条工作流需求，让服务 提供者通过服务需求注册中心获知服务需求信息，完成相应的服务开发。本文以 CCSOA 为基础，研究服务消费者对服务需求的描述方法和测试 Web 服务的方法。 论文主要开展了以下工作： ①分析 CCSOA 架构的特点，提出一种服务需求描述语言（WSRDL）用于 CCSOA 下服务需求的描述。通过对 WSDL 语言进行扩展，增加服务需求的合约化 描述。通过正则表达式描述合约，在合约中嵌入测试支持元素，从而实现对服务 需求的描述。 ②提出一种以服务需求描述文档为基础的测试方法，用于解决 CCSOA 下单一 服务自动测试的问题。通过对服务需求合约文档的解析，自动构建针对合约文档 的有限状态自动机，生成测试数据，为 Web 服务的自动测试数据生成和测试过程 自动化提供了可行的方法。 ③提出一种以 BPEL4WS 语言为基础的服务工作流需求描述方法。制定了 BPEL4WS 文档到 UML 活动图的转换规则，研究工作流需求测试覆盖准侧通过测 试准则指导测试序列的选取，给出了满足测试覆盖准则的测试序列生成算法。 ④通过实验，对上述服务需求描述方法和服务测试方法进行了分析，验证了 上述方法的可行性。 关键词： CCSOA，服务需求描述，合约设计，服务测试 英文摘要 英文摘要 重庆大学硕士学位论文 重庆大学硕士学位论文 III III PAGE PAGE IV ABSTRACT Service-oriented architecture enables the traditional software system functions by implementing services which leads partial services can be matched, found and implemented. As the center of the traditional SOA, service providers do not restrict web-service from the perspective of consumers’ demands servicing. From the perspective of service testing, web service test focuses on the service provider’s description of service function and performance. However, the consumers’ demands for service could not be considered. The center of Consumer Centric Service Oriented Architecture is service consumers. CCSOA could assist consumers publish their requirements of single Web service or workflow with Web services when they are not able to find a si