See also attributes, NUnit
tester action. See controllable action
testing, 3, 23, 329
a priori. See offline testing
component, 9??“10
model-based, 7??“8, 10, 137??“149, 191??“218,
259??“274, 311??“314, 324
offline, 7, 137??“149, 191, 324
on-the-fly, 7, 137, 191??“218, 259??“274, 277,
324
online. See on-the-fly testing
passive, 272, 325
system, 9??“10, 23, 329
unit, 9??“10, 23??“30, 40??“44, 70??“72, 330
testing tools. See ct, otg
Agedis, 276
AsmL-T, 150, 219, 276
CppUnit, 23
JUnit, 23
Korat, 276
NUnit, 23??“25
Spec Explorer, 150, 219??“220, 276
TorX, 277
TGV, 277
Uppaal-Tron, 277
xUnit, 23, 54
TGV, 277. See also testing tools
timeout action, 268??“270, 330
timer, 33??“41, 83??“85, 92. See also .NET
framework
TLA, 150, 219. See also modeling languages
top level, 68
TorX, 277. See also testing tools
trace, 58, 63, 73??“74, 83??“84, 141, 147,
170??“171, 238??“244, 261, 330. See also
run
transition, 6, 330
transition coverage, 148, 330
traversal, 7, 96??“97, 330. See also postman tour
triple, 169, 305, 330. See also data types
true FSM, 7, 97, 115??“116, 330
type. See data types
union, 159, 162, 330
unit, 4, 8, 23, 330
unit testing, 9??“10, 23??“30, 40??“44, 70??“72, 330
unity, 150, 219. See also modeling languages
update, 68, 330. See also guarded update
update rule, 68, 93. See also action method,
guarded update rule
unwinding, 330.
Pages:
428
429
430
431
432
433
434
435
436
437
438
439
440
441