2 Why We Need Model-Based Testing

Appendices 291
}
{
}
static Set pendingRequests = Set.EmptySet;
[StateFilter]
static bool LimitNumberOfRequests()
{
return pendingRequests.Count < 4;
}
State filters are often used in conjuction with a [Feature] attribute so that they
may selectively applied.
A.1.9 State properties
The [StateProperty] attribute indicates additional information that may be used by
the exploration algorithm when deciding which states to explore. It may be applied
to a method, property, or field. Properties are named. If a name is not given in the
attribute, the property name defaults to the target name.
namespace MyModelProgram
{
static class Contract
{
static Set pendingRequests = Set.EmptySet;
}
A.1.10 Requirements
}
[StateProperty("NumberOfRequests")]
static int RequestCount()
{
return pendingRequests.Count;
}
It is sometimes useful to document the link between the elements of a model program
and a natural language requirements document. We use an attribute in the form
[Requirement("string")] for this purpose. The string string provides traceability
back to an external requirement source.
more free ebooks download links at:
http://www.ebook-x.com