Ioco Theory for Probabilistic Automata

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    39 Downloads (Pure)

    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
    Publication statusPublished - 9 Apr 2015

    Publication series

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

    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. https://doi.org/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. pp. 23-40 (Electronic proceedings in theoretical computer science).
    @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",
    year = "2015",
    month = "4",
    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",

    }

    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. https://doi.org/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: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    TY - GEN

    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

    CY - London

    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). https://doi.org/10.4204/EPTCS.180.2