2 Why We Need Model-Based Testing

Advanced Topics 255
namespace PayrollImpl
{
class XyzEmployee
{
int salary = 0;
bool active = true;
public void SetSalary(int x) { this.salary = x; }
public void Delete() { this.active = false; }
static public XyzEmployee Create() { return new XyzEmployee(); }
}
class Stepper : IStepper
{
static Dictionary employees =
new Dictionary();
public CompoundTerm DoAction(CompoundTerm action)
{
switch (action.Name)
{
case "CreateEmployee":
XyzEmployee emp = XyzEmployee.Create();
employees.Add(action[0], emp);
return null;
}
}
case "DeleteEmployee":
XyzEmployee emp2 = employees[action[0]];
emp2.Delete();
return null;
case "SetSalary":
XyzEmployee emp3 = employees[action[0]];
int value = (int) action[1];
emp3.SetSalary(value);
return null;
default:
throw new Exception("Unknown action");
public void Reset() { employees.Clear(); }
}
}
Figure 15.3. Implementation and harness for Payroll2.
more free ebooks download links at:
http://www.ebook-x.com