2 Why We Need Model-Based Testing

Systems with Finite Models 87
// ... Reactive system model program, continued
// Actions and enabling conditions for Controller, from implementation
static bool ResetEnabled()
{
return (cevent == ControlEvent.Timeout
&& waitfor == WaitFor.Timeout
&& sensor == Sensor.Error
&& phase == Phase.HandleEvent);
}
[Action]
static void Reset()
{
ResetSensor(); // send reset command to sensor
StartTimer(); // wait for message from from sensor
waitfor = WaitFor.Message;
phase = Phase.WaitForEvent;
}
static bool PollEnabled()
{
return (cevent == ControlEvent.Timeout
&& waitfor == WaitFor.Timeout
&& sensor == Sensor.OK
&& phase == Phase.HandleEvent);
}
[Action]
static void Poll()
{
PollSensor(); // send poll command to sensor
StartTimer(); // wait for message from sensor
waitfor = WaitFor.Message;
phase = Phase.WaitForEvent;
}
// continued ...
Figure 5.13. Reactive system: model program (part 2).
more free ebooks download links at:
http://www.ebook-x.com