This article introduces a systematic approach to testing XML processors through differential testing, involving the generation of XML documents and XPath expressions to validate them. The strategy emphasizes the creation of queries that yield non-empty result sets, ensuring effectiveness in stress-testing XML processing systems. By iteratively constructing XPath expressions, this methodology seeks to uncover potential bugs across various engines, offering a comparative analysis of their performance based on effectiveness and efficiency metrics. The paper details both the procedural steps and evaluations of the implementations.
Our approach involves three main steps: generating an XML document, creating XPath expressions to validate, and executing these against various XML processors to detect bugs.
By constructing XPath expressions section-by-section with a focus on non-empty result sets, we stress-test the logic of XML processing engines effectively.
Collection
[
|
...
]