English español

Repositorio de la Universidad de Oviedo. > Producción Bibliográfica de UniOvi: RECOPILA > Ponencias, Discursos y Conferencias >

Please use this identifier to cite or link to this item: http://hdl.handle.net/10651/31581

Title: Generating test cases specifications for BPEL compositions of web services using SPIN
Author(s): García Fanjul, José
Tuya González, Pablo Javier
Riva Álvarez, Claudio A. de la
Keywords: Web service compositions
Model-based testing
Issue date: 2006
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
Description: International Workshop on Web Services–Modeling and Testing (WS-MaTe 2006)
URI: http://hdl.handle.net/10651/31581
Appears in Collections:Ponencias, Discursos y Conferencias

Files in This Item:

File Description SizeFormat
generation.pdf145,49 kBAdobe PDFView/Open

Exportar a Mendeley

This item is licensed under a Creative Commons License
Creative Commons

Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.


Base de Datos de Autoridades Biblioteca Universitaria Consultas / Sugerencias