Mostrar el registro sencillo del ítem
Generating test cases specifications for BPEL compositions of web services using SPIN
dc.contributor.author | García Fanjul, José | |
dc.contributor.author | Tuya González, Pablo Javier | |
dc.contributor.author | Riva Álvarez, Claudio A. de la | |
dc.date.accessioned | 2015-07-10T09:08:02Z | |
dc.date.available | 2015-07-10T09:08:02Z | |
dc.date.issued | 2006 | |
dc.identifier.uri | http://hdl.handle.net/10651/31581 | |
dc.description | International Workshop on Web Services–Modeling and Testing (WS-MaTe 2006) | spa |
dc.description.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 | spa |
dc.language.iso | eng | spa |
dc.rights | CC Reconocimiento - No comercial - Sin obras derivadas 4.0 Internacional | |
dc.rights.uri | http://creativecommons.org/licenses/by-nc-nd/4.0/ | |
dc.subject | Web service compositions | spa |
dc.subject | Model-based testing | spa |
dc.title | Generating test cases specifications for BPEL compositions of web services using SPIN | spa |
dc.type | conference output | spa |
dc.rights.accessRights | open access | spa |
Ficheros en el ítem
Este ítem aparece en la(s) siguiente(s) colección(ones)
-
Informática [782]
-
Ponencias, Discursos y Conferencias [4028]