At the time of this writing, the otg tool provides none of these, but the modeling
library could be used to write a custom offline test generator.
2 The traversal algorithm is explained in several references cited in Further Reading (Chapter 9).
Systems with Finite Models 139
0
3
Test(0)
6
Test(5)
5
Test(3)
4
Test(2)
1
Test(4)
2
Test(1)
41 47 59 80
70
63
13
ServerSocket()
7
ServerSocket()
9
ClientSocket()
48
ClientSocket()
23
ServerSocket()
11
ClientSocket()
12
ServerSocket()
32
ServerBind()
33
ServerListen()
34
ClientConnect()
35
ServerAccept()
36
ServerSend(double("100"))
37
ServerCloseConnection()
38
ServerClose()
39
ClientReceive_Start()
40
ClientReceive_Finish(double("100"))
ClientClose()
24
ServerBind()
25
ClientSocket()
26
ServerListen()
27
ClientConnect()
28
ServerAccept()
42
ServerSend(double("99.9"))
43
ClientReceive_Start()
44
ClientReceive_Finish(double("99.9"))
45
ClientClose()
46
ServerCloseConnection()
ServerClose()
49
ServerSocket()
50
ServerBind()
51
ServerListen()
52
ClientConnect()
53
ServerAccept()
54
ServerSend(double("100"))
55
ServerCloseConnection()
56
ClientReceive_Start()
57
ClientReceive_Finish(double("100"))
58
ClientClose()
ServerClose()
10
ServerSocket()
71
ServerBind()
72
ServerListen()
73
ClientConnect()
74
ServerAccept()
75
ServerSend(double("99.
Pages:
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206