2 Why We Need Model-Based Testing

Advanced Topics 233
namespace SP
{
enum Mode { Sent, CancelRequested }
enum Status { Cancelled, Completed }
[Feature]
class Cancellation
{
static Map mode = Map.EmptyMap;
[Action("ReqSetup(m,_)")]
[Action("ReqWork(m,_)")]
static void Req(int m) { mode = mode.Add(m, Mode.Sent); }
static bool ReqEnabled(int m) { return !mode.ContainsKey(m); }
[Action]
static void Cancel(int m)
{
if (mode.ContainsKey(m) && mode[m] == Mode.Sent)
mode = mode.Override(m, Mode.CancelRequested);
}
[Action("ResSetup(m,_,s)")]
[Action("ResWork(m,_,s)")]
public static void Res(int m, Status s)
{
mode = mode.RemoveKey(m);
}
public static bool ResEnabled(int m, Status s)
{
return mode.ContainsKey(m) &&
(s != Status.Cancelled || mode[m] == Mode.CancelRequested);
}
[AcceptingStateCondition]
static bool IsAcceptingState() { return mode.IsEmpty; }
}
}
Figure 14.7. Cancellation feature model program.
more free ebooks download links at:
http://www.ebook-x.com