Generating Test Cases Specifications for BPEL Compositions of Web Services Using SPIN

Download Now
Provided by: University of Oulu
Topic: Software
Format: PDF
From the inception of the Web, a growing number of companies have tried to use it as a new commercial channel. Generating test cases for compositions of web services is complex, due to their distributed nature and asynchronous behavior. In this paper, a formal verification tool - the SPIN model checker - is used to generate test suite specifications for compositions specified in BPEL. A transition coverage criterion is employed to define a systematic procedure to select the test cases. The approach is applied to the \"Loan approval\" sample composition.
Download Now

Find By Topic