2 Why We Need Model-Based Testing

Appendices 283
namespace MyModelProgram
{
[Feature]
static class CreditsRestriction
{
static int nMsg = 0;
}
}
static bool ResetEnabled()
{
return (nMsg < 10 && Contract.MyStateVariable1);
}
[Action]
static void Reset()
{
nMsg += 1;
}
The factory method to instantiate this feature is the following:
namespace MyModelProgram
{
public static class Factory
{
public static ModelProgram Create()
{
return new LibraryModelProgram(typeof(Factory).Assembly,
"MyModelProgram",
new Set("CreditsRestriction"));
}
}
}
The features to be loaded are included as a Set-valued argument to the constructor.
All classes in the given assembly and namespace that contain a matching feature
attribute will be loaded as part of the model.
A.1.2 State variables
The state vocabulary of a model program consists of all fields declared within the
model program’s namespace. Both instance and static fields are included. Public
more free ebooks download links at:
http://www.ebook-x.com