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

Download Now
Provided by: Institute of Electrical & Electronic Engineers
Topic: Software
Format: PDF
Testing compositions of web services is complex, due to their distributed nature and asynchronous behavior. However, research in this field is scarce. The authors 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.
Download Now

Find By Topic