loading...
 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
ASCII Text
x 
 
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.
 
 
BibTex
x
 
@article{ 10.1109/TSE.1983.236871,
author = {J.W. Laski and B. Korel},
title = {A Data Flow Oriented Program Testing Strategy},
journal ={IEEE Transactions on Software Engineering},
volume = {9},
number = {3},
issn = {0098-5589},
year = {1983},
pages = {347-354},
doi = {http://doi.ieeecomputersociety.org/10.1109/TSE.1983.236871},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - JOUR
JO - IEEE Transactions on Software Engineering
TI - A Data Flow Oriented Program Testing Strategy
IS - 3
SN - 0098-5589
SP347
EP354
EPD - 347-354
A1 - J.W. Laski,
A1 - B. Korel,
PY - 1983
KW - variable definition
KW - Control flow
KW - data context
KW - data environment
KW - data flow
KW - data oriented testing
KW - program testing
KW - liveness
VL - 9
JA - IEEE Transactions on Software Engineering
ER -
 
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.