2 Why We Need Model-Based Testing

Systems with Finite Models 119
namespace ClientServer
{
...
static class ClientServer
{
// State variables used by all features
internal static Socket serverSocket = Socket.None;
...
}
}
[Feature]
static class Server
{
// Server action methods and enabling conditions
...
public static bool ServerSocketEnabled()
...
[Action]
public static void ServerSocket()
...
}
[Feature]
class Client
{
// Client action methods and enabling conditions
...
}
// Factory class, several factory methods select different features
public static class Factory
{
// No features argument in constructor, include all features
public static ModelProgram Create()
{
return new LibraryModelProgram(typeof(Factory).Assembly,
"ClientServer");
}
}
// Features argument in constructor, include just that feature
public static ModelProgram CreateServerOnly()
{
return new LibraryModelProgram(typeof(Factory).Assembly,
"ClientServer",
new Set("Server")); //feature
}
Figure 7.3. Client/server: model program with features (excerpts).
more free ebooks download links at:
http://www.ebook-x.com