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

February 03, 2015ioco theory for probabilistic automata
Room: Hal B 2FMarcus Gerhold

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.