Back to research topics

This research will be part of the SUMBAT research project. SUMBAT integrates model based testing with automata learning. With model based testing we manually create a model of the system under test. This can be rather difficult, especially for legacy systems where specifications are missing, incomplete or incorrect.

Model learning is an approach where a model is derived from e.g. log files or other observations of the system. It will attempt to construct a model that corresponds to the observed behavior. Model learning is actively researched at the universities of Twente and Nijmegen. One of the leading tools is LearnLib.

Some of the topics for research in model learning are:

Possible research questions: