Automatische Korrektur von Versten gegen Entwurfsregeln im Quellcode durch logische Abduktion

Die Korrektur von Designfehlern im Quellcode ist keine triviale Aufgabe. Die Diagnose und anschlieende Korrektur von Inkonsistenzen zwischen dem Code eines Softwaresystems und seinen Entwurfsregeln (z.B. Datenbankabfragen sind nur in der Persistenzschicht erlaubt) sowie den Codierungskonventionen kann komplex, zeitaufwndig und fehleranfllig sein. Die Untersttzung dieses Prozesses ist daher sehr wnschenswert, aber weitaus komplexer als das Vorschlagen einfacher Korrekturmanahmen fr einfache Implementierungsprobleme (wie das von Eclipse vorgeschlagene "Deklarieren einer lokalen Variable fr eine nicht deklarierte Variable"). Dieser Ansatz besteht aus (1) einem Mittel fr Entwickler, um die Entwurfs- und Codierungsregeln eines Systems zu dokumentieren und zu verifizieren, (2) einem abduktiven Logic Reasoner, der mgliche Ursachen fr Inkonsistenzen zwischen dem Code des Systems und den dokumentierten Regeln vermutet, und (3) einer Bibliothek von Korrekturmanahmen fr jede vermutete Ursache, (4) einem Rollback-Back-Mechanismus, um die vorherige Stufe wiederherzustellen.