Files in this item

FilesDescriptionFormat

application/pdf

application/pdf9010970.pdf (6MB)Restricted to U of Illinois
(no description provided)PDF

Description

Title:A knowledge-based approach to automatic program analysis
Author(s):Ning, Jim Qun
Doctoral Committee Chair(s):Harandi, Mehdi T.
Department / Program:Computer Science
Discipline:Computer Science
Degree Granting Institution:University of Illinois at Urbana-Champaign
Degree:Ph.D.
Genre:Dissertation
Subject(s):Computer Science
Abstract:Software maintenance is the most expensive part of the software life-cycle. This is partially due to the fact that quite often the only reliable and available documentation about a program is its source code and all the relevant information must be extracted from it.
This thesis research proposes a knowledge-based approach for automating the analysis of program source code. A prototype program analysis tool, called PAT, has been constructed to demonstrate the feasibility of the proposed approach.
In PAT, we represent the program information as events and the program analysis knowledge as plans. Both events and plans are organized into a classification hierarchy based on the programming concepts that they express. The understanding of a program is implemented as an inference process in which new events (representing high-level programming concepts) are derived from the existing ones using plans. Plans also contain information for the documentation and debugging of the derived events. A justification-based truth maintenance system is used to record and maintain the facts derived from the programs and their justifications.
Issue Date:1989
Type:Text
Language:English
URI:http://hdl.handle.net/2142/19832
Rights Information:Copyright 1989 Ning, Jim Qun
Date Available in IDEALS:2011-05-07
Identifier in Online Catalog:AAI9010970
OCLC Identifier:(UMI)AAI9010970


This item appears in the following Collection(s)

Item Statistics