Generating test cases specifications for BPEL compositions of web services using SPIN
Subject:
Web service compositions
Model-based testing
Publication date:
Abstract:
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 define a systematic procedure to select the test cases. The approach is applied to the “loan approval” sample composition
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 define a systematic procedure to select the test cases. The approach is applied to the “loan approval” sample composition
Description:
International Workshop on Web Services–Modeling and Testing (WS-MaTe 2006)
Collections
- Informática [767]
- Ponencias, Discursos y Conferencias [4013]