### Abstract

Original language | Undefined |
---|---|

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

Place of Publication | New York |

Publisher | Association for Computing Machinery |

Pages | 45-51 |

Number of pages | 7 |

ISBN (Print) | 978-1-4503-4401-2 |

DOIs | |

State | Published - 18 Nov 2016 |

### Publication series

Name | |
---|---|

Publisher | ACM |

### Fingerprint

### Keywords

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

### Cite this

*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

}

*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.

Research output: Scientific - peer-review › Conference 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 -