Stefan Mijatov


In MDE, quality of models is an important issue as models constitute the central artifacts in the development process. When executable models are employed, it is possible to validate their functional correctness by applying model testing where the model under test is executed and different properties of the carried out execution are validated. Unfortunately, systematic testing approaches for models are rare.

We developed a testing framework for UML models based on the fUML standard which provides a virtual machine for executing UML activities. This testing framework comprises a test specification language for expressing assertions on the execution behavior of UML activities as well as a test interpreter for evaluating them.

More details on our testing framework for UML can be found at

ATM Example – New Version of the Test Specification Language

We introduced several new features into our test specification language, which are illustrated on the example of an ATM system. The example and descriptions of the provided features can be found at

User Study

For evaluating the ease of use and usefulness of our testing framework, we have performed a user study with eleven participants. The results of the user study and other related materials be found at

© 2018 moliz - Suffusion theme by Sayontan Sinha