摘要: This paper defines a family of program test data selection criteria derived from flow analysis techniques similar to those used in compiler optimization. It is argued that currently path criteria, which examine only the control program, are inadequate quate. Our procedure associates with each point at variable defined, points value used. Several differing type and number these associations, defined compared.
acm.org
sci-hub.se 参考文章(10)
Simeon C. Ntafos, ON TESTING WITH REQUIRED ELEMENTS. IEEE Comput Soc Press (n 379). ,(1981)
Elaine J. Weyuker, The applicability of program schema results to programs International Journal of Parallel Programming. ,vol. 8, pp. 387- 403 ,(1979) , 10.1007/BF00995175
Simeon C. Ntafos, On Required Element Testing IEEE Transactions on Software Engineering. ,vol. SE-10, pp. 795- 803 ,(1984) , 10.1109/TSE.1984.5010308
M.R. Woodward, D. Hedley, M.A. Hennell, Experience with Path Analysis and Testing of Programs IEEE Transactions on Software Engineering. ,vol. SE-6, pp. 278- 286 ,(1980) , 10.1109/TSE.1980.230473
J.W. Laski, B. Korel, A Data Flow Oriented Program Testing Strategy IEEE Transactions on Software Engineering. ,vol. SE-9, pp. 347- 354 ,(1983) , 10.1109/TSE.1983.236871
E. J. Weyuker, On Testing Non-Testable Programs The Computer Journal. ,vol. 25, pp. 465- 470 ,(1982) , 10.1093/COMJNL/25.4.465
E.J. Weyuker, T.J. Ostrand, Theories of Program Testing and the Application of Revealing Subdomains IEEE Transactions on Software Engineering. ,vol. 6, pp. 236- 246 ,(1980) , 10.1109/TSE.1980.234485
Lloyd D. Fosdick, Leon J. Osterweil, Data Flow Analysis in Software Reliability ACM Computing Surveys. ,vol. 8, pp. 305- 330 ,(1976) , 10.1145/356674.356676
W.E. Howden, Methodology for the Generation of Program Test Data IEEE Transactions on Computers. ,vol. 24, pp. 554- 560 ,(1975) , 10.1109/T-C.1975.224259
Robert S. Boyer, Bernard Elspas, Karl N. Levitt, SELECT---a formal system for testing and debugging programs by symbolic execution the international conference. pp. 234- 245 ,(1975) , 10.1145/800027.808445