Achieving software quality with testing coverage measures Export

@article{citeulike:2085378, 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³-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}, author = {Horgan, J. R. and London, S. and Lyu, M. R.}, booktitle = {Computer}, citeulike-article-id = {2085378}, citeulike-linkout-0 = {http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=312032}, journal = {Computer}, keywords = {coverage, software, testing}, number = {9}, pages = {60--69}, posted-at = {2007-12-10 10:57:54}, priority = {2}, title = {Achieving software quality with testing coverage measures}, url = {http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=312032}, volume = {27}, year = {1994} }

TY - JOUR ID - citeulike:2085378 L3 - citeulike-article-id:2085378 N2 - 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³-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 IS - 9 JF - Computer EP - 69 TI - Achieving software quality with testing coverage measures VL - 27 T2 - Computer SP - 60 KW - coverage KW - software KW - testing AU - Horgan, JR AU - London, S AU - Lyu, MR PY - 1994/// UR - http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=312032 ER -