2 Why We Need Model-Based Testing

78 Model Programs
// ... continued
public static bool ServerSendEnabled()
{
return (serverSocket == Socket.Connected
&& phase == Phase.Send);
}
// Parameter here, server can send different temperatures
[Action]
public static void ServerSend([Domain("Temperatures")] double datum)
{
clientBuffer = datum;
phase = Phase.ClientReceive;
}
// Domain for ServerSend parameter t
static Set Temperatures()
{
return new Set(Temp2, Temp3);
}
public static bool ServerCloseConnectionEnabled()
{
return (serverSocket == Socket.Connected);
}
[Action]
public static void ServerCloseConnection()
{
serverSocket = Socket.Disconnected;
}
public static bool ServerCloseEnabled()
{
return (serverSocket != Socket.None
&& serverSocket != Socket.Connected
&& serverSocket != Socket.Closed);
}
[Action]
public static void ServerClose()
{
serverSocket = Socket.Closed;
}
// continued ...
Figure 5.9. Remote instrument client/server: model program (part 3).
more free ebooks download links at:
http://www.ebook-x.com