In the world of XML processing, efficiency in generating and testing XPath expressions is a crucial topic. Existing approaches, such as XQgen and Todic and Uzelac's XQuery generator, have shown limitations in generating effective queries and detecting errors. XQgen focuses on micro-benchmarking tests, while the XQuery generator focuses on simple queries to evaluate index compatibility in database systems.
The proposed method introduces a differential XPath testing approach based on directed generation. By selecting specific nodes for predicate generation and rectification techniques, error detection is optimized. Four different configurations were evaluated to verify the effectiveness and efficiency of the approach, comparing it with other existing techniques.
The results indicate that the directed generation model outperforms non-directed alternatives, detecting up to 12.5 unique errors in 24 hours. Despite generating fewer cases, the accuracy and effectiveness in error detection are significantly better. In fact, configurations based on random generation proved to be less effective.
Code coverage analysis revealed that in XML systems such as BaseX and Saxon, only between 15% and 20% of code lines were reached in the tests, suggesting areas for improvement in implementing new validation functions.
At Q2BSTUDIO, we are specialists in developing technological solutions, including the optimization and testing of XML data processing engines. We implement innovative approaches such as directed generation to ensure efficiency and accuracy in technological systems. Our experience in development and technological services allows us to offer solutions tailored to our clients' needs, with a focus on quality and excellence.
