基于代数规约的Web服务自动测试执行引擎

A Test Execution Engine for Automated Web Services Testing Based on Algebraic Specifications

随着面向服务计算的迅速发展,Web服务测试扮演着越来越重要的角色,尤其是在Web服务动态发现和组合的过程中,通过对第三方提供的服务进行自动测试已成为一个研究热点。近年来,从Web服务的形式化代数规约自动生成测试用例和自动检验测试结果的正确性等方面的研究都取得了实质性进展。但是,由于Web服务接口的多样性,服务调用方式不一致,如何将测试用例自动地转换成对第三方Web服务的测试性调用请求是一个尚未解决的技术难点,已成为完成Web服务自动测试的主要障碍之一。以现有的研究工作为基础,在分析主流Web服务接口的基础上定义了通用的服务调用机制,提出一个通用的面向Web服务的测试执行引擎框架,以支持包括WSDL/SOAP为基础的Web服务和RESTful Web服务的自动测试执行过程,并将线性测试调用序列并行化,自动生成并发测试脚本,以提高测试执行效率。实验结果表明提出的测试执行引擎框架是可行的,且可高效地自动完成并行化的测试序列。

With the wide acceptance of service oriented computing by the industry,the past years have seen a rapid growth of research on testing Web Services. Especially,automated testing of third party services during service dynamic discovery and composition has been an active research area. A significant progress has been made in automatically generating test cases from formal algebraic specifications and automatically checking the correctness of test results against formal specifications of web services. However,how to automatically execute test cases on dynamically discovered web services is still an unsolved open problem. A consequence ofthe existence of multiple competing approaches to implement Web services is that the automated testing tool has to deal with ad hocinterfaces of the third party web services. It is a non-trivial technical challenge. This paper proposes a test execution engine,whichimplements a test service invocation mechanism that applies to both the so-called Big Web Services,which are based on WSDL andSOAP standards,and the so-called RESTful web services,which are based directly on the REST architecture of HTTP 2. More-over,the test execution engine also parallelizes linear sequential test cases to generate concurrent test scripts to improve the efficiency of test executions. Our experiment results show that the proposed test execution engine is feasible and efficient.