2 Why We Need Model-Based Testing

122 Structuring Model Programs with Features and Composition
namespace ClientServer
{
...
static class ClientServer
{
// State variables, methods used by all features
...
[Action]
static void ServerSend(double datum) // No [Domain], use features instead
...
}
}
[Feature]
static class TemperatureX2
{
readonly static Set Temperatures = new Set(99.9, 100.0);
}
[Action]
static void ServerSend([Domain("Temperatures")] double datum) {}
[Feature]
static class TemperatureX4
{
readonly static Set Temperatures =
new Set(98.8, 99.9, 100.0, 101.1);
}
[Action]
static void ServerSend([Domain("Temperatures")] double datum) {}
// Factory class, factory methods select features with different domains
public static class Factory
{
public static ModelProgram CreateWithTemperatureX2()
{
return new LibraryModelProgram(typeof(Factory).Assembly,
"ClientServer",
new Set("TemperatureX2"));
}
}
public static ModelProgram CreateWithTemperatureX4()
{
...
}
Figure 7.5. Client/server: model program with features that select domains (excerpts).
more free ebooks download links at:
http://www.ebook-x.com