2 Why We Need Model-Based Testing

288 Modeling Library Reference
[Action]
static void Foo(int x)
{
mode = Mode.Running;
}
In this example, the methods FooEnabled(), FooEnabled(int), and FooEnabled2(int)
are enabling conditions of action Foo.
Note that an action method may have more than one enabling condition by
overloading. An enabling condition method may have fewer arguments than (but
no more than) its associated action method. The type of each parameter of enabling
condition method must match the type of the corresponding parameter in the action
method.
A static enabling condition method may be used for an instance-based action
method. If the static enabling condition method takes parameters, the first parameter
must represent the this parameter:
class Bar
{
static void FooEnabled(Bar obj)
{
return obj != null && obj.mode == Mode.Start;
}
}
static void FooEnabled(Bar obj, int x)
{
return x > 0;
}
[Action]
void Foo(int x)
{
this.mode = Mode.Running;
}
A.1.5 Parameter domains
Model programs may be given finite domains for exploration. This is done using the
[Domain] attribute applied to method parameters. The form of the domain attribute
is
[Domain("name")]
more free ebooks download links at:
http://www.ebook-x.com