• DocumentCode
    3084154
  • 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
  • fYear
    2002
  • fDate
    2002
  • Firstpage
    53
  • Lastpage
    63
  • 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;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Software Reliability Engineering, 2002. ISSRE 2003. Proceedings. 13th International Symposium on
  • ISSN
    1071-9458
  • Print_ISBN
    0-7695-1763-3
  • Type

    conf

  • DOI
    10.1109/ISSRE.2002.1173212
  • Filename
    1173212