2 Why We Need Model-Based Testing

36 Why We Need Model-Based Analysis
// ... continued
bool ResetEnabled()
{
return (cevent == ControlEvent.Timeout && waitfor == WaitFor.Timeout
&& sensor == Sensor.Error);
}
void Reset()
{
Console.WriteLine(" Reset");
ResetSensor(); // send reset command to sensor
StartTimer(MessageTimeout); // wait for response from sensor
waitfor = WaitFor.Message;
}
bool PollEnabled()
{
return (cevent == ControlEvent.Timeout && waitfor == WaitFor.Timeout
&& sensor == Sensor.OK);
}
void Poll()
{
Console.WriteLine(" Poll");
PollSensor(); // send poll command to sensor
StartTimer(MessageTimeout); // wait for response from sensor
waitfor = WaitFor.Message;
}
bool CalibrateEnabled()
{
return (cevent == ControlEvent.Command && waitfor == WaitFor.Timeout
&& sensor == Sensor.OK);
}
void Calibrate()
{
Console.WriteLine(" Calibrate ’{0}’", buffer);
double data = Double.Parse(buffer);
// compute with data (not shown)
}
// to be continued ...
Figure 3.3. Process controller class with dispatcher and handlers (2).
more free ebooks download links at:
http://www.ebook-x.com