DocumentCode :
754581
Title :
A Data Flow Oriented Program Testing Strategy
Author :
Laski, Janusz W. ; Korel, Bogdan
Author_Institution :
School of Engineering and Computer Science, Oakland University
Issue :
3
fYear :
1983
fDate :
5/1/1983 12:00:00 AM
Firstpage :
347
Lastpage :
354
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.
Keywords :
Control flow; data context; data environment; data flow; data oriented testing; liveness; program testing; variable definition; Computer science; Control systems; Data analysis; Data engineering; Information analysis; Instruments; Reliability engineering; Runtime; Testing; Control flow; data context; data environment; data flow; data oriented testing; liveness; program testing; variable definition;
fLanguage :
English
Journal_Title :
Software Engineering, IEEE Transactions on
Publisher :
ieee
ISSN :
0098-5589
Type :
jour
DOI :
10.1109/TSE.1983.236871
Filename :
1703063
Link To Document :
بازگشت