Testing Web Services Composition using the TGSE Tool

Dung Cao (1) , Patrick Félix (1) , Richard Castanet (1) , Ismaïl 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) Web services composition described in BPEL using TGSE (Test Generation, Simulation and Emulation), that is a tool for generating test cases for Communicating Systems (CS). TGSE implements a generic generation algorithm allowing either test cases derivation or traces checking. It supports the description of one or several components with data and temporal constraints. First, in order to model the BPEL behaviors, the timing constraints, and data variables, the BPEL specification is transformed into the Timed Extended Finite State Machines (TEFSM) model. As our framework can handle both active and passive testing, on the one hand test cases are obtained by stimulating the CS. In this case, the exploration is guided by the use of test purposes modeled by TEFSM (a test purpose is considered as a part of the CS). On the other hand, TGSE can check whether a trace is valid according the specification or not. Finally, the Loan Web Service is used as a case study.

Mots clés: test; verification; Web services

Domaines: Modélisation et simulation

Dung Cao, Patrick Félix, Richard Castanet, Ismaïl Berrada. Testing Web Services Composition using the TGSE Tool. WS-Testing 2009, Jul 2009, Los Angeles, United States. pp.187-194. ⟨hal-00997862⟩