2 Why We Need Model-Based Testing

Systems with Finite Models 79
// ... continued
// Client enabling conditions and actions
public static bool ClientSocketEnabled()
{
return (clientSocket == Socket.None);
}
[Action]
public static void ClientSocket()
{
clientSocket = Socket.Created;
}
public static bool ClientConnectEnabled()
{
return (clientSocket == Socket.Created
&& serverSocket == Socket.Listening);
}
[Action]
public static void ClientConnect()
{
clientSocket = Socket.Connecting;
}
public static bool ClientSendEnabled()
{
return (clientSocket == Socket.Connected
&& phase == Phase.Send);
}
// No parameter needed here, client always sends the same thing
[Action]
public static void ClientSend()
{
phase = Phase.ServerReceive;
}
// continued ....
Figure 5.10. Remote instrument client/server: model program (part 4).
more free ebooks download links at:
http://www.ebook-x.com