Towards Model-Based Testing of Web Services

Complex interactions between Web Services involve coordinated sequences of operations. Clients of the provided services must be aware of the underlying coordination protocol to smoothly participate in such a coordinated setup. In this paper we discuss on a running example how such protocols may also serve as the input for Model-Based Testing of Web Services. We propose to use Symbolic Transition Systems and the rich underlying testing theory to approach modelling and testing the coordination. We further indicate where theoretical and technical gaps exist and point to several research issues.

[1]  Hendrik Brinksma,et al.  Testing multi input-output real-time systems (Extended version) , 2005 .

[2]  Xiang Fu,et al.  Analysis of interacting BPEL web services , 2004, WWW '04.

[3]  Gustavo Alonso,et al.  Web Services: Concepts, Architectures and Applications , 2009 .

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

[5]  Ed Brinksma,et al.  Testing Real-Time Multi Input-Output Systems , 2005, ICFEM.

[6]  Andrea Polini,et al.  The audition framework for testing Web services interoperability , 2005, 31st EUROMICRO Conference on Software Engineering and Advanced Applications.

[7]  Jan Tretmans,et al.  Test Generation with Inputs, Outputs and Repetitive Quiescence , 1996, Softw. Concepts Tools.

[8]  Andrea Polini,et al.  The audition framework for testing Web services interoperability , 2005 .

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

[10]  S. E. Brodie.  New York, New York, USA , 1996 .

[11]  Lex Heerink,et al.  Ins and Outs in Refusal Testing , 1998 .

[12]  Thierry Jéron,et al.  TGV : theory , principles and algorithms A tool for the automatic synthesis of conformance test cases for non-deterministic reactive systems , 2004 .

[13]  Nicolae Goga,et al.  Formal Test Automation: A Simple Experiment , 1999, IWTCS.

[14]  Jan Tretmans,et al.  Test Generation Based on Symbolic Specifications , 2004, FATES.