Sciweavers

Share
TAICPART
2006
IEEE

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

10 years 8 months ago
Generation of Conformance Test Suites for Compositions of Web Services Using Model Checking
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.
José García-Fanjul, Claudio de la Ri
Added 12 Jun 2010
Updated 12 Jun 2010
Type Conference
Year 2006
Where TAICPART
Authors José García-Fanjul, Claudio de la Riva, Javier Tuya
Comments (0)
books