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/30907

Title: Testing XPath queries using model checking
Author(s): Riva Álvarez, Claudio A. de la
Tuya González, Pablo Javier
García Fanjul, José
Issue date: Mar-2006
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
Description: System Testing and Validation (STV). Potsdam
URI: http://hdl.handle.net/10651/30907
Appears in Collections:Ponencias, Discursos y Conferencias

Files in This Item:

File Description SizeFormat
stv2006-xpathtesting.pdf553,74 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