Ioco Theory for Probabilistic Automata

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

    2 Citations (Scopus)
    103 Downloads (Pure)


    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
    Number of pages18
    Publication statusPublished - 9 Apr 2015
    Event10th Workshop on Model Based Testing, MBT 2015, London, UK: Proceedings of the 10th Workshop on Model Based Testing, MBT 2015 - London
    Duration: 9 Apr 2015 → …

    Publication series

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


    Conference10th Workshop on Model Based Testing, MBT 2015, London, UK
    Period9/04/15 → …


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

    Cite this