See also state
StateFilter, 187, 290??“291. See also
Attributes, NModel
StateInvariant, 106, 290. See also
Attributes, NModel
StatePropery, 189, 291. See also
Attributes, NModel
static analysis, 3, 47, 328
static class, 75, 328. See also C#
step, 53, 58, 328. See also action
stepper, 142??“146, 192, 198??“200, 211??“212,
328. See also test harness
stochastic, 190, 328
stopping rule, 105, 329
348 Index
strategy, 8, 191, 199??“209, 217??“218, 329
adaptive, 270??“271, 316
memoryless, 202, 323
random, 191??“193, 202??“203, 326
strengthen, 187??“188, 229, 329. See also
enabling condition
string, 156??“159. See also C#, data types
structural coverage, 204, 329
structural equality, 157, 248, 329
Symstra, 276. See also testing tools
system testing, 9??“10, 23, 329
TCP/IP (Internet protocol), 13, 15
target state. See next state
temperature calibration (case study). See
reactive system
temperature monitor (case study). See
client/server
temporal logic, 150, 277
temporal property, 4, 6, 113, 115, 132, 150,
246, 329
term, 141, 144??“145, 211??“212, 306??“307,
329
term label, 249, 253??“254, 329
test (NUnit), 23??“25, 329
Test, 24. See also attributes, NUnit
test case, 137, 329
test-driven development, 9, 329
test execution, 214??“217, 268??“270. See also
algorithms
test fixture, 24, 329
test harness, 8, 142, 211, 254??“256, 329. See
also stepper
test method, 24, 329
test run, 217, 329
test runner, 23, 329
test suite, 137, 329
TestFixture, 24.
Pages:
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441