Testing Service Composition Using TGSE tool

Dung Cao (1) , Patrick Felix (1) , Richard Castanet (1) , Ismail Berrada (2)

1 LaBRI - Laboratoire Bordelais de Recherche en Informatique
2 L3I - Laboratoire Informatique, Image et Interaction - EA 2118

This paper proposes an approach to test (actively and passively) a Web service composition described in BPEL using the TGSE (Test Generation, Simulation and Emulation), that is a tool to generate the test cases based on the Communicating System (CS) and implementing of a generic algorithm of generation. For the first step, the BPEL specification is transformed into Timed Extended Finite State Machines (TEFSM) model which enable modeling of BPEL behaviour, timing constraints, its data variables and clocks. On the active testing approach, test case generation is based on simulation where the exploration is guided by test purpose that is a part of CS (i.e. it is also modeled by a TEFSM). Otherwise, the passive testing approach, the TGSE tool will verify a trace that is either correct or incorrect with specification. This tool also works with the timing constraints on clocks (local and global). It covers test cases not only with transitions but also with values of data variables. Our method is illustrated by an example.

Domaines: Calcul formel [cs.SC]

Dung Cao, Patrick Felix, Richard Castanet, Ismail Berrada. Testing Service Composition Using TGSE tool. IEEE 3rd International Workshop on Web Services Testing (WS-Testing 2009). In conjunction with 7th IEEE International Conference on Web Services (ICWS 2009), Jul 2009, Los Angeles, United States. WS-Testing 2009 papers will be included in the proceedings of SERVICES 2009 (Part I), which will be. ⟨hal-00408517⟩