2 Why We Need Model-Based Testing

Advanced Topics 257
0
CreateEmployee(Employee(1))
1
CreateEmployee(Employee(2))
2
SetSalary(Employee(1),200) SetSalary(Employee(1),0)
3
SetSalary(Employee(2),200) SetSalary(Employee(2),0)
5
Figure 15.4. Scenario FSM composed with Payroll1, with isomorphism reduction.
}
}
public readonly int id;
public Employee(int id) { this.id = id; }
Figure 15.4 shows the result of eliminating isomorphic states while exploring
the composition of Payroll1 and the FSM scenario of Figure 15.1. This graph was
produced by using the /ExcludeIsomorphicStates and /CollapseExcludedIsomorphicStates
options to the mpv tool.
You may annotate enum types with the [Abstract] attribute as well as classes.
The term labels produced for any subtype T of LabeledInstance are considered
to abstract. In other words, if you run the exploration tool in a mode that prunes
away isomorphic states, states that differ only in the choice of object ID will be
eliminated. For example, substituting Payroll2 (with instance fields) for Payroll1
(with the compound value type Employee marked as abstract) would produce the
same exploration graphs.
15.6 Exercises
1. Rewrite the revision control system described in Section 10.4 in a style that uses
CompoundValues for File and User data types. Maintain the field maps explictly.
more free ebooks download links at:
http://www.ebook-x.com