Towards flexible and efficient model-based testing, utilizing domain-specific modelling

Model-Based Testing is a test automation technique that generates test cases based on a model of the system under test. Domain-specific modelling is a modelling approach where the developed system is modelled in terms of domain-specific concepts and these models are automatically transformed to other forms such as application code. In this paper, we will discuss the adoption and integration of domain-specific modelling with model-based testing tools. Since model-based testing tools utilise various modelling notations that typically diverge from a specific domain-model, we will discuss how domain specific models can be automatically transformed to become suitable models for a chosen model-based testing tool. Furthermore, by doing this in terms of a domain-specific meta-model, we will allow one to switch between various model-based testing tools.