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

Este ítem está sujeto a una licencia Creative Commons