2 Why We Need Model-Based Testing

Advanced Topics 227
namespace SP
{
[Feature]
class Credits
{
static Set window = new Set(0);
static int maxId = 0;
static Map requests = Map.EmptyMap;
[Action("ReqSetup(m,c)")]
[Action("ReqWork(m,c)")]
static void Req(int m, int c)
{
requests = requests.Add(m, c);
window = window.Remove(m);
}
[Requirement("Section ...: Message IDs must not be repeated")]
static bool ReqEnabled(int m){return window.Contains(m);}
[Requirement("Section ...: Requested credits must be > 0.")]
static bool ReqEnabled(int m, int c){return c > 0;}
[Action("ResSetup(m,c,_)")]
[Action("ResWork(m,c,_)")]
public static void Res(int m, int c)
{
for (int i = 1; i = c;}
[AcceptingStateCondition]
static bool IsAcceptingState() { return requests.IsEmpty; }
[StateInvariant("Section ...: Client must have enough credits")]
static bool ClientHasEnoughCredits()
{
if (requests.Count == 0) return window.Count > 0;
else return true;
}
}
}
Figure 14.1. Credits feature model program.
more free ebooks download links at:
http://www.ebook-x.com