2026-09-19T03:40:07Z https://www.ideals.illinois.edu/oai-pmh

oai:www.ideals.illinois.edu:2142/19832 2023-07-10 col_2142_5131 col_2142_10761 com_2142_5130 com_2142_10755 com_2142_234

Harandi, Mehdi T. Ning, Jim Qun 2011-05-07T12:20:01Z 2011-05-07T12:20:01Z 10000-01-01 1989 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. Made available in DSpace on 2011-05-07T12:20:01Z (GMT). No. of bitstreams: 2 license.txt: 4922 bytes, checksum: 910b249b4beec47e7ab768910c8f966f (MD5) 9010970.pdf: 6432969 bytes, checksum: 038a8ff6d41060565a8f83ebfda2a4f7 (MD5) Previous issue date: 1989 Item marked as restricted to the 'UIUC Users [automated]' Group (id=2) by Howard Ding (hding2@illinois.edu) on 2011-05-07T14:39:43Z Item is restricted indefinitely. Restriction data tranferred 2014-07-01T11:16:48-05:00 Original Data Group with Access UIUC Users [automated] Release Date: none Reason: ETDs are only available to UIUC Users without author permission ETDs are only available to UIUC Users without author permission U of I Only AAI9010970 (UMI)AAI9010970 http://hdl.handle.net/2142/19832 eng Copyright 1989 Ning, Jim Qun Computer Science A knowledge-based approach to automatic program analysis text Computer Science Computer Science University of Illinois at Urbana-Champaign Dissertation Ph.D.