@inproceedings{ddc9d3b149e7414ab9ac1d2af3f3b166,
title = "Ioco Theory for Probabilistic Automata",
abstract = "Model-based testing (MBT) is a well-known technology, which allows for automatic test case generation, execution and evaluation. To test non-functional properties, a number of test MBT frameworks have been developed to test systems with real-time, continuous behaviour, symbolic data and quantitative system aspects. Notably, a lot of these frameworks are based on Tretmans' classical input/output conformance (ioco) framework. However, a model-based test theory handling probabilistic behaviour does not exist yet. Probability plays a role in many different systems: unreliable communication channels, randomized algorithms and communication protocols, service level agreements pinning down up-time percentages, etc. Therefore, a probabilistic test theory is of great practical importance. We present the ingredients for a probabilistic variant of ioco and define the {\pi}oco relation, show that it conservatively extends ioco and define the concepts of test case, execution and evaluation.",
keywords = "EWI-25993, IR-98382, METIS-314910",
author = "Marcus Gerhold and Stoelinga, {Mari{\"e}lle Ida Antoinette}",
note = "10.4204/EPTCS.180.2 ; 10th Workshop on Model Based Testing, MBT 2015, London, UK ; Conference date: 09-04-2015",
year = "2015",
month = apr,
day = "9",
doi = "10.4204/EPTCS.180.2",
language = "Undefined",
series = "Electronic proceedings in theoretical computer science",
publisher = "Open Publishing Association",
pages = "23--40",
booktitle = "Proceedings of the 10th Workshop on Model Based Testing, MBT 2015",
address = "Australia",
}