# Feb 03, 2015: Marcus Gerhold: ioco theory for probabilistic automata

February 03, 2015 | ioco theory for probabilistic automata |

Room: Hal B 2F | Marcus Gerhold |

12:30-13:30 | A number of MBT frameworks have been developed to test systems with real-time, continuous behaviour, symbolic data and quantitative system aspects. Most notably, these frameworks are all based on Tretmans' classical input/output conformance (ioco) framework. However, a model-based test theory handling probabilities does not yet exist. In this presentation, we recall the classical ioco theory and present the ingredients for such a probabilistic test theory. We define the pioco relation and show that it conservatively extends ioco and describe concepts of test case, execution and evaluation. |