White Rose University Consortium logo
University of Leeds logo University of Sheffield logo York University logo

Leveraging Semantic Web Service Descriptions for Validation by Automated Functional Testing

Ramollari, Ervin, Kourtesis, Dimitrios, Dranidis, Dimitris and Simons, Anthony J.H. (2009) Leveraging Semantic Web Service Descriptions for Validation by Automated Functional Testing. In: Aroyo, Lora , Traverso, Paolo, Ciravegna, Fabio, Cimiano, Philipp, Heath, Tom, Hyvonen, Eero, Mizoguchi, Riichiro, Oren, Eyal, Sabou, Marta and Simperl, Elena, (eds.) The Semantic Web: Research and Applications. Lecture Notes in Computer Science, 5554/2 . Springer , Berlin / Heidelberg , pp. 593-607. ISBN 978-3-642-02120-6

[img] Text

Download (280Kb)


Recent years have seen the utilisation of Semantic Web Service descriptions for automating a wide range of service-related activities, with a primary focus on service discovery, composition, execution and mediation. An important area which so far has received less attention is service validation, whereby advertised services are proven to conform to required behavioural specifications. This paper proposes a method for validation of service-oriented systems through automated functional testing. The method leverages ontology-based and rule-based descriptions of service inputs, outputs, preconditions and effects (IOPE) for constructing a stateful EFSM specification. The specification is subsequently utilised for functional testing and validation using the proven Stream X-machine (SXM) testing methodology. Complete functional test sets are generated automatically at an abstract level and are then applied to concrete Web services, using test drivers created from the Web service descriptions. The testing method comes with completeness guarantees and provides a strong method for validating the behaviour of Web services.

Item Type: Book Section
Copyright, Publisher and Additional Information: The original publication is available at www.springerlink.com © Springer-Verlag Berlin Heidelberg 2009. This is an author produced version of the published paper. Uploaded in accordance with the publisher's self-archiving policy.
Keywords: Semantic Web Services, Web service testing, Service Validation
Institution: The University of Sheffield
Academic Units: The University of Sheffield > University of Sheffield Research Centres and Institutes > South East European Research Centre (Sheffield)
The University of Sheffield > Faculty of Engineering (Sheffield) > Department of Computer Science (Sheffield)
Depositing User: Mr Dimitrios Kourtesis
Date Deposited: 10 Mar 2010 17:08
Last Modified: 08 Feb 2013 17:00
Published Version: http://dx.doi.org/10.1007/978-3-642-02121-3_44
Status: Published
Publisher: Springer
Refereed: Yes
Identification Number: 10.1007/978-3-642-02121-3_44
URI: http://eprints.whiterose.ac.uk/id/eprint/10537

Actions (repository staff only: login required)