2 Why We Need Model-Based Testing

86 Model Programs
using System; // Math for Abs in CheckMessage
using NModel;
using NModel.Attributes;
using NModel.Execution;
namespace Reactive
{
static class Controller
{
// Types from implementation
enum ControlEvent { Timeout, Message, Command, Exit }
enum WaitFor { Timeout, Message }
enum Sensor { OK, Error }
// Types added for model
enum Phase { WaitForEvent, HandleEvent }
// Control state from implementation
static ControlEvent cevent = ControlEvent.Timeout;
static WaitFor waitfor = WaitFor.Timeout; // enable Reset
static Sensor sensor = Sensor.Error; // enable Reset
// Control state added for model
// Alternate between waiting for events and handling events
static Phase phase = Phase.WaitForEvent;
// Model the timer and the sensor
static bool TimeoutScheduled = true;
static bool MessageRequested = false;
// Data state from implementation
static string buffer = OutOfRange;
static double previous = Uninitialized;
// Constants
const string InRange = "99.9"; // for buffer
const string OutOfRange = "999.9"; // for buffer
const double Uninitialized = double.MaxValue; // for previous
// continued ...
Figure 5.12. Reactive system: model program (part 1).
more free ebooks download links at:
http://www.ebook-x.com