2 Why We Need Model-Based Testing

90 Model Programs
// ... Reactive system model program, continued
// Actions and enabling conditions for environment, added for model
static bool TimeoutEnabled()
{
return (!MessageRequested
&& TimeoutScheduled
&& phase == Phase.WaitForEvent);
}
[Action]
static void Timeout()
{
cevent = ControlEvent.Timeout;
TimeoutScheduled = false;
phase = Phase.HandleEvent;
}
static bool TimeoutMsgLostEnabled()
{
return (MessageRequested
&& TimeoutScheduled
&& phase == Phase.WaitForEvent);
}
[Action]
static void TimeoutMsgLost()
{
cevent = ControlEvent.Timeout;
TimeoutScheduled = false;
phase = Phase.HandleEvent;
MessageRequested = false;
}
// continued ...
Figure 5.16. Reactive system: model program (part 5).
more free ebooks download links at:
http://www.ebook-x.com