Abstract | ||
---|---|---|
Web services are a very 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. To ensure these properties though, intensive 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. In practise, the compromise between effort and cost leads too often to smaller and less exhaustive testing than it would be desirable. In this paper we present a framework to test web services based on their WSDL specification and certain constraints written in OCL, following a black-box approach and using property-based testing. This combination of strategies allows us to face the problem of generating good quality test suites and test cases by automatically deriving those from the web service formal description. To illustrate the use of our framework, we present an industrial case study: a distributed system which serves media contents to customers' TV screens. |
Year | DOI | Venue |
---|---|---|
2013 | 10.1007/978-3-642-45005-1_37 | Lecture Notes in Computer Science |
Keywords | Field | DocType |
Property-Based Testing,Web Services,WSDL,OCL | Data mining,Property based testing,Computer science,WS-I Basic Profile,Formal description,Software system,Web modeling,Test case,Web service,WS-Policy,Database | Conference |
Volume | ISSN | Citations |
8274 | 0302-9743 | 0 |
PageRank | References | Authors |
0.34 | 15 | 4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Macías López | 1 | 6 | 1.52 |
Henrique Ferreiro | 2 | 4 | 1.46 |
Miguel A. Francisco | 3 | 12 | 1.96 |
Laura M. Castro | 4 | 50 | 10.39 |