• Corpus ID: 12519256

Computations for Markov Chain Usage Models

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

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

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

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

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

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

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

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

  • S. Prowell
  • Computer Science
    Proceedings 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

  • Frank Böhr
  • Computer Science
    2011 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

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"

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



A Markov Chain Model for Statistical Software Testing

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

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

  • W. Gutjahr
  • Mathematics
    Probability 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

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

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.

TML: a description language for Markov chain usage models

  • S. Prowell
  • Computer Science
    Inf. Softw. Technol.
  • 2000


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

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.

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