Automatisierte Behebung von Programmen mit Verträgen

Bei der Fehlersuche in Programmen ist das Finden eines fehlerhaften Laufs nur der erste Schritt; was ist mit der Korrektur des Fehlers? Können wir die zweite Aufgabe ebenso automatisieren wie die erste? Das Werkzeug AutoFix-E generiert und validiert automatisch Lösungen für Softwarefehler. Die entscheidenden Einsichten hinter AutoFix-E bestehen darin, auf Verträge zu setzen, die in der Software vorhanden sind, um sicherzustellen, dass die vorgeschlagenen Lösungen semantisch korrekt sind, und auf Zustandsdiagramme, die eine abstrakte Vorstellung von Zustand basierend auf den booleschen Abfragen einer Klasse verwenden. Aus 42 Fehlern, die von einem automatischen Testwerkzeug in zwei weit verbreiteten Eiffel-Bibliotheken gefunden wurden, schlägt AutoFix-E erfolgreiche Lösungen für 16 Fehler vor. Die Einreichung einiger dieser Fehler bei Experten zeigt, dass mehrere der vorgeschlagenen Lösungen identisch oder nahe an den von Menschen vorgeschlagenen Lösungen sind.