Static data flow analysis of PL/1 programs with the PROBE system

PROBE is an experimental software system developed at the General Motors Research Laboratories for the analysis of PL/1 programs. It dissects their control flow structure and patterns of data use, thus pinpointing error-prone design and programming practices. An experimental data flow analyzer for P...

Celý popis

Uloženo v:
Podrobná bibliografie
Vydáno v:IEEE transactions on software engineering Ročník 10; číslo 4; s. 451 - 459
Hlavní autor: SARRAGA, R. F
Médium: Journal Article
Jazyk:angličtina
Vydáno: New York, NY Institute of Electrical and Electronics Engineers 01.07.1984
IEEE Computer Society
Témata:
Analysis
Applied sciences
Computer languages
Computer programming
Computer science; control theory; systems
Data transmission
Exact sciences and technology
Software
Software engineering
Systems
Program analysis
PL1 language
Analyzer
Data structure
Algorithm
Data flow
ISSN:0098-5589, 1939-3520
On-line přístup:Získat plný text
Tagy: Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
Popis
Shrnutí:PROBE is an experimental software system developed at the General Motors Research Laboratories for the analysis of PL/1 programs. It dissects their control flow structure and patterns of data use, thus pinpointing error-prone design and programming practices. An experimental data flow analyzer for PL/1 programs has been implemented within the PROBE system. A description is given of: 1. the data structures and algorithms used by the data flow analyzer, 2. the salient aspects of PL/1 usage in the analyzed production-level programs, and 3. the results of the data flow analysis. The simple design of PROBE shows how easily the user can analyze the most common uses of PL/1's block structure.
Bibliografie: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/TSE.1984.5010259