Repositorio
Cómo publicar
Recursos
FAQs

Generating test cases specifications for BPEL compositions of web services using SPIN

Autor(es) y otros:
García Fanjul, JoséAutoridad Uniovi; Tuya González, Pablo JavierAutoridad Uniovi; Riva Álvarez, Claudio A. de laAutoridad Uniovi
Palabra(s) clave:

Web service compositions

Model-based testing

Fecha de publicación:
2006
Resumen:

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

Descripción:

International Workshop on Web Services–Modeling and Testing (WS-MaTe 2006)

URI:
http://hdl.handle.net/10651/31581
Colecciones
Ficheros en el ítem
Thumbnail
Compartir
Estadísticas de uso
Estadísticas de uso
Metadatos
Mostrar el registro completo del ítem
CC Reconocimiento - No comercial - Sin obras derivadas 4.0 Internacional
Este ítem está sujeto a una licencia Creative Commons