Testing Service Composition Using TGSE tool

Abstract : 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.
Type de document :
Communication dans un congrès
IEEE Computer Society Press. 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. IEEE Computer Society Press., WS-Testing 2009 papers will be included in the proceedings of SERVICES 2009 (Part I), which will be, 2009
Liste complète des métadonnées

Littérature citée [27 références]  Voir  Masquer  Télécharger

https://hal.archives-ouvertes.fr/hal-00408517
Contributeur : Patrick Felix <>
Soumis le : jeudi 30 juillet 2009 - 18:57:35
Dernière modification le : jeudi 11 janvier 2018 - 06:20:16
Document(s) archivé(s) le : mardi 15 juin 2010 - 20:16:52

Fichier

ICWS09.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-00408517, version 1

Collections

Citation

Dung Cao, Patrick Felix, Richard Castanet, Ismail Berrada. Testing Service Composition Using TGSE tool. IEEE Computer Society Press. 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. IEEE Computer Society Press., WS-Testing 2009 papers will be included in the proceedings of SERVICES 2009 (Part I), which will be, 2009. 〈hal-00408517〉

Partager

Métriques

Consultations de la notice

210

Téléchargements de fichiers

170