Sciweavers

Share
FLOPS
2010
Springer

Applying Constraint Logic Programming to SQL Test Case Generation

9 years 5 months ago
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.
Rafael Caballero, Yolanda García-Ruiz, Fern
Added 18 May 2010
Updated 18 May 2010
Type Conference
Year 2010
Where FLOPS
Authors Rafael Caballero, Yolanda García-Ruiz, Fernando Sáenz-Pérez
Comments (0)
books