Test-Case Generation for SQL Nested Queries with Existential Conditions

Rafael Caballero, José Luzon-Martin, Antonio Tenorio-Fornes


This paper presents a test-case generator for SQL queries.
Starting with a set of related SQL views that can include existential subqueries in the conditions,
the technique finds a database instance that can be used as a test-case for the target view.
The proposal reduces the problem of generating the test-cases to a Constraint Satisfaction Problem using finite domain constraints. In particular, we present a new approach for existential conditions that makes possible to find test-cases for a wider set of queries.
The soundness and correctness of the technique with respect to a simple operational semantics for SQL queries without aggregates is proven. The theoretical ideas have been implemented in an available prototype.

Full Text:


DOI: http://dx.doi.org/10.14279/tuj.eceasst.55.823

DOI (PDF): http://dx.doi.org/10.14279/tuj.eceasst.55.823.820

Hosted By Universitätsbibliothek TU Berlin.