Sciweavers

Share
ECOWS
2008
Springer

Automatic Timed Test Case Generation for Web Services Composition

11 years 10 months ago
Automatic Timed Test Case Generation for Web Services Composition
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.
Mounir Lallali, Fatiha Zaïdi, Ana R. Cavalli,
Added 19 Oct 2010
Updated 19 Oct 2010
Type Conference
Year 2008
Where ECOWS
Authors Mounir Lallali, Fatiha Zaïdi, Ana R. Cavalli, Iksoon Hwang
Comments (0)
books