Achieving software quality with testing coverage measures

Abstract

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.<<ETX>>

DOI: 10.1109/2.312032

9 Figures and Tables

Statistics

051015'96'98'00'02'04'06'08'10'12'14'16
Citations per Year

137 Citations

Semantic Scholar estimates that this publication has 137 citations based on the available data.

See our FAQ for additional information.

Cite this paper

@article{Horgan1994AchievingSQ, title={Achieving software quality with testing coverage measures}, author={Joseph Robert Horgan and Saul London and Michael R. Lyu}, journal={Computer}, year={1994}, volume={27}, pages={60-69} }