# Computations for Markov Chain Usage Models

@inproceedings{Thomason2003ComputationsFM, title={Computations for Markov Chain Usage Models}, author={Michael G. Thomason and Jenny 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…

## 23 Citations

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

- Computer ScienceElectron. Notes Theor. Comput. Sci.
- 2010

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

- Computer ScienceSAC
- 2015

It is shown how composite states with regions can be used to formalize concurrent streams in usage models to allow a simplified and reasonable specification of usage models as it hides the state space explosion.

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

- Computer ScienceICSOFT
- 2009

This work presents an intuitive extension of Markov Chain Usage Models that allows the consistent integration of time in MCUMs and presents algorithms for automatic test case generation from Time AugmentedMCUMs together with a case study that has been conducted in the automotive domain.

### Calculating the usage probabilities of statistical usage models by constraints optimization

- Computer ScienceAST '10
- 2010

This paper explains how to calculate the profile probabilities for the Markov chain usage model from a set of linear usage constraints and by optimizing a convex polyhedron that represents the constrained solution space.

### Optimized Test Sequence Generation from Usage Models using Ant Colony Optimization

- Computer Science
- 2010

This paper proposes a technique to generate optimized test sequences from a markov chain based usage model that uses ant colony optimization as its basis and also incorporates factors like cost and criticality of various states in the model.

### Improving test adequacy and software reliability with practices of statistical testing

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

A real-world case study is reported in which standard statistical testing practices are applied to the phone flag copy testing problem at the site of the industrial collaborator, and the solution is presented from problem formalization, usage modeling and model analysis to test case generation and analysis.

### Using Markov Chain Usage Models to Test Complex Systems

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

A new approach which relies on applying concurrency operators to the test cases generated from simple Markov chain usage models to create sophisticated test cases is presented, which leverages existing tools and notations.

### Model Based Statistical Testing of Embedded Systems

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

This paper proposes an extension to Model Based Statistical Testing which deals with the mentioned problems and maintains all mentioned advantages and shows that it is possible to generate executable test cases from the Petri nets.

### Model-based testing of probabilistic systems

- Computer ScienceFormal Aspects of Computing
- 2017

This work presents an executable model-based testing framework for probabilistic systems with non-determinism that connects input/output conformance-theory with hypothesis testing and incorporates divergent systems into the framework by phrasing four rules that each well-formed system needs to adhere to.

### Markov chain testing models for "sequential-stage system reliability growth via failure mode removal"

- Mathematics
- 2003

The goal of this research was to recast the issues raised in "Probability Models for Sequential-Stage System Reliability Growth via Failure Mode Removal" by Gaver, et. al. [I] into Markov chain…

## References

SHOWING 1-10 OF 21 REFERENCES

### A Markov Chain Model for Statistical Software Testing

- Computer Science, MathematicsIEEE Trans. Software Eng.
- 1994

This paper describes a method for statistical testing based on a Markov chain model of software usage that allows test input sequences to be generated from multiple probability distributions, making it more general than many existing techniques.

### Generating transition probabilities to support model-based software testing

- Computer ScienceSoftw. Pract. Exp.
- 2000

An improved approach that represents transition probabilities by explicitly preserving the information concerning test objectives and the relationships between transition probabilities in a format that is easy to maintain and easy to analyze is described.

### Importance Sampling of Test Cases in Markovian Software Usage Models

- MathematicsProbability in the Engineering and Informational Sciences
- 1997

Recently, some authors have suggested usage models of Markov type as a technique of specifying the estimated operational use distribution of a given program. A main purpose of such models is the…

### Improved techniques for software testing based on markov chain usage models

- Computer Science, Mathematics
- 1999

This dissertation presents a test of the convergence of the testing experience to the expected use of the software and a Bayesian single-use software reliability estimator based on stratified sampling techniques.

### Markov analysis of software specifications

- Computer ScienceTSEM
- 1993

A procedure for modeling software usage with the finite state, discrete parameter Markov chain is described, including the ability to synthesize a macro level usage distribution from a micro level understanding of how the software will be used.

### FINITE MARKOV CHAINS

- Mathematics
- 2005

This paper provides basic information and theorems about finite Markov chains. The inspiration for this paper came from Professor Laci Babai’s Discrete Mathematics lecture notes from the REU program…

### Estimating the Probability of Failure When Testing Reveals No Failures

- Computer Science, MathematicsIEEE Trans. Software Eng.
- 1992

These formulas incorporate random testing results, information about the input distribution; and prior assumptions about the probability of failure of the software and include Bayesian prior assumptions.

### Summation of Series.

- GeologyNature
- 1925

A COMPREHENSIVE collection of series and their sums would be invaluable to the university teacher, the research worker, or the technician, according to the principle guiding the selection, but an…

### Improving software quality using statistical testing techniques

- Computer ScienceInf. Softw. Technol.
- 2000