Testing XPath queries using model checking

dc.contributor.author	Riva Álvarez, Claudio A. de la
dc.contributor.author	Tuya González, Pablo Javier
dc.contributor.author	García Fanjul, José
dc.date.accessioned	2015-05-21T07:58:51Z
dc.date.available	2015-05-21T07:58:51Z
dc.date.issued	2006-03
dc.identifier.uri	http://hdl.handle.net/10651/30907
dc.description	System Testing and Validation (STV). Potsdam	spa
dc.description.abstract	XML’s rapid adoption as the data representation standard in web based systems is increasing the interest in applying XML query languages (as XPath) to access XML repositories. This technology entails new challenges related to testing, mainly derived from the hierarchical data representation in XML documents and the expressiveness of the query language. In this paper, we present a technique for the automatic generation of test cases for XPath expressions using the SPIN model checker. Both the XML schema and XPath query are previously modeled in the SPIN language and the test cases are obtained from the counterexamples that it generates	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.title	Testing XPath queries using model checking	spa
dc.type	conference output	spa
dc.rights.accessRights	open access

This item is protected with a Creative Commons License