2 Why We Need Model-Based Testing

}
}
Overview 37
// ... continued
bool CheckMessageEnabled()
{
return (cevent == ControlEvent.Message && waitfor == WaitFor.Message);
}
void CheckMessage()
{
double tol = 5.0;
Console.Write(" CheckMessage ’{0}’", buffer);
try {
double data = Double.Parse(buffer);
if (previous == Double.MaxValue) previous = data; // initialize
Console.Write(", compare to {0}", previous);
if (Math.Abs(data - previous) < tol) {
previous = data;
sensor = Sensor.OK;
}
else sensor = Sensor.Error; // retain old previous
Console.WriteLine(", {0}", sensor);
}
catch {
sensor = Sensor.Error;
Console.WriteLine(", Error");
}
CancelTimer(); // cancel MessageTimeout
StartTimer(PollingInterval); // wait for next time to poll
waitfor = WaitFor.Timeout;
}
bool ReportLostMessageEnabled()
{
return (cevent == ControlEvent.Timeout && waitfor == WaitFor.Message
&& sensor == Sensor.OK);
}
void ReportLostMessage()
{
Console.WriteLine(" ReportLostMessage");
// sensor = Sensor.Error; NOT! Doesn’t change sensor
StartTimer(PollingInterval); // wait for next time to poll
waitfor = WaitFor.Timeout;
}
void PollSensor() {}
void ResetSensor() {}
void CancelTimer() { timer.Enabled = false; }
void StartTimer(int interval) {
timer.Interval = interval; timer.Enabled = true;
}
Figure 3.4. Process controller class with dispatcher and handlers (3).
more free ebooks download links at:
http://www.ebook-x.com