Knowledge-based program analysis

Knowledge-based program analysis

Automatic program analysis is regarded here as both the mechanized process of understanding high-level concepts from program text and the use of those concepts to guide program maintenance. A knowledge-based program analysis tool called PAT, which realizes this concept, is described. PAT uses an obj...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:IEEE software 1990-01, Vol.7 (1), p.74-81
Hauptverfasser: Harandi, M.T., Ning, J.Q.
Format: Artikel
Sprache:eng
Schlagworte:
Abstracts
Cognitive science
Design specifications
Documentation
Functional programming
Humans
Knowledge
Object oriented modeling
Object oriented programming
Petri nets
Programming profession
Software
Tree graphs
Online-Zugang:Volltext bestellen
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung:Automatic program analysis is regarded here as both the mechanized process of understanding high-level concepts from program text and the use of those concepts to guide program maintenance. A knowledge-based program analysis tool called PAT, which realizes this concept, is described. PAT uses an object-oriented framework to represent programming concepts and a heuristic-based concept-recognition mechanism to derive high-level functional concepts from the source code. As an example, a segment of a much larger program written in a Pascal-like language is analyzed using PAT.< >
ISSN:0740-7459
1937-4194
DOI:10.1109/52.43052