• 1 Citations

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
Pages45-51
Number of pages7
ISBN (Print)978-1-4503-4401-2
DOIs
StatePublished - 18 Nov 2016

Publication series

Name
PublisherACM

Fingerprint

Testing
Time delay

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. DOI: 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, 2016. p. 45-51.

Research output: Scientific - peer-reviewConference contribution

@inbook{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ëlle Ida Antoinette}",
note = "10.1145/2994291.2994298",
year = "2016",
month = "11",
doi = "10.1145/2994291.2994298",
isbn = "978-1-4503-4401-2",
publisher = "Association for Computing Machinery",
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, New York, pp. 45-51. DOI: 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, 2016. p. 45-51.

Research output: Scientific - peer-reviewConference contribution

TY - CHAP

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

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. 2016. p. 45-51. Available from, DOI: 10.1145/2994291.2994298