Detailseite
Projekt Druckansicht

Analyse von Computerprogrammen durch automatische Experimente

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
 
 

Zusatzinformationen

Textvergrößerung und Kontrastanpassung