2 Why We Need Model-Based Testing

Systems with Finite Models 89
// ... Reactive system model program, continued
static bool ReportLostMessageEnabled()
{
return (cevent == ControlEvent.Timeout
&& waitfor == WaitFor.Message
&& sensor == Sensor.OK
&& phase == Phase.HandleEvent);
}
[Action]
static void ReportLostMessage()
{
StartTimer(); // wait for next time to poll
waitfor = WaitFor.Timeout;
phase = Phase.WaitForEvent;
}
// NoHandler is enabled when no other handler is enabled
static bool NoHandlerEnabled()
{
return (phase == Phase.HandleEvent
&& !ResetEnabled()
&& !PollEnabled()
&& !CalibrateEnabled()
&& !CheckMessageEnabled()
&& !ReportLostMessageEnabled());
}
[Action]
static void NoHandler()
{
phase = Phase.WaitForEvent;
}
// continued ...
Figure 5.15. Reactive system: model program (part 4).
more free ebooks download links at:
http://www.ebook-x.com