A data flow coverage testing tool for C
作者： J.R. Horgan , S. London
DOI: 10.1109/AQSDT.1992.205829
关键词:
摘要: Describes ATAC (Automatic Test Analysis for C), a tool data flow coverage testing of C programs. is being used as research instrument at Purdue and Bellcore software development Bellcore. The authors discuss the design ATAC, preliminary view its uses in development, uses. >
computer.org
sci-hub.se 参考文章(12)
Phyllis G. Frankl, The use of data flow information for the selection and evaluation of software test data ,(2011)
William E Howden, Functional program testing and analysis McGraw-Hill, Inc.. ,(1986)
D. C. Ince, The Automatic Generation of Test Data The Computer Journal. ,vol. 30, pp. 63- 69 ,(1987) , 10.1093/COMJNL/30.1.63
S. Rapps, E.J. Weyuker, Selecting Software Test Data Using Data Flow Information IEEE Transactions on Software Engineering. ,vol. SE-11, pp. 367- 375 ,(1985) , 10.1109/TSE.1985.232226
P.M. Maurer, Generating test data with enhanced context-free grammars IEEE Software. ,vol. 7, pp. 50- 55 ,(1990) , 10.1109/52.56422
VI Andrew Jefferson Offutt, R. A. Demillo, Automatic test data generation Georgia Institute of Technology. ,(1988)
Stephen C. Johnson, Murray Hill, Yacc : Yet Another Compiler Compiler UNIX Programmer's Manual. ,vol. 2, pp. 353- 387 ,(1978)
R.A. DeMillo, D.S. Guindi, W.M. McCracken, A.J. Offutt, K.N. King, An extended overview of the Mothra software testing environment Water Science and Technology. pp. 142- 151 ,(1988) , 10.1109/WST.1988.5369
P.G. Frankl, E.J. Weyuker, An applicable family of data flow testing criteria IEEE Transactions on Software Engineering. ,vol. 14, pp. 1483- 1498 ,(1988) , 10.1109/32.6194
E.J. Weyuker, The cost of data flow testing: an empirical study IEEE Transactions on Software Engineering. ,vol. 16, pp. 121- 128 ,(1990) , 10.1109/32.44376