Design of flexible static program analyzers with PQL

Static program analyzers (SPA) are interactive tools that enhance program understanding during maintenance by answering queries about programs. Depending on the maintenance task in hand, SPAs must process different source programs and answer different types of program queries. Flexibility is, theref...

Full description

Saved in:
Bibliographic Details
Published in:IEEE transactions on software engineering Vol. 24; no. 3; pp. 197 - 215
Main Author: Jarzabek, S.
Format: Journal Article
Language:English
Published: New York, NY IEEE 01.03.1998
Institute of Electrical and Electronics Engineers
IEEE Computer Society
Subjects:
Analyzers
Applied sciences
Computer science; control theory; systems
Computer Society
Context modeling
Cost function
Database languages
Engineering
Exact sciences and technology
Information systems
Language
Programming languages
Programming profession
Queries
Query processing
Relational data bases
Repair & maintenance
Resorts & spas
Reverse engineering
Software
Software engineering
Software maintenance
Studies
Syntax
User interface
User interfaces
COBOL (programming language)
Software management
Reverse engineering
Program analysis
Maintenance
Modeling
Query languages
Software engineering
ISSN:0098-5589, 1939-3520
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:Static program analyzers (SPA) are interactive tools that enhance program understanding during maintenance by answering queries about programs. Depending on the maintenance task in hand, SPAs must process different source programs and answer different types of program queries. Flexibility is, therefore, a desirable property of SPAs. The author describes a program query language, called PQL, that facilitates the design of flexible SPAs. PQL is a conceptual level, source language-independent notation to specify program queries and program views. In PQL, one can query global program design as well as search for detail code patterns. PQL queries are answered automatically by a query evaluation mechanism built into an SPA. Program design models and POL form the core of an SPA conceptual model. He based the SPA's architecture on this conceptual model. By separating the conceptual model from the implementation decisions, one can design SPAs that are customizable to the needs of the maintenance project at hand. Depending on criteria such as efficiency of query evaluation or simplicity of the SPA design, one can implement the same functional specifications of an SPA on a variety of program representations to meet the required criteria. Apart from its role in the design of SPAs, the conceptual model also allows one to rigorously study SPA functionality in the context of the underlying maintenance process and programmer behavior models, in isolation from tool implementation details.
Bibliography:ObjectType-Article-1
SourceType-Scholarly Journals-1
content type line 14
ObjectType-Article-2
ObjectType-Feature-1
content type line 23
ISSN:0098-5589
1939-3520
DOI:10.1109/32.667879