Query evaluation techniques for large databases
ACM Computing Surveys (CSUR)
Calculating constraints on relational expression
ACM Transactions on Database Systems (TODS)
Symbolic execution and program testing
Communications of the ACM
A relational model of data for large shared data banks
Communications of the ACM
Introduction to constraint databases
ACM SIGMOD Record
Exploiting Uniqueness in Query Optimization
Proceedings of the Tenth International Conference on Data Engineering
Massive Stochastic Testing of SQL
VLDB '98 Proceedings of the 24rd International Conference on Very Large Data Bases
VLDB '05 Proceedings of the 31st international conference on Very large data bases
Simple and realistic data generation
VLDB '06 Proceedings of the 32nd international conference on Very large data bases
Generating Queries with Cardinality Constraints for DBMS Testing
IEEE Transactions on Knowledge and Data Engineering
Generating thousand benchmark queries in seconds
VLDB '04 Proceedings of the Thirtieth international conference on Very large data bases - Volume 30
Cogent: accurate theorem proving for program verification
CAV'05 Proceedings of the 17th international conference on Computer Aided Verification
Generating targeted queries for database testing
Proceedings of the 2008 ACM SIGMOD international conference on Management of data
Proceedings of the 2008 ACM SIGMOD international conference on Management of data
Query-based test generation for database applications
Proceedings of the 1st international workshop on Testing database systems
SVTe: a tool to validate database schemas giving explanations
Proceedings of the 1st international workshop on Testing database systems
Localization of distributed data in a CORBA-based environment
WSEAS Transactions on Information Science and Applications
Generating example data for dataflow programs
Proceedings of the 2009 ACM SIGMOD International Conference on Management of data
A framework for testing query transformation rules
Proceedings of the 2009 ACM SIGMOD International Conference on Management of data
Proceedings of the 2009 ACM SIGMOD International Conference on Management of data
Real application testing with database replay
Proceedings of the Second International Workshop on Testing Database Systems
Query-Aware Test Generation Using a Relational Constraint Solver
ASE '08 Proceedings of the 2008 23rd IEEE/ACM International Conference on Automated Software Engineering
ICFEM '09 Proceedings of the 11th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
A framework for testing DBMS features
The VLDB Journal — The International Journal on Very Large Data Bases
Automated SQL query generation for systematic testing of database engines
Proceedings of the IEEE/ACM international conference on Automated software engineering
Constrained anonymization of production data: a constraint satisfaction problem approach
SDM'10 Proceedings of the 7th VLDB conference on Secure data management
Generating databases for query workloads
Proceedings of the VLDB Endowment
Qex: symbolic SQL query explorer
LPAR'10 Proceedings of the 16th international conference on Logic for programming, artificial intelligence, and reasoning
Data generation using declarative constraints
Proceedings of the 2011 ACM SIGMOD International Conference on Management of data
Scalable analysis of conceptual data models
Proceedings of the 2011 International Symposium on Software Testing and Analysis
Generating program inputs for database application testing
ASE '11 Proceedings of the 2011 26th IEEE/ACM International Conference on Automated Software Engineering
FoIKS'12 Proceedings of the 7th international conference on Foundations of Information and Knowledge Systems
CODD: constructing dataless databases
DBTest '12 Proceedings of the Fifth International Workshop on Testing Database Systems
Targeted genetic test SQL generation for the DB2 database
DBTest '12 Proceedings of the Fifth International Workshop on Testing Database Systems
Scalable test data generation from multidimensional models
Proceedings of the ACM SIGSOFT 20th International Symposium on the Foundations of Software Engineering
Dynamic test data generation for data intensive applications
HVC'11 Proceedings of the 7th international Haifa Verification conference on Hardware and Software: verification and testing
Reversing statistics for scalable test databases generation
Proceedings of the Sixth International Workshop on Testing Database Systems
Guided test generation for database applications via synthesized database interactions
ACM Transactions on Software Engineering and Methodology (TOSEM)
UpSizeR: Synthetically scaling an empirical relational database
Information Systems
Efficient querying of inconsistent databases with binary integer programming
Proceedings of the VLDB Endowment
Hi-index | 0.00 |
Today, a common methodology for testing a database management system (DBMS) is to generate a set of test databases and then execute queries on top of them. However, for DBMS testing, it would be a big advantage if we can control the input and/or the output (e.g., the cardinality) of each individual operator of a test query for a particular test case. Unfortunately, current database generators generate databases independent of queries. As a result, it is hard to guarantee that executing the test query on the generated test databases can obtain the desired (intermediate) query results that match the test case. In this paper, we propose a novel way for DBMS testing. Instead of first generating a test database and then seeing how well it matches a particular test case (or otherwise use a trial-and-error approach to generate another test database), we propose to generate a query-aware database for each test case. To that end, we designed a query-aware test database generator called QAGen. In addition to the database schema and the set of basic constraints defined on the base tables, QAGen takes the query and the set of constraints defined on the query as input, and generates a query-aware test database as output. The generated database guarantees that the test query can get the desired (intermediate) query results as defined in the test case. This approach of testing facilitates a wide range of DBMS testing tasks such as testing of memory managers and testing the cardinality estimation components of query optimizers.