Title :
A data flow coverage testing tool for C
Author :
Horgan, J.R. ; London, S.
Author_Institution :
Bellcore, Morristown, NJ, USA
Abstract :
Describes ATAC (Automatic Test Analysis for C), a tool for data flow coverage testing of C programs. ATAC is being used as a research instrument at Purdue and Bellcore and as a software development tool at Bellcore. The authors discuss the design of ATAC, a preliminary view of its uses in development, and its research uses
Keywords :
C language; program testing; software tools; ATAC; Automatic Test Analysis for C; data flow coverage testing tool; software development tool; Automatic testing; Computer languages; Encoding; Error correction; Fluid flow measurement; Information analysis; Instruments; Programming profession; Runtime; Software testing;
Conference_Titel :
Assessment of Quality Software Development Tools, 1992., Proceedings of the Second Symposium on
Conference_Location :
New Orleans, LA
Print_ISBN :
0-8186-2620-8
DOI :
10.1109/AQSDT.1992.205829
