The category-partition method for specifying and generating fuctional tests
Communications of the ACM
Constructing test suites for interaction testing
Proceedings of the 25th International Conference on Software Engineering
Test data generation for relational database applications
Test data generation for relational database applications
Testing database transactions with AGENDA
Proceedings of the 27th international conference on Software engineering
An AGENDA for testing relational database applications: Research Articles
Software Testing, Verification & Reliability
An intensional approach to the specification of test cases for database applications
Proceedings of the 28th international conference on Software engineering
QAGen: generating query-aware test databases
Proceedings of the 2007 ACM SIGMOD international conference on Management of data
Dynamic test input generation for database applications
Proceedings of the 2007 international symposium on Software testing and analysis
Query-aware shrinking test databases
Proceedings of the Second International Workshop on Testing Database Systems
ICFEM '09 Proceedings of the 11th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
Constraint-based test database generation for SQL queries
Proceedings of the 5th Workshop on Automation of Software Test
Dynamic symbolic database application testing
Proceedings of the Third International Workshop on Testing Database Systems
A unit test approach for database schema evolution
Information and Software Technology
Qex: symbolic SQL query explorer
LPAR'10 Proceedings of the 16th international conference on Logic for programming, artificial intelligence, and reasoning
Database state generation via dynamic symbolic execution for coverage criteria
Proceedings of the Fourth International Workshop on Testing Database Systems
Generating program inputs for database application testing
ASE '11 Proceedings of the 2011 26th IEEE/ACM International Conference on Automated Software Engineering
Automated verification and testing of user-interactive undo features in database applications
Software Testing, Verification & Reliability
Test input generation for database programs using relational constraints
DBTest '12 Proceedings of the Fifth International Workshop on Testing Database Systems
ConSMutate: SQL mutants for guiding concolic testing of database applications
ICFEM'12 Proceedings of the 14th international conference on Formal Engineering Methods: formal methods and software engineering
Guided test generation for database applications via synthesized database interactions
ACM Transactions on Software Engineering and Methodology (TOSEM)
| Hi-index | 0.00 |
This paper describes a new approach to generating inputs to database applications. The goal is to generate inputs that satisfy certain properties specified by the tester and that also cause queries to return non-empty result sets and cause updates and inserts to execute without violating uniqueness or referential integrity constraints. Based on the SQL statements in the application, test generation queries are generated; execution of these queries yields test inputs with the desired properties. The test generation algorithm is described and illustrated by an example. The technique has been implemented and experimental evaluation is in progress.