Automatic Timed Test Case Generation for Web Services Composition - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2008

Automatic Timed Test Case Generation for Web Services Composition

Résumé

In order to specify the composition of Web services, WSBPEL was defined as an orchestrating language by an international standards consortium. In this paper, we propose a method to test composite Web service described in BPEL. As a first step, the BPEL specification is transformed into an Intermediate Format (IF) model that is based on timed automata, which enables modeling of timing constraints.We defined a conformance relation between two timed automata(of implementation and specification) and then proposed an algorithm to generate test cases. Test case generation is based on simulation where the exploration is guided by test purposes. The proposed method was implemented in a set of tools which were applied to a common Web service as a case study.
Fichier non déposé

Dates et versions

hal-00865982 , version 1 (25-09-2013)

Identifiants

Citer

Mounir Lallali, Zaidi Fatiha, Cavalli Rosa Ana, Hwang Iksoon. Automatic Timed Test Case Generation for Web Services Composition. The IEEE Sixth European Conference on Web Services (ECOWS'08), Nov 2008, Dublin, Ireland. pp.53-62, ⟨10.1109/ECOWS.2008.14⟩. ⟨hal-00865982⟩
81 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More