Analyse von Computerprogrammen durch automatische Experimente

• Applicant: Professor Dr.-Ing. Andreas Zeller, Ph.D.
• Subject Area: Software Engineering and Programming Languages
• Term: from 2005 to 2011
• Project identifier: Deutsche Forschungsgemeinschaft (DFG) - Project number 13655373

Der Ablauf eines Computerprogramms ist schwierig zu erfassen und zu analysieren. Wir schlagen eine neue Klasse von Analyseverfahren vor, die selbsttätig Ursache-Wirkungs-Beziehungen isolieren können ¿ etwa ¿Der Fehler tritt auf, weil f() ausgeführt wird¿. Diese Analyseverfahren zeichnen sich dadurch aus, dass sie selbstständig Experimente mit den untersuchten Programmen durchführen ¿ im Gegensatz zu bisherigen Verfahren, die sich auf Programmcode oder vergangene Läufe stützen. Experimentelle Verfahren bestechen durch Reduktion auf das Wesentliche, und das in bislang unerreichter Präzision. So können erste Prototypen fehlerverursachende Anweisungen automatisch isolieren: ¿Die Anweisung, die den Fehler verursacht, steht in Zeile 13¿ ¿ eine Diagnose, die das Beheben des Fehlers erheblich vereinfacht. Langfristig wird es möglich, Ursachen beliebiger Aspekte eines Programmlaufs automatisch zu isolieren.

• DFG Programme: Research Grants