A data flow coverage testing tool for C

2 January 2003

conference paper
Published by Institute of Electrical and Electronics Engineers (IEEE)

p. 2-10
https://doi.org/10.1109/aqsdt.1992.205829

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

This publication has 7 references indexed in Scilit:

An extended overview of the Mothra software testing environment
Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
Generating test data with enhanced context-free grammars
IEEE Software, 1990
The cost of data flow testing: an empirical study
IEEE Transactions on Software Engineering, 1990
Module test case generation
Published by Association for Computing Machinery (ACM) ,1989
An applicable family of data flow testing criteria
IEEE Transactions on Software Engineering, 1988
The Automatic Generation of Test Data
The Computer Journal, 1987
Selecting Software Test Data Using Data Flow Information
IEEE Transactions on Software Engineering, 1985