Biblio
Filters: Keyword is Markov automata [Clear All Filters]
.
2016. Model-based Testing of Stochastic Systems with IOCO Theory. Proceedings of the 7th International Workshop on Automating Test Case Design, Selection, and Evaluation. :45–51.
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.