[发明专利]一种基于单子技术的Web服务测试数据自动生成方法

说明书

技术领域

本发明给出了一种基于单子和QuickCheck技术的Web服务自动测试框架，解决了用户进行Web服务功能测试时，测试用例的自动生成问题，属于Web服务的测试领域。

背景技术

Web服务（Web Service，简称WS）是一种部署在Web上的对象，它们建立在以XML（可扩展的标记语言）为主的且开放的Web规范技术基础上，因此具有比任何现有的对象技术更好的开放性，是建立可互操作的分布式应用程序的新平台。Web平台是一套标准，它定义了应用程序如何在Web上实现互操作性，我们可以用任何语言，在任何平台上编写需要的Web服务。

Web服务平台主要采用四个技术：

1.XML（可扩展的标记语言）：Web服务平台中表示数据的基本格式，它解决了数据表示的问题，但它没有定义怎么扩展这套数据类型；

2.SOAP（简单对象访问协议）：提供了标准的RPC方法来调用Web服务，SOAP规范中定义了SOAP消息的格式，以及怎样通过HTTP协议来使用SOAP；

3.WSDL（Web服务描述文档）：它是基于XML的，用于描述Web服务及其操作，参数和返回值类型的语言，一些最新的开发工具既能根据Web服务来生成WSDL文档，又能导入WSDL文档，生成调用相应Web服务的代码；

4.UDDI（通用描述、描述和集成）：它是由Ariba、IBM、微软等公司倡导的，其目的是在网上自动查找Web服务。

基于Web的系统测试与传统的软件测试不同，它不但需要检查验证是否按照设计的要求运行，而且还要测试系统在不同用户的浏览器端的显示是否合适。重要的是，还要从最终用户的角度进行安全性和可用性测试。然而，Internet和Web媒体的不可预见性使测试基于Web的系统变得困难。

当前Internet的快速发展和普及使得网络越来越开放、动态和多变，在这样的环境下实现各类资源的共享和集成就成为了计算机软件技术面临的重要挑战之一。为了解决在分布、动态、异构环境下，数据、应用和系统集成的问题，面向服务计算在传统的面向对象、基于构件的开发、分布式对象以及Web技术的基础上，提出了一种新的基于Internet的软件开发、部署和集成的模式。由于服务的分布性、协同性、自主性和动态性的特点，使得基于服务的系统开发在根本上不同于传统的软件开发的模式，传统的软件开发依赖于特定的程序开发语言、程序开发环境和运行环境，但即使分布式系统架构如CORBA、DCOM、J2EE为实现基于标准的系统互连互通做出了一定的努力，但系统构建之间还都必须遵循相同的接口约束。

面向服务的系统开发以服务作为基本的组成要素，服务是一种部署在Internet上的提供特定计算能力的应用软件，只发布可以通过标准的Internet协议访问并调用的接口定义，而隐藏了技术实现的细节。由于Internet开放性、服务及服务协同的动态演化、运行环境多变等特点，存在多种不确定的因素，使得服务的安全性、可靠性、可用性、时效性等可信性质难以得到保证，而测试能提高用户对服务的可信度。

随着面向产品的体系结构逐渐向面向服务的体系结构转变，服务软件的测试技术日趋重要，但是传统的软件测试技术难以适应面向服务的技术发展。面向服务作为一种新的计算模式，目前尚缺乏完善的理论基础。面向服务的测试技术还处在起步阶段，主要针对Web服务的实现，从模型检测和测试两个方面探讨相关协议和描述的正确性。

当前的Web服务面临着动态灵活性和可组合重用性等挑战，因此Web服务测试时用例形式化描述及其自动生成将能很好地缓解这些压力，然而以往的测试技术不能根据特定的数据类型进行测试数据的自动生成，或者只能自动生成一小部分类型的测试数据，本专利从另一角度出发，使用了Haskell语言的单子技术和QuickCheck模块，能进行简单类型以及用户自定义类型数据的自动生成并进行自动化测试，其测试结果包括访问是否成功和所获取的反馈SOAP消息的相关内容。

参考文献。

发明内容

技术问题：本发明的目的是提供一种基于单子技术的Web服务测试数据自动生成方法，并设计和实现了服务测试单子等，故可方便对Web服务的性质进行描述和测试，以期从一定程度上解决Web服务测试所面临的动态灵活性和可组合重用性等挑战。