Automatic validation of XQuery programs
Jesús Manuel Almendros-Jiménez, Antonio Becerra-Terón · 2015
In this paper we present a tool for the automatic validation of XQuery programs. Firstly, the tool is able to detect wrong paths in XQuery expressions with respect to an XML Schema. Secondly, it makes possible the specification of input and output properties, as well as input-output properties (i.e., properties relating input and output data) of programs. Thirdly, the tool is able to filter randomly generated test cases with input properties, as well as to test output and input-output properties on randomly generated test cases and the corresponding output. It reports counterexamples when output or input-output properties are not satisfied. The tool has been implemented as an XQuery library which can be used from any XQuery interpreter.