Testing is a vital part of the software development lifecycle, ranging from small scale unit tests of individual modules up to bigger-picture acceptance tests of requirements. Unlike most verification techniques, testing is often directly applied on-site on the actual software system. At the same time testing is costly and often consumes large chunks of a project's budget. To counteract this discrepancy testing can be automated to varying degrees.
In FMT we are interested in this automation. Specifically, our research is aimed at testing based on formal models, leading to so called model-based testing (MBT). In particular we're interested in performance evaluations of existing MBT techniques. This research is highlighted by the relatively new field of testing probabilistic systems—systems that inherently require randomized methods to perform their tasks—and we are eager to see recent theory brought to life by the means of case studies.
If you are interested in the general topic of Testing, or if have your own project idea related to the topic, please contact us directly. Alternatively, you can also work on one of the following concrete project proposals: