2 Why We Need Model-Based Testing

Appendices 289
where name is a string naming a method, property, or field in the containing class.
An example of its use is
[Action]
static void Foo([Domain("SomeInts")] int x)
{
/* ... */
}
static readonly Set SomeInts = new Set(1, 2, 3, 4);
If a method name is given as the domain name and the action method is static,
then the domain method must also be static. For an instance-based action method,
domain methods may be either static or instance-based. Domain methods must
take no parameters. Their return type must be a Set, where T is the type of the
parameter being attributed.
Only types with finite domains have default domains. This includes System.
Boolean and all enum types.
The domain attribute may be applied to instance methods to give the possible
values of the implicit this parameter of the instance method.
A.1.6 Accepting state conditions
Runs of a model program may terminate only in an accepting state. The predicates
that determine whether a given state is an accepting state are given by the
[AcceptingStateCondition] attribute. The target of this attribute may be a method,
field, or property.
An example of the use of this attribute is
namespace MyModelProgram
{
static class Contract
{
static Set pendingRequests = Set.EmptySet;
}
}
[AcceptingStateCondition]
static bool NoPendingRequests()
{
return pendingRequests.IsEmpty;
}
more free ebooks download links at:
http://www.ebook-x.com