Simplifying and Isolating Failure-Inducing Input
IEEE Transactions on Software Engineering
Massive Stochastic Testing of SQL
VLDB '98 Proceedings of the 24rd International Conference on Very Large Data Bases
HDD: hierarchical delta debugging
Proceedings of the 28th international conference on Software engineering
Finding min-repros in database software
Proceedings of the Second International Workshop on Testing Database Systems
Minimizing database repros using language grammars
Proceedings of the 13th International Conference on Extending Database Technology
| Hi-index | 0.00 |
Debugging a database engine is an arduous task due to the complexity of the query workloads and systems. The first step in isolating a bug involves identifying a sequence of steps (or repro) that deterministically reproduces the problem. Repros are usually composed of various complex queries, which makes it very difficult to understand root causes and fix underlying bugs. Developers are thus burdened by the task of minimizing the repro as much as possible while still making it reproduce the original problem. In this paper we present FlexMin, a tool that automatically minimizes repros. FlexMin builds on previous repro minimization techniques, SIMP and delta-debugging, and makes two key contributions. First, FlexMin integrates previous approaches into a single, united technique that performs simplifications in a more focused manner. This approach is flexible and can incorporate hints to guide the search. Second, FlexMin introduces data minimization as a new facet in the minimization process, which is helpful when data is too large or sensitive to share in its entirety. We used FlexMin to isolate bugs in a commercial DBMS, and show that it consistently produces simpler repros more rapidly than prior techniques.