310 Model-Driven Engineering of Information Systems
minimum of 2 times. We also defi ne that we want the step AddOverlap-
pingEvent to occur a minimum of 3 times. The AddTask step needs to be
present exactly once in each generated test case, and the AddOverlapping-
Task at most 2 times.
The third and fi nal table in this example specifi es that the variable
EventCount should have the value of 5 at some point in each generated test
case. As the model program uses the EventCount variable to express the
total number of both organizer events and participant events, this ensures
that their total sum as active events during a test case reaches 5 at some
point. At the same time, the previously defi ned requirements for different
types of transitions ensure ...