2 Why We Need Model-Based Testing

Systems with Finite Models 143
using System;
using NModel.Conformance;
using NModel.Terms;
namespace ClientServerImpl
{
public class Stepper: IStepper
{
const int port = 8000;
const string host = "127.0.0.1"; // localhost
Server s = new Server();
Client c = new Client();
public Action DoAction(Action action)
{
switch (action.Name)
{
case("Tests"): return null; // first action in test seq.
case("ServerSocket"):
s.Socket(); return null;
case("ServerBind"):
s.Bind(host,port); return null;
case("ServerListen"):
s.Listen(); return null;
case("ServerAccept"):
s.Accept(); return null;
case("ServerReceive"):
s.Receive(); return null;
case("ServerSend"):
// s.Send sends a double, not a string
s.Send((double)action[0]);
return null;
case("ServerCloseConnection"):
s.CloseConnection(); return null;
case("ServerClose"):
s.Close(); return null;
// continued ...
Figure 8.4. Client/server: test harness (stepper) (1).
more free ebooks download links at:
http://www.ebook-x.com