A family of test adequacy criteria for database-driven applications
Proceedings of the 9th European software engineering conference held jointly with 11th ACM SIGSOFT international symposium on Foundations of software engineering
Using an SQL coverage measurement for testing database applications
Proceedings of the 12th ACM SIGSOFT twelfth international symposium on Foundations of software engineering
Testing database transactions with AGENDA
Proceedings of the 27th international conference on Software engineering
Fault-Based Testing of Database Application Programs with Conceptual Data Model
QSIC '05 Proceedings of the Fifth International Conference on Quality Software
Proving the Safety of SQL Queries
QSIC '05 Proceedings of the Fifth International Conference on Quality Software
Understanding software application interfaces via string analysis
Proceedings of the 28th international conference on Software engineering
Testing software modelling tools using data mutation
Proceedings of the 2006 international workshop on Automation of software test
A practical guide to SQL white-box testing
ACM SIGPLAN Notices
Semantic errors in SQL queries: A quite complete list
Journal of Systems and Software - Special issue: Quality software
Information and Software Technology
Dynamic test input generation for database applications
Proceedings of the 2007 international symposium on Software testing and analysis
Constraint-based test database generation for SQL queries
Proceedings of the 5th Workshop on Automation of Software Test
Scalable analysis of conceptual data models
Proceedings of the 2011 International Symposium on Software Testing and Analysis
Applying constraint logic programming to SQL test case generation
FLOPS'10 Proceedings of the 10th international conference on Functional and Logic Programming
Test input generation for database programs using relational constraints
DBTest '12 Proceedings of the Fifth International Workshop on Testing Database Systems
Diagnosing faults in embedded queries in database applications
Proceedings of the 2012 Joint EDBT/ICDT Workshops
Hi-index | 0.00 |
Testing is a critical activity for database application programs as faults if undetected could lead to unrecoverable data loss. Database application programs typically contain statements written in an imperative programming language with embedded data manipulation commands, such as SQL. However relatively little study has been made in the testing of database application programs. In particular, few testing techniques explicitly consider the inclusion of database instances in the selection of test cases and the generation of test data input. In this paper, we study the generation of database instances that respect the semantics of SQL statements embedded in a database application program. The paper also describes a supporting tool which generates a set of constraints. These constraints collectively represent a property against which the program is tested. Database instances for program testing can be derived by solving the set of constraints using existing constraint solvers.