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

Xin ZHANG,Dongmei LIU,Hong ZHU,Ying CHEN,Bin LAN,Yuhu SUN

DOI: https://doi.org/10.3969/j.issn.1672-9722.2018.01.025

2018-01-01

Abstract: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 compo?sition has been an active research area. A significant progress has been made in automatically generating test cases from formal alge?braic 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 of the existence of multiple competing approaches to implement Web services is that the automated testing tool has to deal with ad hoc interfaces of the third party web services. It is a non-trivial technical challenge. This paper proposes a test execution engine,which implements a test service invocation mechanism that applies to both the so-called Big Web Services,which are based on WSDL and SOAP 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 efficien?cy of test executions. Our experiment results show that the proposed test execution engine is feasible and efficient.