Functional program testing and analysis
Functional program testing and analysis
An Applicable Family of Data Flow Testing Criteria
IEEE Transactions on Software Engineering
The category-partition method for specifying and generating fuctional tests
Communications of the ACM
Partition Testing Does Not Inspire Confidence (Program Testing)
IEEE Transactions on Software Engineering
IEEE Transactions on Software Engineering
Structural Testing of Concurrent Programs
IEEE Transactions on Software Engineering
Markov analysis of software specifications
ACM Transactions on Software Engineering and Methodology (TOSEM)
A Markov Chain Model for Statistical Software Testing
IEEE Transactions on Software Engineering
Foundations of software testing: dependability theory
SIGSOFT '94 Proceedings of the 2nd ACM SIGSOFT symposium on Foundations of software engineering
Software trustability analysis
ACM Transactions on Software Engineering and Methodology (TOSEM)
An incremental approach to structural testing of concurrent software
ISSTA '96 Proceedings of the 1996 ACM SIGSOFT international symposium on Software testing and analysis
Software testing and reliability
Handbook of software reliability engineering
Art of Software Testing
Planning and Certifying Software System Reliability
IEEE Software
Reliability Testing of Rule-Based Systems
IEEE Software
On some reliability estimation problems in random and partition testing
IEEE Transactions on Software Engineering
Experience with Path Analysis and Testing of Programs
IEEE Transactions on Software Engineering
High quality behavioral verification using statistical stopping criteria
Proceedings of the conference on Design, automation and test in Europe
Achieving the Quality of Verification for Behavioral Models with Minimum Effort
ISQED '00 Proceedings of the 1st International Symposium on Quality of Electronic Design
A new approach for software testability analysis
Proceedings of the 28th international conference on Software engineering
EUC'06 Proceedings of the 2006 international conference on Embedded and Ubiquitous Computing
| Hi-index | 0.00 |
In confidence-based reliability measurement, we determine that we are at least C confident that the probability of a program failing is less than or equal to a bound B. The basic results of this approach are reviewed and several additional results are introduced, including the adaptive sampling theorem which shows how confidence can be computed when faults are corrected as they appear in the testing process. Another result shows how to carry out testing in parallel. Some of the problems of statistical testing are discussed and an alternative method for establishing reliability called statistical coverage is introduced. At the cost of making reliability estimates that are relative to a fault model, statistical coverage eliminates the need for output validation during reliability estimation and allows the incorporation of non-statistical testing results into the statistical reliability estimation process. Statistical testing and statistical coverage are compared, and their relationship with traditional reliability growth modeling approaches is briefly discussed.