Paper Info
Title
Turning web services descriptions into quickcheck models for automatic testing
Abstract
In this work, we face the problem of generating good quality test suites and test cases for web services. We present a framework to test web services based on their formal description, following a black-box approach and using Property-Based Testing. Web services are a popular solution to integrate components when building a software system, or to allow communication between a system and third-party users, providing a flexible, reusable mechanism to access its functionalities. Testing of web services is a key activity: we need to verify their behaviour and ensure their quality as much as possible, as efficiently as possible. By automatically deriving QuickCheck models from its WSDL description and its OCL semantic constraints, we enable generation and execution of great amounts of automatically generated test cases. Thus, we avoid the usual compromise between effort and cost, which too often leads to smaller and less exhaustive test suites than desirable. To illustrate the advantages of our framework, we present an industrial case study: a distributed system which serves media contents customers' TV screens.
Year
DOI
Venue
2013
10.1145/2505305.2505306
Erlang Workshop
Keywords
Field
DocType
quickcheck model,property-based testing,test case,exhaustive test suite,wsdl description,good quality test suite,automatic testing,web services description,formal description,web service,ocl semantic constraint,software system,model based testing,ocl,web services,erlang
Computer science,Erlang (programming language),WS-I Basic Profile,Automatic testing,Formal description,Software system,Model-based testing,Test case,Web service,Database
Conference
Citations 
PageRank 
References 
4
0.45
18
Authors
4
Name
Order
Citations
PageRank
Miguel A. Francisco1121.96
Macías López261.52
Henrique Ferreiro341.46
Laura M. Castro45010.39