FlexMin: a flexible tool for automatic bug isolation in DBMS software

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, unified 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 minimizati...

• Type: Journal
• Year: 2011
• Where: SIGMOD
• Authors: Kristi Morton, Nicolas Bruno
• Keywords: Arduous Task, Database, Minimization Techniques, SIGMOD 2011, Subject Descriptors