2 Why We Need Model-Based Testing

Systems with Finite Models 91
// ... Reactive system model program, continued
static bool TimeoutMsgLateEnabled()
{
return (MessageRequested
&& TimeoutScheduled
&& phase == Phase.WaitForEvent);
}
[Action]
static void TimeoutMsgLate()
{
cevent = ControlEvent.Timeout;
TimeoutScheduled = false;
phase = Phase.HandleEvent;
// MessageRequested remains true, message will arrive later
}
static bool MessageEnabled()
{
return (MessageRequested
&& phase == Phase.WaitForEvent);
}
// This action has a parameter, must have Domain
[Action]
static void Message([Domain("Messages")] string message)
{
cevent = ControlEvent.Message;
buffer = message;
MessageRequested = false;
phase = Phase.HandleEvent;
}
static Set Messages()
{
return new Set(InRange, OutOfRange);
}
// continued ...
Figure 5.17. Reactive system: model program (part 6).
more free ebooks download links at:
http://www.ebook-x.com