Probability plays a role in many different systems: cloud computing, robot navigation algorithms, unreliable communication channels, randomized algorithms and communication protocols, service level agreements for telecommunication systems, etc.When such systems are tested, one does not only check whether the functional behavior is correct, but also if the probabilities match the specified behaviour. To do so, one collects test statistics (traces) and uses standard statistical procedures (such as hypothesis testing) to see if the behaviour is desired.

Since the theory of (model-based) probabilistic testing is realitively new, we like to see how well it works in practice. Thus, the goal of this project is to carry out several case studies in probabilistic testing, and see how well these perform in practice.