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 here.
ATM Example – New Version of the Test Specification Language
An example of ATM system using the new version of our testing langauge can be found here.
We have performed a user study with eleven participants. Results and other related material from the user study can be found here.