Issue No.03 - May (1983 vol.9)
J.W. Laski , School of Engineering and Computer Science, Oakland University
Some properties of a program data flow can be used to guide program testing. The presented approach aims to exercise use-definition chains that appear in the program. Two such data oriented testing strategies are proposed; the first involves checking liveness of every definition of a variable at the point(s) of its possible use; the second deals with liveness of vectors of variables treated as arguments to an instruction or program block. Reliability of these strategies is discussed with respect to a program containing an error.
variable definition, Control flow, data context, data environment, data flow, data oriented testing, program testing, liveness
J.W. Laski, B. Korel, "A Data Flow Oriented Program Testing Strategy", IEEE Transactions on Software Engineering, vol.9, no. 3, pp. 347-354, May 1983, doi:10.1109/TSE.1983.236871