A coverage analysis tool for the effectiveness of software testing
- 30 December 2002
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
Abstract
We describe a software testing and analysis tool, called ATAC (Automatic Test Analysis for C), which is developed as a research instrument at Bellcore to measure the effectiveness of testing data. The design, functionality, and usage of ATAC are presented in this paper. Furthermore, to demonstrate the capability and applicability of ATAC, we obtain the 12 program versions of a critical industrial application developed in a recent university/industry N-Version Software project, and use the ATAC tool to analyze and compare coverage of the testing conducted in the program versions. Preliminary results from this investigation show that ATAC could be a powerful testing tool to provide testing metrics and quality control guidance for the certification of high quality software components or systems. It can also assist software reliability researchers and practitioners in searching for the missing link between structure-based testing schemes and software reliability.Keywords
This publication has 10 references indexed in Scilit:
- An extended overview of the Mothra software testing environmentPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- A data flow coverage testing tool for CPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Improving the N-version programming process through the evolution of a design paradigmIEEE Transactions on Reliability, 1993
- Applying reliability models more effectively (software)IEEE Software, 1992
- Assuring Design Diversity in N-Version Software: A Design Paradigm for N-Version ProgrammingPublished by Springer Nature ,1992
- Generating test data with enhanced context-free grammarsIEEE Software, 1990
- An applicable family of data flow testing criteriaIEEE Transactions on Software Engineering, 1988
- The Automatic Generation of Test DataThe Computer Journal, 1987
- The N-Version Approach to Fault-Tolerant SoftwareIEEE Transactions on Software Engineering, 1985
- Selecting Software Test Data Using Data Flow InformationIEEE Transactions on Software Engineering, 1985