Analyse von Computerprogrammen durch automatische Experimente

• Antragsteller: Professor Dr.-Ing. Andreas Zeller, Ph.D.
• Fachliche Zuordnung: Softwaretechnik und Programmiersprachen
• Förderung: Förderung von 2005 bis 2011
• Projektkennung: Deutsche Forschungsgemeinschaft (DFG) - Projektnummer 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-Verfahren: Sachbeihilfen