loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Testing: Academic & Industrial Conference - Practice And Research Techniques (TAIC PART'06)
Generation of Conformance Test Suites for Compositions of Web Services Using Model Checking
Windsor, United Kingdom
August 29-August 31
ISBN: 0-7695-2672-1
ASCII Text
x 
 
Jos? Garc?a-Fanjul, Claudio de la Riva, Javier Tuya, "Generation of Conformance Test Suites for Compositions of Web Services Using Model Checking," Practice And Research Techniques, Testing: Academic & Industrial Conference on, pp. 127-130, Testing: Academic & Industrial Conference - Practice And Research Techniques (TAIC PART'06), 2006.
 
 
BibTex
x
 
@article{ 10.1109/TAIC-PART.2006.11,
author = {Jos? Garc?a-Fanjul and Claudio de la Riva and Javier Tuya},
title = {Generation of Conformance Test Suites for Compositions of Web Services Using Model Checking},
journal ={Practice And Research Techniques, Testing: Academic & Industrial Conference on},
volume = {0},
year = {2006},
isbn = {0-7695-2672-1},
pages = {127-130},
doi = {http://doi.ieeecomputersociety.org/10.1109/TAIC-PART.2006.11},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Practice And Research Techniques, Testing: Academic & Industrial Conference on
TI - Generation of Conformance Test Suites for Compositions of Web Services Using Model Checking
SN - 0-7695-2672-1
SP127
EP130
A1 - Jos? Garc?a-Fanjul,
A1 - Claudio de la Riva,
A1 - Javier Tuya,
PY - 2006
KW - null
VL - 0
JA - Practice And Research Techniques, Testing: Academic & Industrial Conference on
ER -
 
Jos? Garc?a-Fanjul, University of Oviedo, Spain
Claudio de la Riva, University of Oviedo, Spain
Javier Tuya, University of Oviedo, Spain
Testing compositions of web services is complex, due to their distributed nature and asynchronous behaviour. However, research in this field is scarce. We propose a new testing method for compositions of web services. A formal verification tool (the SPIN model checker) will be used to automatically generate test suites for compositions specified in an industry standard language: BPEL. Adequacy criteria will be employed to define a systematic procedure to select the test cases. Preliminary results have been obtained using a transition coverage criterion.
Citation:
Jos? Garc?a-Fanjul, Claudio de la Riva, Javier Tuya, "Generation of Conformance Test Suites for Compositions of Web Services Using Model Checking," taic-part, pp.127-130, Testing: Academic & Industrial Conference - Practice And Research Techniques (TAIC PART'06), 2006
Usage of this product signifies your acceptance of the Terms of Use.