2 Why We Need Model-Based Testing

Advanced Topics 239
namespace SP
{
[Feature]
public static class CreditScenario
{
static readonly Set C = new Set(2);
static Set M()
{
if (Credits.window.IsEmpty)
return Set.EmptySet;
else
return new Set(Credits.window.Minimum());
}
}
[Action("ReqSetup(m,c)")]
[Action("ReqWork(m,c)")]
static void Req([Domain("M")]int m, [Domain("C")]int c) { }
static bool ReqEnabled(int m) { return m < 3; }
[Action("ResSetup(m,c,_)")]
[Action("ResWork(m,c,_)")]
static void Res(int m, int c){}
static bool ResEnabled(int m, int c)
{
return Credits.requests.ContainsKey(m) &&
Credits.requests[m] == c;
}
}
[Feature]
public static class CancelScenario
{
static Set M()
{
if (Cancellation.mode.Keys.Count < 2)
return Set.EmptySet;
else
return new Set(Cancellation.mode.Keys.Minimum());
}
}
[Action]
static void Cancel([Domain("M")]int m) { }
static bool CancelEnabled(int m)
{
return Cancellation.mode[m] == Mode.Sent;
}
Figure 14.16. Two scenarios for the composition with the protocol features.
more free ebooks download links at:
http://www.ebook-x.com