2 Why We Need Model-Based Testing

284 Modeling Library Reference
and nonpublic fields are included. Fields inherited from base classes (even those
outside of the model namespace) are included.
Sometimes it is useful to exclude a field from state. This might arise for debugging
or other purposes, including the implementation of the modeling tool itself. The
[ExcludeFromState] attribute can be used to annotate fields that should not be part
of state. This attribute may only be applied to fields.
Fields excluded from the set of state variables must have no behavior affect on
the model, or unpredictable results will occur.
namespace MyModelProgram
{
static class Operations
{
[ExcludeFromState]
static int debugCount = 0;
}
}
A.1.3 Actions
// ...
The action vocabulary of the model is given by the [Action] attribute. The [Action]
attribute applies only to methods.
There are three forms:
[Action]
[Action("label")]
[Action(Start="label", Finish="label")]
where label is a string in the form
label :== action-name [ "(" [ arg { "," arg }* ] ")" ]
action-name :== id
arg :== "this" | "result" | " " | id
id :== ( letterOrDigit | ’@’) { letterOrDigit | ’ ’ }* // lexical
letterOrDigit :== . . . as defined by Char.IsLetterOrDigit method in .NET
The simple form of the [Action] attribute indicates that a default action label
should be used.
more free ebooks download links at:
http://www.ebook-x.com