Leveraging Semantic Web Service Descriptions for Validation by Automated Functional Testing

Authors:
Ervin Ramollari;Dimitrios Kourtesis;Dimitris Dranidis;Anthony J. Simons
Affiliations:
South East European Research Centre (SEERC), Research Centre of the University of Sheffield and CITY College, Thessaloniki, Greece 54624;South East European Research Centre (SEERC), Research Centre of the University of Sheffield and CITY College, Thessaloniki, Greece 54624;Computer Science Department, CITY College, Affiliated Institution of the University of Sheffield, Thessaloniki, Greece 54624;Department of Computer Science, University of Sheffield, Sheffield, UK S1 4DP
Venue:
ESWC 2009 Heraklion Proceedings of the 6th European Semantic Web Conference on The Semantic Web: Research and Applications
Year:
2009

Citing 11
Cited 2

Simulation, verification and automated composition of web services

Proceedings of the 11th international conference on World Wide Web
Automata, Languages, and Machines

Automata, Languages, and Machines
Model-based functional conformance testing of web services operating on persistent data

Proceedings of the 2006 workshop on Testing, analysis, and verification of web services and applications
Ontology-Based Test Case Generation for Testing Web Services

ISADS '07 Proceedings of the Eighth International Symposium on Autonomous Decentralized Systems
Semantic Web Services, Part 1

IEEE Intelligent Systems
Testing Software Design Modeled by Finite-State Machines

IEEE Transactions on Software Engineering
Semantic Web Services, Part 2

IEEE Intelligent Systems
Analysis of Effects- and Preconditions-Based Service Representation in Ubiquitous Computing Environments

ICSC '08 Proceedings of the 2008 IEEE International Conference on Semantic Computing
Generating test cases for web services using extended finite state machine

TestCom'06 Proceedings of the 18th IFIP TC6/WG6.1 international conference on Testing of Communicating Systems
Automatic conformance testing of web services

FASE'05 Proceedings of the 8th international conference, held as part of the joint European Conference on Theory and Practice of Software conference on Fundamental Approaches to Software Engineering
Audition of web services for testing conformance to open specified protocols

Proceedings of the 2004 international conference on Architecting Systems with Trustworthy Components

An extensible architecture for run-time monitoring of conversational web services

Proceedings of the 3rd International Workshop on Monitoring, Adaptation and Beyond
A systematic review on the functional testing of semantic web services

Journal of Systems and Software

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.