2 Why We Need Model-Based Testing

A Modeling Library
Reference
A model program created from C# source consists of actions and variables defined
by the types declared in a single namespace. The namespace name is the model
program name. For example:
namespace MyModelProgram
{
static class Contract
{
static bool MyStateVariable1 = true;
}
}
[Action]
static void Reset() { /* ... */ }
class Client : LabeledInstance
{
bool isEntered = false;
// ...
}
The model program named MyModelProgram has two state variables, MyState-
Variable1 and isEntered, as well as one action named Reset. The isEntered state
variable can be seen as a field map of Client object IDs to Boolean values, since it
has a value for each instance of the class.
The tools require you to provide a factory method as a command-line argument.
The factory method should be a static public method with return type ModelProgram.
For example,
more free ebooks download links at:
http://www.ebook-x.com
281