This Article 
 Bibliographic References 
 Add to: 
Knowledge-Based Program Analysis
January/February 1990 (vol. 7 no. 1)
pp. 74-81

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.

Index Terms:
high-level concepts; program text; program maintenance; knowledge-based program analysis tool; PAT; object-oriented framework; programming concepts; heuristic-based concept-recognition mechanism; source code; knowledge based systems; object-oriented programming; program diagnostics; software tools
Mehdi T. Harandi, Jim Q. Ning, "Knowledge-Based Program Analysis," IEEE Software, vol. 7, no. 1, pp. 74-81, Jan.-Feb. 1990, doi:10.1109/52.43052
Usage of this product signifies your acceptance of the Terms of Use.