Computability, complexity, and languages (2nd ed.): fundamentals of theoretical computer science
Computability, complexity, and languages (2nd ed.): fundamentals of theoretical computer science
The IEEE Standard Dictionary of Electrical and Electronics Terms
The IEEE Standard Dictionary of Electrical and Electronics Terms
Quantitative evaluation of software quality
ICSE '76 Proceedings of the 2nd international conference on Software engineering
Testing for software reliability
Proceedings of the international conference on Reliable software
Software Reliability Allocation Based on Structure, Utility, Price, and Cost
IEEE Transactions on Software Engineering
Estimating the Probability of Failure When Testing Reveals No Failures
IEEE Transactions on Software Engineering
Specifying operational profiles for modules
ISSTA '93 Proceedings of the 1993 ACM SIGSOFT international symposium on Software testing and analysis
Generating test suites for software load testing
ISSTA '94 Proceedings of the 1994 ACM SIGSOFT international symposium on Software testing and analysis
Optimal Test Distributions for Software Failure Cost Estimation
IEEE Transactions on Software Engineering
Using the consequence of failures for testing and reliability assessment
SIGSOFT '95 Proceedings of the 3rd ACM SIGSOFT symposium on Foundations of software engineering
Using failure cost information for testing and reliability assessment
ACM Transactions on Software Engineering and Methodology (TOSEM)
Software unit test coverage and adequacy
ACM Computing Surveys (CSUR)
Annals of Software Engineering
The Automatic Generation of Load Test Suites and the Assessment of the Resulting Software
IEEE Transactions on Software Engineering
CASCON '94 Proceedings of the 1994 conference of the Centre for Advanced Studies on Collaborative research
An experimental study of adaptive testing for software reliability assessment
Journal of Systems and Software
Enhancing software reliability estimates using modified adaptive testing
Information and Software Technology
| Hi-index | 0.00 |
A definition of software reliability is proposed in which reliability is treated as a generalization of the probability of correctness of the software in question. A tolerance function is introduced as a method of characterizing an acceptable level of correctness. This in turn is used, together with the probability function defining the operational input distribution, as a parameter of the definition of reliability. It is shown that the definition can be used to provide many natural models of reliability by varying the tolerance function and that it may be reasonably approximated using well-chosen test sets. It is also shown that there is an inherent limitation to the measurement of reliability using finite test sets.