Applying constraint logic programming to SQL test case generation

Authors:
Rafael Caballero;Yolanda García-Ruiz;Fernando Sáenz-Pérez
Affiliations:
Departamento de Sistemas Informáticos y Computación, Universidad Complutense de Madrid, Spain;Departamento de Sistemas Informáticos y Computación, Universidad Complutense de Madrid, Spain;Departamento de Sistemas Informáticos y Computación, Universidad Complutense de Madrid, Spain
Venue:
FLOPS'10 Proceedings of the 10th international conference on Functional and Logic Programming
Year:
2010

Citing 13
Cited 2

Formal semantics of SQL queries

ACM Transactions on Database Systems (TODS)
Constraint-Based Automatic Test Data Generation

IEEE Transactions on Software Engineering
Software unit test coverage and adequacy

ACM Computing Surveys (CSUR)
A note on the translation of SQL to tuple calculus

ACM SIGMOD Record
An extended relational algebra with control over duplicate elimination

PODS '82 Proceedings of the 1st ACM SIGACT-SIGMOD symposium on Principles of database systems
A Multi-Set Extended Relational Algebra - A Formal Approach to a Practical Issue

Proceedings of the Tenth International Conference on Data Engineering
Automatic Generation of Database Instances for White-box Testing

COMPSAC '01 Proceedings of the 25th International Computer Software and Applications Conference on Invigorating Software Development
Using an SQL coverage measurement for testing database applications

Proceedings of the 12th ACM SIGSOFT twelfth international symposium on Foundations of software engineering
Dynamic test input generation for database applications

Proceedings of the 2007 international symposium on Software testing and analysis
Introduction to Software Testing

Introduction to Software Testing
Database Systems: The Complete Book

Database Systems: The Complete Book
Automatic Generation of Test Inputs for Mercury

Logic-Based Program Synthesis and Transformation
Full predicate coverage for testing SQL database queries

Software Testing, Verification & Reliability

DES: A Deductive Database System

Electronic Notes in Theoretical Computer Science (ENTCS)
Outer Joins in a Deductive Database System

Electronic Notes in Theoretical Computer Science (ENTCS)

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.