2 Why We Need Model-Based Testing

76 Model Programs
using NModel;
using NModel.Attributes;
using NModel.Execution;
namespace ClientServer
{
public enum Socket { None, Created, Bound, Listening, Connecting,
Connected, Disconnected, Closed }
public enum Phase { Send, ServerReceive, ClientReceive }
public static class ClientServer
{
const double EmptyBuffer = double.MaxValue;
const double Temp2 = 99.9; // Temperature, 2 digits
const double Temp3 = 100.0; // Temperature, 3 digits
// Control state
public static Socket serverSocket = Socket.None;
public static Socket clientSocket = Socket.None;
public static Phase phase = Phase.Send;
// Data state
public static double clientBuffer = EmptyBuffer;
// Server enabling conditions and actions
public static bool ServerSocketEnabled()
{
return (serverSocket == Socket.None);
}
[Action]
public static void ServerSocket()
{
serverSocket = Socket.Created;
}
public static bool ServerBindEnabled()
{
return (serverSocket == Socket.Created);
}
[Action]
public static void ServerBind()
{
serverSocket = Socket.Bound;
}
Figure 5.7. Remote instrument client/server: model program (part 1).
more free ebooks download links at:
http://www.ebook-x.com