Eingrenzung von Fehlerumständen mit Delta Debugging

• Applicant: Professor Dr.-Ing. Gregor Snelting
• Subject Area: Theoretical Computer Science
• Term: from 2001 to 2005
• Project identifier: Deutsche Forschungsgemeinschaft (DFG) - Project number 5292208

Um Fehler in einem Programm beheben zu können, ist es zunächst notwendig, die fehlerverursachenden Umstände des Fehlers zu bestimmen. Das Delta-Debugging-Verfahren bestimmt diese Fehlerumstände automatisch, indem es das Programm unter wechselnden Bedingungen systematisch testet. Ergebnis ist eine minimale Menge von Fehlerumständen, die dem Programmierer unmittelbar die Fehlerursache zeigt - als fehlerverursachende Programmänderungen, Eingaben oder ausgeführte Programmanweisungen. Das Verfahren manifestiert sich in einem Debugging-Server - ein Rechner, der nach Angabe des Programms und eines reproduzierbaren Fehlerfalls automatisch die relevanten Fehlerursachen bestimmt, ohne daß menschliches Eingreifen notwendig wäre.

• DFG Programme: Research Grants
• Participating Person: Professor Andreas Zeller, Ph.D.