This Article 
 Bibliographic References 
 Add to: 
Achieving software quality with testing coverage measures
September 1994 (vol. 27 no. 9)
pp. 60-69

Coverage testing helps the tester create a thorough set of tests and gives a measure of test completeness. The concepts of coverage testing are well-described in the literature. However, there are few tools that actually implement these concepts for standard programming languages, and their realistic use on large-scale projects is rare. In this article, we describe the uses of a dataflow coverage-testing tool for C programs-called ATAC for Automatic Test Analysis for C/sup 3/-in measuring, controlling,and understanding the testing process. We present case studies of two real-world software projects using ATAC. The first study involves 12 program versions developed by a university/industry fault-tolerant software project for a critical automatic-flight-control system. The second study involves a Bellcore project of 33 program modules. These studies indicate that coverage analysis of programs during testing not only gives a clear measure of testing quality but also reveals important aspects of software structure. Understanding the structure of a program, as revealed in coverage testing, can be a significant component in confident assessment of overall software quality.

Joseph R. Horgan, Saul London, Michael R. Lyu, "Achieving software quality with testing coverage measures," Computer, vol. 27, no. 9, pp. 60-69, Sept. 1994, doi:10.1109/2.312032
Usage of this product signifies your acceptance of the Terms of Use.