loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
2008 Sixth European Conference on Web Services
Automatic Timed Test Case Generation for Web Services Composition
November 12-November 14
ISBN: 978-0-7695-3399-5
ASCII Text
x 
 
Mounir Lallali, Fatiha Zaidi, Ana Cavalli, Iksoon Hwang, "Automatic Timed Test Case Generation for Web Services Composition," Web Services, European Conference on, pp. 53-62, 2008 Sixth European Conference on Web Services, 2008.
 
 
BibTex
x
 
@article{ 10.1109/ECOWS.2008.14,
author = {Mounir Lallali and Fatiha Zaidi and Ana Cavalli and Iksoon Hwang},
title = {Automatic Timed Test Case Generation for Web Services Composition},
journal ={Web Services, European Conference on},
volume = {0},
year = {2008},
isbn = {978-0-7695-3399-5},
pages = {53-62},
doi = {http://doi.ieeecomputersociety.org/10.1109/ECOWS.2008.14},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Web Services, European Conference on
TI - Automatic Timed Test Case Generation for Web Services Composition
SN - 978-0-7695-3399-5
SP53
EP62
A1 - Mounir Lallali,
A1 - Fatiha Zaidi,
A1 - Ana Cavalli,
A1 - Iksoon Hwang,
PY - 2008
KW - BPEL
KW - Web Service
KW - IF Language
KW - Conformance Testing
KW - Test Case Generation
KW - Test Purposes
VL - 0
JA - Web Services, European Conference on
ER -
 
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.
Index Terms:
BPEL, Web Service, IF Language, Conformance Testing, Test Case Generation, Test Purposes
Citation:
Mounir Lallali, Fatiha Zaidi, Ana Cavalli, Iksoon Hwang, "Automatic Timed Test Case Generation for Web Services Composition," ecows, pp.53-62, 2008 Sixth European Conference on Web Services, 2008
Usage of this product signifies your acceptance of the Terms of Use.