2 Why We Need Model-Based Testing

5
ReqWork(2, 2)
3
0
1
6
7
ReqSetup(0, 2)
ResSetup(0, 2, Status("Completed"))
ReqWork(1, 2)
ResWork(1, 2, Status("Completed"))
ReqWork(2, 2)
ResWork(1, 2, Status("Completed"))
8
Cancel(1)
10
ResWork(1, 2, Status("Cancelled"))
ResWork(2, 2, Status("Completed"))
ResWork(1, 2, Status("Completed"))
4
2
ResWork(2, 2, Status("Completed"))
ResWork(1, 2, Status("Cancelled"))
ResWork(2, 2, Status("Completed"))
ResWork(1, 2, Status("Completed"))
9
ResWork(1, 2, Status("Completed"))
Figure 14.17. Full exploration of the sample protocol model including the scenarios in Figure 14.16.
Client Server
ReqSetup(0,2)
ResSetup(0,2,Status("Completed"))
ReqWork(1,2)
ReqWork(2,2)
Cancel(1)
ResWork(2,2,Status("Completed"))
ResWork(1,2,Status("Completed"))
Figure 14.18. A valid trace of actions in Figure 14.17.
240
more free ebooks download links at:
http://www.ebook-x.com