2 Why We Need Model-Based Testing

Systems with Finite Models 77
// ... continued
public static bool ServerListenEnabled()
{
return (serverSocket == Socket.Bound);
}
[Action]
public static void ServerListen()
{
serverSocket = Socket.Listening;
}
public static bool ServerAcceptEnabled()
{
return (serverSocket == Socket.Listening
&& clientSocket == Socket.Connecting);
}
[Action]
public static void ServerAccept()
{
serverSocket = Socket.Connected; clientSocket = Socket.Connected;
}
public static bool ServerReceiveEnabled()
{
return (serverSocket == Socket.Connected
&& phase == Phase.ServerReceive);
}
// No parameter needed here, client always sends same thing
[Action]
public static void ServerReceive()
{
phase = Phase.Send;
}
// continued ...
Figure 5.8. Remote instrument client/server: model program (part 2).
more free ebooks download links at:
http://www.ebook-x.com