2 Why We Need Model-Based Testing

92 Model Programs
}
}
// ... Reactive system model program, continued
static bool CommandEnabled()
{
return (phase == Phase.WaitForEvent);
}
[Action]
static void Command()
{
cevent = ControlEvent.Command;
phase = Phase.HandleEvent;
}
// Helpers for enabling events
static void PollSensor() { MessageRequested = true; }
static void ResetSensor() { MessageRequested = true; }
static void StartTimer() { TimeoutScheduled = true; }
static void CancelTimer() { TimeoutScheduled = false; }
Figure 5.18. Reactive system: model program (part 7).
delivered. TimeoutMsgLate models what happens when the message is delayed; it
leaves MessageRequested == true so the message can be delivered later.
The Message event has a Domain attribute for the Messages method that returns
the set containing the two message values, InRange and OutOfRange. This ensures
that the buffer and previous data state variables can have only those two values.
The four helper methods PollSensor, ResetSensor, StartTimer, and CancelTimer
are called by the handlers. They model commands to the sensor and timer by
assigning MessageRequested and TimeoutRequested.
5.8 Other languages and tools
The concepts taught in this chapter are common to many model-based testing and
analysis systems, not just the library and tools we use. Models store state and execute
more free ebooks download links at:
http://www.ebook-x.com