Computing system reliability using Markov chain usage models

Authors:
S. J. Prowell;J. H. Poore
Affiliations:
Department of Computer Science, The University of Tennessee, 203 Claxton Complex, 1122 Volunteer Blvd., Knoxville, TN;Department of Computer Science, The University of Tennessee, 203 Claxton Complex, 1122 Volunteer Blvd., Knoxville, TN
Venue:
Journal of Systems and Software - Special issue: Applications of statistics in software engineering
Year:
2004

Citing 5
Cited 2

Estimating the Probability of Failure When Testing Reveals No Failures

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
Cleanroom software engineering: technology and process

Cleanroom software engineering: technology and process
Improved techniques for software testing based on markov chain usage models

Improved techniques for software testing based on markov chain usage models

Achieving communication coverage in testing

ACM SIGSOFT Software Engineering Notes
Using communication coverage criteria and partial model generation to assist software integration testing

Software Quality Control

Quantified Score

Hi-index	0.00

Visualization

Abstract

Markov chains have been used successfully to model system use, generate tests, and compute statistics about anticipated system use in the field. Several reliability models are in use for Markov chain-based testing, but each has certain limitations. A Bayesian reliability model that is gaining support in field use is presented here.