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

• Applicant: Professor Dr. Eberhard Bertsch
• Subject Area: Theoretical Computer Science
• Term: from 1996 to 2001
• Project identifier: Deutsche Forschungsgemeinschaft (DFG) - Project number 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 Programme: Research Grants