| Title | Claps | Level | Year | L/Y |
|---|---|---|---|---|
|
Generating Test Cases Specifications for BPEL Compositions of Web Services Using SPIN
J. García-Fanjul, J. Tuya, C. Riva
Generating test cases for compositions of web services is complex, due to their distributed nature and asynchronous behaviour. In this paper, a formal verification tool ‐ the SPIN model checker ‐ is used to generate test suite specifications for com…
Generating test cases for compositions of web services is complex, due to their distributed nature and asynchronous behaviour. 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 defin e a systematic procedure to select the test cases. The approach is applied to the “loan ap proval” sample composition.
|
0
|
6 | 2006 |
Social Media Posts