Applying Constraint Logic Programming to SQL Test Case Generation

We present a general framework for generating SQL query test cases using Constraint Logic Programming. Given a database schema and a SQL view defined in terms of other views and schema tables, our technique generates automatically a set of finite domain constraints whose solutions constitute the test database instances. The soundness and correctness of the technique w.r.t. the semantics of Extended Relational Algebra is proved. Our setting has been implemented in an available tool covering a wide range of SQL queries, including views, subqueries, aggregates and set operations.

• Type: Conference
• Year: 2010
• Where: FLOPS
• Authors: Rafael Caballero, Yolanda García-Ruiz, Fernando Sáenz-Pérez
• Keywords: Constraint Logic Programming, FLOPS 2010, Hardware, SQL Query Test, Test Database Instances