Model-Based Testing of Stochastic Systems with IOCO Theory

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

    1 Citation (Scopus)
    62 Downloads (Pure)

    Abstract

    We present essential concepts of a model-based testing framework for probabilistic systems with continuous time. Markov automata are used as an underlying model. Key result of the work is the solid core of a probabilistic test theory, that incorporates real-time stochastic behaviour. We connect ioco theory and hypothesis testing to infer about trace probabilities. We show that our conformance relation conservatively extends ioco and discuss the meaning of quiescence in the presence of exponentially distributed time delays.
    Original languageUndefined
    Title of host publicationProceedings of the 7th International Workshop on Automating Test Case Design, Selection, and Evaluation, A-TEST 2016
    Place of PublicationNew York
    PublisherAssociation for Computing Machinery (ACM)
    Pages45-51
    Number of pages7
    ISBN (Print)978-1-4503-4401-2
    DOIs
    Publication statusPublished - 18 Nov 2016

    Publication series

    Name
    PublisherACM

    Keywords

    • FMT-FMPA: FORMAL METHODS FOR PERFORMANCE ANALYSIS
    • EWI-27399
    • Markov Automata
    • IR-102861
    • IOCO
    • METIS-320887
    • Model-Based Testing

    Cite this

    Gerhold, M., & Stoelinga, M. I. A. (2016). Model-Based Testing of Stochastic Systems with IOCO Theory. In Proceedings of the 7th International Workshop on Automating Test Case Design, Selection, and Evaluation, A-TEST 2016 (pp. 45-51). New York: Association for Computing Machinery (ACM). https://doi.org/10.1145/2994291.2994298
    Gerhold, Marcus ; Stoelinga, Mariëlle Ida Antoinette. / Model-Based Testing of Stochastic Systems with IOCO Theory. Proceedings of the 7th International Workshop on Automating Test Case Design, Selection, and Evaluation, A-TEST 2016. New York : Association for Computing Machinery (ACM), 2016. pp. 45-51
    @inproceedings{ff279e5c7cc24cc5b8a50cef8049a0df,
    title = "Model-Based Testing of Stochastic Systems with IOCO Theory",
    abstract = "We present essential concepts of a model-based testing framework for probabilistic systems with continuous time. Markov automata are used as an underlying model. Key result of the work is the solid core of a probabilistic test theory, that incorporates real-time stochastic behaviour. We connect ioco theory and hypothesis testing to infer about trace probabilities. We show that our conformance relation conservatively extends ioco and discuss the meaning of quiescence in the presence of exponentially distributed time delays.",
    keywords = "FMT-FMPA: FORMAL METHODS FOR PERFORMANCE ANALYSIS, EWI-27399, Markov Automata, IR-102861, IOCO, METIS-320887, Model-Based Testing",
    author = "Marcus Gerhold and Stoelinga, {Mari{\"e}lle Ida Antoinette}",
    note = "10.1145/2994291.2994298",
    year = "2016",
    month = "11",
    day = "18",
    doi = "10.1145/2994291.2994298",
    language = "Undefined",
    isbn = "978-1-4503-4401-2",
    publisher = "Association for Computing Machinery (ACM)",
    pages = "45--51",
    booktitle = "Proceedings of the 7th International Workshop on Automating Test Case Design, Selection, and Evaluation, A-TEST 2016",
    address = "United States",

    }

    Gerhold, M & Stoelinga, MIA 2016, Model-Based Testing of Stochastic Systems with IOCO Theory. in Proceedings of the 7th International Workshop on Automating Test Case Design, Selection, and Evaluation, A-TEST 2016. Association for Computing Machinery (ACM), New York, pp. 45-51. https://doi.org/10.1145/2994291.2994298

    Model-Based Testing of Stochastic Systems with IOCO Theory. / Gerhold, Marcus; Stoelinga, Mariëlle Ida Antoinette.

    Proceedings of the 7th International Workshop on Automating Test Case Design, Selection, and Evaluation, A-TEST 2016. New York : Association for Computing Machinery (ACM), 2016. p. 45-51.

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

    TY - GEN

    T1 - Model-Based Testing of Stochastic Systems with IOCO Theory

    AU - Gerhold, Marcus

    AU - Stoelinga, Mariëlle Ida Antoinette

    N1 - 10.1145/2994291.2994298

    PY - 2016/11/18

    Y1 - 2016/11/18

    N2 - We present essential concepts of a model-based testing framework for probabilistic systems with continuous time. Markov automata are used as an underlying model. Key result of the work is the solid core of a probabilistic test theory, that incorporates real-time stochastic behaviour. We connect ioco theory and hypothesis testing to infer about trace probabilities. We show that our conformance relation conservatively extends ioco and discuss the meaning of quiescence in the presence of exponentially distributed time delays.

    AB - We present essential concepts of a model-based testing framework for probabilistic systems with continuous time. Markov automata are used as an underlying model. Key result of the work is the solid core of a probabilistic test theory, that incorporates real-time stochastic behaviour. We connect ioco theory and hypothesis testing to infer about trace probabilities. We show that our conformance relation conservatively extends ioco and discuss the meaning of quiescence in the presence of exponentially distributed time delays.

    KW - FMT-FMPA: FORMAL METHODS FOR PERFORMANCE ANALYSIS

    KW - EWI-27399

    KW - Markov Automata

    KW - IR-102861

    KW - IOCO

    KW - METIS-320887

    KW - Model-Based Testing

    U2 - 10.1145/2994291.2994298

    DO - 10.1145/2994291.2994298

    M3 - Conference contribution

    SN - 978-1-4503-4401-2

    SP - 45

    EP - 51

    BT - Proceedings of the 7th International Workshop on Automating Test Case Design, Selection, and Evaluation, A-TEST 2016

    PB - Association for Computing Machinery (ACM)

    CY - New York

    ER -

    Gerhold M, Stoelinga MIA. Model-Based Testing of Stochastic Systems with IOCO Theory. In Proceedings of the 7th International Workshop on Automating Test Case Design, Selection, and Evaluation, A-TEST 2016. New York: Association for Computing Machinery (ACM). 2016. p. 45-51 https://doi.org/10.1145/2994291.2994298