Title :
A reliability estimator for model based software testing
Author :
Sayre, Kirk ; Poore, Jesse
Author_Institution :
Dept. of Comput. Sci., Tennessee Univ., Knoxville, TN, USA
Abstract :
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.
Keywords :
Markov processes; probability; program testing; software reliability; Markov chain usage model testing methodology; model based software testing; probability; software reliability estimator; Computer science; Kirk field collapse effect; Performance evaluation; Probability; Random variables; Software performance; Software reliability; Software testing; System testing; Text processing;
Conference_Titel :
Software Reliability Engineering, 2002. ISSRE 2003. Proceedings. 13th International Symposium on
Print_ISBN :
0-7695-1763-3
DOI :
10.1109/ISSRE.2002.1173212