2 Why We Need Model-Based Testing

236 Compositional Modeling
namespace SP
{
enum CMD { Setup, Work }
[Feature]
public class Commands
{
static Map cmd = Map.EmptyMap;
[Action("ReqSetup(m,_)")]
static void ReqSetup(int m) {cmd = cmd.Add(m, CMD.Setup);}
static bool ReqSetupEnabled(int m) {return !cmd.ContainsKey(m);}
[Action("ResSetup(m,_,_)")]
static void ResSetup(int m) {cmd = cmd.RemoveKey(m);}
static bool ResSetupEnabled(int m)
{
return cmd.ContainsKey(m) && cmd[m] == CMD.Setup;
}
[Action("ReqWork(m,_)")]
static void ReqWork(int m) {cmd = cmd.Add(m, CMD.Work);}
static bool ReqWorkEnabled(int m) {return !cmd.ContainsKey(m);}
[Action("ResWork(m,_,_)")]
static void ResWork(int m) {cmd = cmd.RemoveKey(m);}
static bool ResWorkEnabled(int m)
{
return cmd.ContainsKey(m) && cmd[m] == CMD.Work;
}
[AcceptingStateCondition]
static bool IsAcceptingState() { return cmd.IsEmpty; }
}
}
Figure 14.12. Commands feature model program.
FSM(0, AcceptingStates(0),
Transitions(t(0,ReqSetup(3),0), t(0,ReqWork(4),0),
t(0,ResSetup(3),0), t(0,ResWork(4),0)))
Figure 14.13. A scnenario used to restrict the commands model program.
more free ebooks download links at:
http://www.ebook-x.com