Mostrar el registro sencillo del ítem
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 |
Ficheros en el ítem
Este ítem aparece en la(s) siguiente(s) colección(ones)
-
Informática [751]
-
Ponencias, Discursos y Conferencias [3878]