Model-Driven Engineering of Information Systems

Domain-Specific Modeling to Guide Model-Based Test Generation 305

ated transitions. As it is out experience that transitions in test generation

represent a form of test step in a test model, we also support using the

annotation @TestStep instead of @Transition. Other control-fl ow relat-

ed elements include the @Pre and @Post annotations, which cause any

tagged methods to be executed before (@Pre) or after (@Post) the asso-

ciated transitions. Association is similar as for @Guard annotations. For

example, we have used @Post annotations to provide generic test oracles

that should be executed after each test step (to evaluate model state vs

SUT), and both @Pre and @Post annotations to provide logging informa-

tion on the model state before and after ...