Delta Debugging

Andreas Zeller: From automated Testing to Automated Debugging, automatische Konstruktion von

• minimalen Bugreports
• Fehlerursachen (bei großen Patches)

Modell (Intervallverkleinerung, vgl. binäre Suche)

• test : Set<Patch> -> { OK, FAIL, UNKNOWN }
• dd(low,high,n)=(x,y)
  • Vorbedingung low ⊆ high,
    test(low)=OK, test(high)=FAIL
  • Nachbedingung low ⊆ x ⊆ y ⊆ high,
    test(x)=OK, test (y)=FAIL,
    size(y - x) „möglichst klein``