Jul 11, 2017: Marcus Gerhold: Model-Based Testing of Probabilistic Systems with Stochastic Time

July 11, 2017Model-Based Testing of Probabilistic Systems with Stochastic Time
Room: Hal B 2BMarcus Gerhold

Model-Based testing is a method to automatically generate, execute and evaluate
test cases, thus making the validation of software faster and cheaper. Over
recent years a wide variety of testing frameworks was developed, capable of
handling different system aspects such as functional properties, real-time or
quantitative aspects.

In this talk we show how we extend our previous results that established an MBT
framework capable of handling probabilistic aspects in a system specification by
also incorporating stochastically delayed time.

We present a small case study in form of the Bluetooth Device Discovery Protocol
to illustrate our method.