2 Why We Need Model-Based Testing

Systems with Complex State 197
using System.Collections.Generic;
using NModel;
using NModel.Attributes;
namespace BagModel
{
[Feature]
static class ElementRestriction
{
readonly static Set E = new Set(null,"","b");
}
}
[Action]
static void Add([Domain("E")]string e)\verb+{}+
[Action]
static void Delete([Domain("E")]string e)\verb+{}+
[Action]
static void Lookup_Start([Domain("E")]string e)\verb+{}+
[AcceptingStateCondition]
static bool IsAcceptingState() {return Contract.content.IsEmpty;}
public static class Factory
{
public static ModelProgram CreateScenario()
{
return new LibraryModelProgram(typeof(Contract).Assembly,
"BagModel", new Set("ElementRestriction"));
}
}
Figure 12.3. A feature of the bag model and a scenario including the feature.
The factory method CreateScenario creates a restricted model where the input
parameters to the actions are restricted to the given elements. The method uses
the LibraryModelProgram constructor that takes an assembly, a namespace that
identifies a model program in the assembly, and a set of feature names within that
more free ebooks download links at:
http://www.ebook-x.com