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

Volume

43

Issue

4

fYear

1994

fDate

12/1/1994 12:00:00 AM

Firstpage

527

Lastpage

535

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;

fLanguage

English

Journal_Title

Reliability, IEEE Transactions on

Publisher

ieee

ISSN

0018-9529

Type

jour

DOI

10.1109/24.370230

Filename

370230