Generation of Conformance Test Suites for Compositions of Web Services Using Model Checking

Authors:
Jose Garcia-Fanjul;Claudio de la Riva;Javier Tuya
Affiliations:
University of Oviedo, Spain;University of Oviedo, Spain;University of Oviedo, Spain
Venue:
TAIC-PART '06 Proceedings of the Testing: Academic & Industrial Conference on Practice And Research Techniques
Year:
2006

Citing 0
Cited 2

MBT4Chor: A Model-Based Testing Approach for Service Choreographies

ECMDA-FA '09 Proceedings of the 5th European Conference on Model Driven Architecture - Foundations and Applications
Analytical quality assurance

Service research challenges and solutions for the future internet

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.