# Computations for Markov Chain Usage Models

@inproceedings{Thomason2003ComputationsFM, title={Computations for Markov Chain Usage Models}, author={M. Thomason and J. Morales}, year={2003} }

Preface This document summarizes the basic computations for Markov chain usage models, presents their derivations, and includes Scilab code to compute each of them. The contents of this document are the result of years of work by many different people, and very few results are original. Jesse Poore did the original work on Markov chain usage models [17, 18]. Gwen Wal-ton's research applied mathematical programming techniques to set model probabilities under testing constraints [16]. Jenny… Expand

#### Figures and Tables from this paper

#### 23 Citations

A Polyhedron Approach to Calculate Probability Distributions for Markov Chain Usage Models

- Computer Science
- Electron. Notes Theor. Comput. Sci.
- 2010

Concurrent streams in Markov chain usage models for statistical testing of complex systems

- Computer Science
- SAC
- 2015

Model Driven Testing with Time Augmented Markov Chain Usage Models - Computations and Test Case Generation Algorithms for Time Augmented Markov Chain Usage Models

- Computer Science
- ICSOFT
- 2009

Calculating the usage probabilities of statistical usage models by constraints optimization

- Computer Science
- AST '10
- 2010

Improving test adequacy and software reliability with practices of statistical testing

- Computer Science
- 2017 Second International Conference on Reliability Systems Engineering (ICRSE)
- 2017

Using Markov Chain Usage Models to Test Complex Systems

- Computer Science
- Proceedings of the 38th Annual Hawaii International Conference on System Sciences
- 2005

Model Based Statistical Testing of Embedded Systems

- Computer Science
- 2011 IEEE Fourth International Conference on Software Testing, Verification and Validation Workshops
- 2011

#### References

SHOWING 1-10 OF 23 REFERENCES

A Markov Chain Model for Statistical Software Testing

- Computer Science
- IEEE Trans. Software Eng.
- 1994

Generating transition probabilities to support model-based software testing

- Computer Science
- Softw. Pract. Exp.
- 2000

Estimating the Probability of Failure When Testing Reveals No Failures

- Computer Science
- IEEE Trans. Software Eng.
- 1992

Improving software quality using statistical testing techniques

- Engineering, Computer Science
- Inf. Softw. Technol.
- 2000