2 Why We Need Model-Based Testing

88 Model Programs
// ... Reactive system model program, continued
static bool CalibrateEnabled()
{
return (cevent == ControlEvent.Command
&& waitfor == WaitFor.Timeout
&& sensor == Sensor.OK
&& phase == Phase.HandleEvent);
}
[Action]
static void Calibrate()
{
double data = double.Parse(buffer);
phase = Phase.WaitForEvent;
}
static bool CheckMessageEnabled()
{
return (cevent == ControlEvent.Message
&& waitfor == WaitFor.Message
&& phase == Phase.HandleEvent);
}
[Action]
static void CheckMessage()
{
double tol = 5.0;
try {
double data = double.Parse(buffer);
if (previous == double.MaxValue) previous = data; // initialize
if (Math.Abs(data - previous) < tol) {
previous = data;
sensor = Sensor.OK;
}
else sensor = Sensor.Error; // retain old previous
}
catch {
sensor = Sensor.Error;
}
CancelTimer(); // cancel messageTimeout
StartTimer(); // wait for next time to poll
waitfor = WaitFor.Timeout;
phase = Phase.WaitForEvent;
}
// continued ...
Figure 5.14. Reactive system: model program (part 3).
more free ebooks download links at:
http://www.ebook-x.com