Entwicklung von optimalen Techniken zur syntaktischen Diagnose und Reparatur von fehlerhaften Programmen

• Antragsteller: Professor Dr. Eberhard Bertsch
• Fachliche Zuordnung: Theoretische Informatik
• Förderung: Förderung von 1996 bis 2001
• Projektkennung: Deutsche Forschungsgemeinschaft (DFG) - Projektnummer 5299406

Ausgangspunkt in die in der laufenden Förderungsphase entwickelte Implementierung zweier effizienter Methoden zur nichtkorrigierenden Analyse fehlerhafter Programmtexte. Die eine der beiden Methoden ist ausschließlich für LL(1)-Grammatiken geeignet und nutzt die Besonderheiten dieser Grammatiken.Die Analyse dient zur Erkennung der Fehlerstellen, deren Ursachen durch zusätzliche Erklärungen diagnostiziert werden sollen. Die Erklärungen können einerseits durch Beispieltexte, andererseits durch didaktische Erläuterungen des korrekten Gebrauchs geschehen. Zusätzlich sollen dem Benutzer automatisch generierte Vorschläge zur Korrektur angeboten werden. Es handelt sich wohlgemerkt nicht um den Versuch einer automatischen Korrektur, deren Unmöglichkeit sozusagen eine der Prämissen des allgemeinen Rahmens dieses Projektes bildet.Ziel des Projektes ist ein ausgereiftes, benutzerfreundliches Entwicklungssystem, in dem Analyse und Diagnose integriert sind.

• DFG-Verfahren: Sachbeihilfen