Model-based Testing of Stochastic Systems with IOCO Theory
| Title | Model-based Testing of Stochastic Systems with IOCO Theory |
| Publication Type | Conference Paper |
| Year of Publication | 2016 |
| Authors | Gerhold, Marcus, Stoelinga, Mariëlle |
| Conference Name | Proceedings of the 7th International Workshop on Automating Test Case Design, Selection, and Evaluation |
| Publisher | ACM |
| Conference Location | New York, NY, USA |
| ISBN Number | 978-1-4503-4401-2 |
| Keywords | exponentiation, hypothesis testing, ioco, Markov automata, model-based testing, pubcrawl, Resiliency |
| 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. |
| URL | http://doi.acm.org/10.1145/2994291.2994298 |
| DOI | 10.1145/2994291.2994298 |
| Citation Key | gerhold_model-based_2016 |