A Data Flow Oriented Program Testing Strategy
作者： J.W. Laski , B. Korel
关键词: Computer science 、 Non-regression testing 、 Orthogonal array testing 、 Program analysis 、 Data flow diagram 、 Variable (computer science) 、 Liveness 、 Control flow 、 Data, context and interaction 、 Block (data storage) 、 Programming language
摘要: Some properties of a program data flow can be used to guide testing. The presented approach aims exercise use-definition chains that appear in the program. Two such oriented testing strategies are proposed; first involves checking liveness every definition variable at point(s) its possible use; second deals with vectors variables treated as arguments an instruction or block. Reliability these is discussed respect containing error.
computer.org
acm.org
sci-hub.se 参考文章(19)
Frances E. Allen, A Basis for Program Optimization. ifip congress. pp. 385- 390 ,(1971)
Barry K. Rosen, High-level data flow analysis Communications of the ACM. ,vol. 20, pp. 712- 724 ,(1977) , 10.1145/359842.359849
R. G. Hamlet, Testing programs with finite sets of data The Computer Journal. ,vol. 20, pp. 232- 237 ,(1977) , 10.1093/COMJNL/20.3.232
J.C. Huang, Detection of Data Flow Anomaly Through Program Instrumentation IEEE Transactions on Software Engineering. ,vol. SE-5, pp. 226- 236 ,(1979) , 10.1109/TSE.1979.234184
W.E. Howden, Reliability of the Path Analysis Testing Strategy IEEE Transactions on Software Engineering. ,vol. SE-2, pp. 208- 215 ,(1976) , 10.1109/TSE.1976.233816
Jeffrey M. Barth, A practical interprocedural data flow analysis algorithm Communications of the ACM. ,vol. 21, pp. 724- 736 ,(1978) , 10.1145/359588.359596
Janusz W. Laski, A hierarchical approach to program testing Sigplan Notices. ,vol. 15, pp. 77- 85 ,(1980) , 10.1145/954127.954135
M. S. Hecht, J. D. Ullman, Characterizations of Reducible Flow Graphs Journal of the ACM. ,vol. 21, pp. 367- 375 ,(1974) , 10.1145/321832.321835
Matthew S. Hecht, Jeffrey D. Ullman, A Simple Algorithm for Global Data Flow Analysis Problems SIAM Journal on Computing. ,vol. 4, pp. 519- 532 ,(1975) , 10.1137/0204044
S.L. Gerhart, L. Yelowitz, Observations of Fallibility in Applications of Modern Programming Methodologies IEEE Transactions on Software Engineering. ,vol. SE-2, pp. 195- 207 ,(1976) , 10.1109/TSE.1976.233815