Title :
A coverage analysis tool for the effectiveness of software testing
Author :
Lyu, Michael R. ; Horgan, J.R. ; London, Saul
Author_Institution :
Bellcore, Morristown, NJ, USA
fDate :
12/1/1994 12:00:00 AM
Abstract :
This paper describes the software testing and analysis tool, “ATAC (Automatic Test Analysis for C)”, developed as a research instrument to measure the effectiveness of testing data. It is also a tool to facilitate the design and evaluation of test cases during software development. To demonstrate the capability and applicability of ATAC, the authors obtained 12 program versions of a critical industrial application developed in a recent university/industry N-version software project, and used ATAC to analyze and compare coverage of the testing on the program versions. Preliminary results from this investigation show that ATAC is a powerful testing tool to provide testing metrics and quality control guidance for the certification of high quality software components or systems
Keywords :
certification; program testing; software metrics; software quality; software reliability; software tools; ATAC; Automatic Test Analysis for C; N-version software project; applicability; capability; certification; coverage analysis tool; critical industrial application; effectiveness; quality control guidance; reliability; research instrument; software development; software testing; testing metrics; Application software; Automatic testing; Computer industry; Electrical equipment industry; Instruments; Programming; Quality control; Software measurement; Software testing; System testing;
Journal_Title :
Reliability, IEEE Transactions on
