Jens Smits - Testing (of Statecharts, of transformations, ...) 

  Abstract

Model driven engineering (MDE) as a discipline is still relatively young, and just as older disciplines struggled when at first they were confronted with testing, so does MDE. We want to be able to automatically test if the behaviour of a given model is correct. In this paper we will bring forth an idea for testing Statechart models by automatically inserting events and testing if this gives the required results such as is the case with unit testing in traditional programming.

Keywords: Testing, Statecharts, MDE

  Reading

Here you can find the report and presentation for the reading part of the project for the course model driven engineering.

Report 1

Presentation 1

  Abstract 2

Model driven engineering (MDE) as a discipline is still relatively young and just as older disciplines struggled when at first they were confronted with testing, so does MDE. We want to be able to automatically test if the behaviour of a given model is correct. In this paper we will bring forth an idea for testing statechart models by inserting events and testing if this gives the required results. We will do this according to the principles of black box and white box testing. We will start implementing a framework in AtomPM based on these testing principles as our project.

Keywords: Testing, Statecharts, MDE, Black box testing, White box testing, AtomPm

  Implementation

Here the final report, presentation and the project data itself can be found.

Final report

Final presentation

Project files