Selecting Software Test Data Using Data Flow Information
IEEE Transactions on Software Engineering
Software testing and evaluation
Software testing and evaluation
Functional program testing and analysis
Functional program testing and analysis
An Applicable Family of Data Flow Testing Criteria
IEEE Transactions on Software Engineering
Coverage measurement experience during function test
ICSE '93 Proceedings of the 15th international conference on Software Engineering
Applying Reliability Models More Effectively
IEEE Software
Choosing a testing method to deliver reliability
ICSE '97 Proceedings of the 19th international conference on Software engineering
User defined coverage—a tool supported methodology for design verification
DAC '98 Proceedings of the 35th annual Design Automation Conference
Evaluating Testing Methods by Delivered Reliability
IEEE Transactions on Software Engineering
Determining component reliability using a testing index
ACSC '02 Proceedings of the twenty-fifth Australasian conference on Computer science - Volume 4
A time/structure based software reliability model
Annals of Software Engineering
Path-Based Error Coverage Prediction
Journal of Electronic Testing: Theory and Applications
Planning the Reengineering of Legacy Systems
IEEE Software
Generating Software Test Data by Evolution
IEEE Transactions on Software Engineering
Reengineering of database intensive application
ACM SIGSOFT Software Engineering Notes
IT measurement
Unification of finite failure non-homogeneous Poisson process models through test coverage
ISSRE '96 Proceedings of the The Seventh International Symposium on Software Reliability Engineering
Testing Strategies for Form-Based Visual Programs
ISSRE '97 Proceedings of the Eighth International Symposium on Software Reliability Engineering
Using Simulation for Assessing the Real Impact of Test Coverage on Defect Coverage
ISSRE '99 Proceedings of the 10th International Symposium on Software Reliability Engineering
ATACOBOL: A COBOL Test Coverage Analysis Tool and Its Applications
ISSRE '00 Proceedings of the 11th International Symposium on Software Reliability Engineering
Estimating the Failure Rate of Evolving Software Systems
ISSRE '00 Proceedings of the 11th International Symposium on Software Reliability Engineering
The effect of code coverage on fault detection under different testing profiles
A-MOST '05 Proceedings of the 1st international workshop on Advances in model-based testing
An Ant Colony Optimization Approach to Test Sequence Generation for Statebased Software Testin
QSIC '05 Proceedings of the Fifth International Conference on Quality Software
Software Reliability Engineering: A Roadmap
FOSE '07 2007 Future of Software Engineering
A systematic approach to automatically generate test scenarios from UML activity diagrams
ACST'07 Proceedings of the third conference on IASTED International Conference: Advances in Computer Science and Technology
Information Assurance: Dependability and Security in Networked Systems
Information Assurance: Dependability and Security in Networked Systems
Network Security: Know It All: Know It All
Network Security: Know It All: Know It All
Automatic, evolutionary test data generation for dynamic software testing
Journal of Systems and Software
Optimisation of software testing using Genetic Algorithm
International Journal of Artificial Intelligence and Soft Computing
Using a model-based test generator to test for standard conformance
IBM Systems Journal
HTAF: hybrid testing automation framework to leverage local and global computing resources
ICCSA'11 Proceedings of the 2011 international conference on Computational science and its applications - Volume Part III
Using anti-ant-like agents to generate test threads from the UML diagrams
TestCom'05 Proceedings of the 17th IFIP TC6/WG 6.1 international conference on Testing of Communicating Systems
| Hi-index | 4.10 |
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.