Model Based Statistical Testing and Durations

  title={Model Based Statistical Testing and Durations},
  author={Frank B{\"o}hr},
  journal={2010 17th IEEE International Conference and Workshops on Engineering of Computer Based Systems},
This paper focuses on the introduction of time durations to Model Based Statistical Testing. The concepts presented allow specifying durations of inputs and outputs within the test model. Three basic time restrictions are introduced: A stimulus must be shorter than a certain time, a stimulus must be longer than a certain time and a stimulus must have a duration within a given interval. The approach allows the generation of oracle information considering the introduced time information. This is… CONTINUE READING


Publications referenced by this paper.
Showing 1-10 of 25 references

Improved Techniques for software testing based on markov chain usage models

  • K. D. Sayre
  • PhD thesis, The University of Tennessee,
  • 1999
Highly Influential
4 Excerpts

Model based statistical testing and time. In 2nd Workshop on Model-based Testing in Practice - MoTiP

  • F. Böhr
  • 2009
Highly Influential
3 Excerpts

On mil, hil, statistical testing, reuse, and efforts

  • T. Bauer, F. Böhr, R. Eschbach
  • In 1st Workshop on Model-based Testing in…
  • 2008
2 Excerpts

Verhaltensbasierte Ansätze in verlässlichen Automotivesystemen: Anwendung und Evaluierung

  • F. Böhr
  • Vdm Verlag Dr. Müller, Saarbrücken, Saarland,
  • 2008
1 Excerpt

Similar Papers

Loading similar papers…