See also testing tools, unit
testing
346 Index
object, 99, 142, 157, 247. See also labeled
instance
object graph, 182, 248. See also reachable
object ID, 247, 253. See also abstract value
object-oriented modeling, 247??“258, 276??“277,
324
observer
model program, 211, 324. See also probe
asynchronous stepper, 264, 324
observable action, 8, 33, 142, 216, 259??“261,
268, 324
observation queue, 268??“270, 324
offline testing, 7, 137??“149, 191, 324
Offline Test Generator (tool). See otg
on-the-fly testing 7, 137, 191??“218, 259??“274,
277, 324
online testing. See on-the-fly testing
operational profile, 218
oracle, 4, 7, 26, 54, 145, 238, 325
otg (Offline Test Generator Tool), 7,
137??“141, 148, 311
overloading, 69. See also C#
pair, 169, 304??“305, 325. See also data types
pair state, 125??“126
parameter generation, 105??“106, 120??“121,
183??“186, 229, 245??“246, 325
partial class, 171. See also C#
partial exploration, 263. See also interactive
exploration
partial order, 272, 325
partially explored state, 271, 325
pass, 4, 7, 24??“26, 325
passive state, 262, 325
passive testing, 272, 325
path coverage, 148, 325
payroll (case study), 247??“257
placeholder, 124, 241, 286, 325
postman tour, 137, 148, 151, 325. See also
algorithms, traversal
precondition. See enabling condition
predicate, 228, 325
preliminary analysis, 5, 61??“64, 72??“75, 82??“85,
325
private access, 67, 70, 99
public access, 26, 67, 70, 73, 99, 281, 283
Promela, 150, 219.
Pages:
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441