Academic Journals Database
Disseminating quality controlled scientific knowledge

Automatic WSDL-guided Test Case Generation for PropEr Testing of Web Services

ADD TO MY LIST
 
Author(s): Leonidas Lampropoulos | Konstantinos Sagonas

Journal: Electronic Proceedings in Theoretical Computer Science
ISSN 2075-2180

Volume: 98;
Issue: Proc. WWV 2012;
Start page: 3;
Date: 2012;
Original page

ABSTRACT
With web services already being key ingredients of modern web systems, automatic and easy-to-use but at the same time powerful and expressive testing frameworks for web services are increasingly important. Our work aims at fully automatic testing of web services: ideally the user only specifies properties that the web service is expected to satisfy, in the form of input-output relations, and the system handles all the rest. In this paper we present in detail the component which lies at the heart of this system: how the WSDL specification of a web service is used to automatically create test case generators that can be fed to PropEr, a property-based testing tool, to create structurally valid random test cases for its operations and check its responses. Although the process is fully automatic, our tool optionally allows the user to easily modify its output to either add semantic information to the generators or write properties that test for more involved functionality of the web services.
RPA Switzerland

Robotic Process Automation Switzerland

    

Tango Rapperswil
Tango Rapperswil