Calculating the usage probabilities of statistical usage models by constraints optimization

  • Dulz W.a German R
  • 16

    Readers

    Mendeley users who have this article in their library.
  • 1

    Citations

    Citations of this article.

Abstract

The systematic generation of test cases from statistical usage models has been investigated recently for specific application domains, such as wireless communications or automotive applications. For Markov chain usage models, the expected usage of a hardware/software system is represented by transitions between usage states and a usage profile, meaning probability values that are attached to the state transitions. In this paper, we explain 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. Comparing the computed probability distributions of our polyhedron approach with the maximum entropy technique, which is the main technique used so far, illustrates that our results are more obvious to the intented constraint semantics. In order to demonstrate the applicability of our approach, workflow testing of a complex RIS/PACS system in the medical domain was carried through and has provided promising results. Copyright 2010 ACM.

Author-supplied keywords

  • Computer software selection and evaluation
  • Geome
  • Markov Chain
  • Medical case
  • Polyhedron optimizatio
  • Probability distributions

Get free article suggestions today

Mendeley saves you time finding and organizing research

Sign up here
Already have an account ?Sign in

Find this document

Get full text

Authors

  • R.a Holpp S.b Götz H.c Dulz W.a German

Cite this document

Choose a citation style from the tabs below

Save time finding and organizing research with Mendeley

Sign up for free