Abstract

The goal of this project is to apply and evaluate statistical model-based testing techniques at NSyre.

In particular, the idea is to

(1) give an overview of several model-based statistical (and probabilistic) testing techniques from the literature.

(2) select the most promising technique(s) and apply these to the models and/or systems provided by NSPyre

(3) evaluate the capabilities of these techniques in terms of coverage, fault detection capabilities, etc