13th International Symposium on Software Reliability Engineering (ISSRE'02)
A Reliability Estimator for Model Based Software Testing
Annapolis, Maryland
November 12-November 15
ISBN: 0-7695-1763-3
This paper presents a reliability estimator based on current Markov chain usage model testing methodology. This reliability estimator is specifically formulated to take advantage of software testing performed using Markov chain models of the use of the software under test. The reliability estimator presented in this paper is useful in the absence of observed failures, behaves in a predictable manner, can make use of pretest reliability information, and has an associated variance.