2 Why We Need Model-Based Testing

80 Model Programs
}
}
// ... continued
public static bool ClientReceiveEnabled()
{
return (clientSocket == Socket.Connected
&& phase == Phase.ClientReceive);
}
// Return value needed here, server sends different values
[Action]
public static double ClientReceive()
{
double t = clientBuffer;
clientBuffer = EmptyBuffer;
phase = Phase.Send;
return t;
}
public static bool ClientCloseEnabled()
{
return (clientSocket == Socket.Created
|| clientSocket == Socket.Connected);
}
[Action] public static void ClientClose()
{
clientSocket = Socket.Closed;
}
Figure 5.11. Remote instrument client/server: model program (part 5).
all the action method names must be different (you cannot use the class names to
distinguish them).
The Socket type enumerates the values of the two control state variables server-
Socket and clientSocket. They represent the steps in the protocol shown in Chapter
2, Figure 2.2. The Socket type provides all of the values needed by both sockets,
although each socket uses only some of them. Both variables are initialized to None
to indicate no sockets have been allocated, and are intended to reach Closed at the
end of every run.
The Phase type enumerates the values of the control state variable phase. They
represent the alternation of send and receive actions. The initialization ensures that
a send action comes first. The phase variable is updated by the send and receive
more free ebooks download links at:
http://www.ebook-x.com