2 Why We Need Model-Based Testing

254 Modeling Objects
0
CreateEmployee(Employee(1))
1
CreateEmployee(Employee(2))
2
SetSalary(_, 0)
SetSalary(_, 200)
Figure 15.1. Payroll scenario FSM.
SetSalary(Employee(1), 200)
3
4
0
CreateEmployee(Employee(1))
1
2
SetSalary(Employee(1), 0)
SetSalary(Employee(2), 200) SetSalary(Employee(2), 0)
SetSalary(Employee(2), 200) SetSalary(Employee(2), 0)
5
SetSalary(Employee(1), 0)
SetSalary(Employee(1), 200)
CreateEmployee(Employee(2))
Figure 15.2. Payroll scenario FSM composed with Payroll2.
15.4 Harnessing considerations for objects
The term label described in the previous section is also used for harnessing. In other
words, whether the model program has been expressed using an object-oriented
style or not, the harnessing approach will be the same. This is shown in Figure 15.3.
more free ebooks download links at:
http://www.ebook-x.com