Detection of Data Flow Anomaly Through Program Instrumentation

1 May 1979

journal article
Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Software Engineering

Vol. SE-5 (3) , 226-236
https://doi.org/10.1109/tse.1979.234184

Abstract

A data flow anomaly in a program iB an indication that a programming error might have been committed. This paper descibes a method for detecting such an anomiay by means of program instrumentation. The method is conceptually simple, easy to use, easy toimplement on a computer, and can be applied in conjunction with a conventional program test to achieve increased error-detection capability.

Keywords

This publication has 18 references indexed in Scilit:

Dave—a validation error detection and documentation system for fortran programs
Software: Practice and Experience, 1976
Data Flow Analysis in Software Reliability
ACM Computing Surveys, 1976
A System to Generate Test Data and Symbolically Execute Programs
IEEE Transactions on Software Engineering, 1976
A program data flow analysis procedure
Communications of the ACM, 1976
A Simple Algorithm for Global Data Flow Analysis Problems
SIAM Journal on Computing, 1975
An Approach to Program Testing
ACM Computing Surveys, 1975
A unified approach to global program optimization
Published by Association for Computing Machinery (ACM) ,1973
Fast algorithms for the elimination of common subexpressions
Acta Informatica, 1973
On Finding the Paths Through a Network
Bell System Technical Journal, 1972
A global flow analysis algorithm
International Journal of Computer Mathematics, 1972