This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
A Data Flow Oriented Program Testing Strategy
May 1983 (vol. 9 no. 3)
pp. 347-354
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.
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
Usage of this product signifies your acceptance of the Terms of Use.