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.
Original languageUndefined
Title of host publicationProceedings of the 10th Workshop on Model Based Testing, MBT 2015
Place of PublicationLondon
PublisherOpen Publishing Association
Pages23-40
Number of pages18
DOIs
StatePublished - 9 Apr 2015

Publication series

NameElectronic proceedings in theoretical computer science
PublisherOpen Publishing Association
Volume180
ISSN (Print)2075-2180
ISSN (Electronic)2075-2180

Fingerprint

Testing

Keywords

  • EWI-25993
  • IR-98382
  • METIS-314910

Cite this

Gerhold, M., & Stoelinga, M. I. A. (2015). Ioco Theory for Probabilistic Automata. In Proceedings of the 10th Workshop on Model Based Testing, MBT 2015 (pp. 23-40). (Electronic proceedings in theoretical computer science; Vol. 180). London: Open Publishing Association. DOI: 10.4204/EPTCS.180.2

Gerhold, Marcus; Stoelinga, Mariëlle Ida Antoinette / Ioco Theory for Probabilistic Automata.

Proceedings of the 10th Workshop on Model Based Testing, MBT 2015. London : Open Publishing Association, 2015. p. 23-40 (Electronic proceedings in theoretical computer science; Vol. 180).

Research output: Scientific - peer-reviewConference contribution

@inbook{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ëlle Ida Antoinette}",
note = "10.4204/EPTCS.180.2",
year = "2015",
month = "4",
doi = "10.4204/EPTCS.180.2",
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",

}

Gerhold, M & Stoelinga, MIA 2015, Ioco Theory for Probabilistic Automata. in Proceedings of the 10th Workshop on Model Based Testing, MBT 2015. Electronic proceedings in theoretical computer science, vol. 180, Open Publishing Association, London, pp. 23-40. DOI: 10.4204/EPTCS.180.2

Ioco Theory for Probabilistic Automata. / Gerhold, Marcus; Stoelinga, Mariëlle Ida Antoinette.

Proceedings of the 10th Workshop on Model Based Testing, MBT 2015. London : Open Publishing Association, 2015. p. 23-40 (Electronic proceedings in theoretical computer science; Vol. 180).

Research output: Scientific - peer-reviewConference contribution

TY - CHAP

T1 - Ioco Theory for Probabilistic Automata

AU - Gerhold,Marcus

AU - Stoelinga,Mariëlle Ida Antoinette

N1 - 10.4204/EPTCS.180.2

PY - 2015/4/9

Y1 - 2015/4/9

N2 - 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.

AB - 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.

KW - EWI-25993

KW - IR-98382

KW - METIS-314910

U2 - 10.4204/EPTCS.180.2

DO - 10.4204/EPTCS.180.2

M3 - Conference contribution

T3 - Electronic proceedings in theoretical computer science

SP - 23

EP - 40

BT - Proceedings of the 10th Workshop on Model Based Testing, MBT 2015

PB - Open Publishing Association

ER -

Gerhold M, Stoelinga MIA. Ioco Theory for Probabilistic Automata. In Proceedings of the 10th Workshop on Model Based Testing, MBT 2015. London: Open Publishing Association. 2015. p. 23-40. (Electronic proceedings in theoretical computer science). Available from, DOI: 10.4204/EPTCS.180.2