Ansätze des Programmverstehens

Programmverstehen ist der Prozes des Wissenserwerbs uber ein Computerprogramm. Es ist die Voraussetzung fur Fehlersuche, Erweiterung, Wiederverwendung und Dokumentation. Eine Reihe von Ansatzen versucht, das Programmverstehen maschinell zu unterstutzen. Die gegenwartigen Ansatze werden in diesem Artikel klassifiziert in grundlegende und wissensbasierte Analysen. Grundlegende Analysen verfugen uber kein Wissen uber die Anwendung und allgemeine Programmierung; sie basieren lediglich auf Programmiersprachensyntax und -Semantik. Grundlegende Analysen lassen sich weiter gliedern in grundlegende statische und grundlegende dynamische Analysen, abhangig davon, ob sie zur Ubersetzungsszeit oder zur Laufzeit vorgenommen werden. Wissensbasierte Analysen verfugen uber Anwendungswissen und allgemeines Programmierwissen. Wissensbasierte Analysen lassen sich unterscheiden in Parsing-Ansatze, falls sie sich ausschlieslich auf formale und strukturelle Programmeigenschaften stutzen, und informelles Schliesen, falls sie daruber hinaus auch informelle Information in Betracht ziehen. Der Artikel gibt Beispiele zu den verschiedenen Analyseformen.