Leveraging Semantic Web Service Descriptions for Validation by Automated Functional Testing

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.

[1]  Dimitris Dranidis,et al.  Formal Verification of Web Service Behavioural Conformance through Testing , 2007 .

[2]  Katalin Tarnay,et al.  Testing of Communicating Systems , 1999, IFIP — The International Federation for Information Processing.

[3]  Amit M. Paradkar,et al.  Model-based functional conformance testing of web services operating on persistent data , 2006, TAV-WEB '06.

[4]  Jerry R. Hobbs,et al.  DAML-S: Semantic Markup for Web Services , 2001, SWWS.

[5]  Samuel Eilenberg,et al.  Automata, languages, and machines. A , 1974, Pure and applied mathematics.

[6]  John Domingue,et al.  Semantic Web Services, Part 1 , 2007, IEEE Intelligent Systems.

[7]  Sungwon Kang,et al.  Generating Test Cases for Web Services Using Extended Finite State Machine , 2006, TestCom.

[8]  Andrea Polini,et al.  Audition of Web Services for Testing Conformance to Open Specified Protocols , 2004, Architecting Systems with Trustworthy Components.

[9]  Gordon D. Plotkin,et al.  A structural approach to operational semantics , 2004, J. Log. Algebraic Methods Program..

[10]  Florentin Ipate,et al.  An integration testing method that is proved to find all faults , 1997, Int. J. Comput. Math..

[11]  Amit P. Sheth,et al.  Web Service Semantics - WSDL-S , 2005 .

[12]  Steffen Becker,et al.  Performance Prediction of Component-Based Systems A Survey from an Engineering Perspective , 2006 .

[13]  Juan-Zi Li,et al.  Ontology-Based Test Case Generation for Testing Web Services , 2007, Eighth International Symposium on Autonomous Decentralized Systems (ISADS'07).

[14]  Gordon D. Plotkin,et al.  The origins of structural operational semantics , 2004, J. Log. Algebraic Methods Program..

[15]  Sheila A. McIlraith,et al.  Simulation, verification and automated composition of web services , 2002, WWW.

[16]  Reiko Heckel,et al.  Automatic Conformance Testing of Web Services , 2005, FASE.

[17]  Tsun S. Chow,et al.  Testing Software Design Modeled by Finite-State Machines , 1978, IEEE Transactions on Software Engineering.

[18]  Tran Cao Son,et al.  Semantic Web Services , 2001, IEEE Intell. Syst..

[19]  Dieter Fensel,et al.  Semantic Web Services, Part 2 , 2007, IEEE Intelligent Systems.

[20]  Dimitris Dranidis,et al.  Discovery and Selection of Certified Web Services Through Registry-Based Testing and Verification , 2008, Virtual Enterprises and Collaborative Networks.

[21]  Perdita Stevens,et al.  Modelling Recursive Calls with UML State Diagrams , 2003, FASE.

[22]  Aitor Urbieta,et al.  Analysis of Effects- and Preconditions-Based Service Representation in Ubiquitous Computing Environments , 2008, 2008 IEEE International Conference on Semantic Computing.

[23]  Florentin Ipate,et al.  Correct systems - building a business process solution , 1998, Applied computing.