Journal of the ACM (JACM)
Principles of database and knowledge-base systems, Vol. I
Principles of database and knowledge-base systems, Vol. I
View update translation via deduction and annotation
Lecture notes in computer science on ICDT '88
New Generation Computing
Reactive consistency control in deductive databases
ACM Transactions on Database Systems (TODS)
New Generation Computing
Database design with user-definable modelling concepts
Data & Knowledge Engineering
Horn clauses and database dependencies
Journal of the ACM (JACM)
An assessment of the prototyping approach to information systems development
Communications of the ACM
Approaches to Prototyping
Conceptual Transaction Modeling
IEEE Transactions on Knowledge and Data Engineering
A Uniform Approach to Constraint Satisfaction and Constraint Satisfiability in Deductive Databases
EDBT '88 Proceedings of the International Conference on Extending Database Technology: Advances in Database Technology
Checking Consistency of Database Constraints: a Logical Basis
VLDB '86 Proceedings of the 12th International Conference on Very Large Data Bases
Benchmarking Database Systems A Systematic Approach
VLDB '83 Proceedings of the 9th International Conference on Very Large Data Bases
A Hyperresolution-Based Proof Procedure and its Implementation in Prolog
GWAI '87 Proceedings of the 11th German Workshop on Artificial Intelligence
SATCHMO: A Theorem Prover Implemented in Prolog
Proceedings of the 9th International Conference on Automated Deduction
Consistent database sampling as a database prototyping approach
Journal of Software Maintenance: Research and Practice
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
Parallel execution of test runs for database application systems
VLDB '05 Proceedings of the 31st international conference on Very large data bases
Fault-Based Testing of Database Application Programs with Conceptual Data Model
QSIC '05 Proceedings of the Fifth International Conference on Quality Software
Proceedings of the 2006 ACM SIGMOD international conference on Management of data
Simple and realistic data generation
VLDB '06 Proceedings of the 32nd international conference on Very large data bases
A framework for efficient regression tests on database applications
The VLDB Journal — The International Journal on Very Large Data Bases
Semantic errors in SQL queries: A quite complete list
Journal of Systems and Software - Special issue: Quality software
Dynamic test input generation for database applications
Proceedings of the 2007 international symposium on Software testing and analysis
Scalable automatic test data generation from modeling diagrams
Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering
Multi-RQP: generating test databases for the functional testing of OLTP applications
Proceedings of the 1st international workshop on Testing database systems
Generating XML structure using examples and constraints
Proceedings of the VLDB Endowment
Scalable satisfiability checking and test data generation from modeling diagrams
Automated Software Engineering
A formal framework for database sampling
Information and Software Technology
Scalable analysis of conceptual data models
Proceedings of the 2011 International Symposium on Software Testing and Analysis
ESWC'11 Proceedings of the 8th extended semantic web conference on The semanic web: research and applications - Volume Part II
Scalable test data generation from multidimensional models
Proceedings of the ACM SIGSOFT 20th International Symposium on the Foundations of Software Engineering
Hi-index | 0.00 |
To address the problem of generating test data for a set of general consistency constraints, we propose a new two-step approach: First the interdependencies between consistency constraints are explored and a generator formula is derived on their basis. During its creation, the user may exert control. In essence, the generator formula contains information to restrict the search for consistent test databases. In the second step, the test database is generated. Here, two different approaches are proposed. The first adapts an already published approach to generating finite models by enhancing it with requirements imposed by test data generation. The second, a new approach, operationalizes the generator formula by translating it into a sequence of operators, and then executes it to construct the test database. For this purpose, we introduce two powerful operators: the generation operator and the test-and-repair operator. This approach also allows for enhancing the generation operators with heuristics for generating facts in a goal-directed fashion. It avoids the generation of test data that may contradict the consistency constraints, and limits the search space for the test data. This article concludes with a careful evaluation and comparison of the performance of the two approaches and their variants by describing a number of benchmarks and their results.