The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.03 - May (1983 vol.9)
pp: 347-354
J.W. Laski , School of Engineering and Computer Science, Oakland University
ABSTRACT
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.
INDEX TERMS
variable definition, Control flow, data context, data environment, data flow, data oriented testing, program testing, liveness
CITATION
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
19 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool