2 Why We Need Model-Based Testing

13
11
Commit("bob")
12
Systems with Complex State 181
Revert("bob", "file1")
CommitComplete("bob", 2)
9
10
Commit("bob")
15
Edit("bob", "file1", Op("Change"))
Commit("bob")
MustResolve("bob", Set("file1"))
14
Revert("bob", "file1")
16
18
8
...
CommitComplete("alice", 2)
Commit("bob") Revert("bob", "file1") Edit("bob", "file1", Op("Change"))
Figure 10.1. Revision control system: Resolution.
17
Commit("bob")
CommitComplete("bob", 3)
Resolve("bob", "file1")
figure starts with the CommitComplete("alice", 2) action of the scenario and shows
all possible completions for user bob.
10.5 Exercises
1. In what ways is a .NET array different from a Sequence?
more free ebooks download links at:
http://www.ebook-x.com