See also Attributes,
NModel
action method, 68, 316
action symbol, 63, 142, 316
action vocabulary, 63, 142, 170, 224, 252, 316
active state, 262, 316
adaptive strategy, 270??“271, 316
Agedis, 276. See also testing tools
algorithms
exploration, 103??“106
postman tour, 137, 148, 151, 325
test execution, 214??“217, 268??”270
Alloy, 150, 219. See also modeling languages
alternating refinement, 277
analysis
liveness, 6, 50??“51, 94, 108??“113, 323
model-based, 5??“7, 10, 47??“52, 106??“113,
131??“136, 228??“230, 232??“240, 308??“310,
324
preliminary, 5, 61??“64, 72??“75, 82??“85, 325
safety, 6, 48??“49, 94, 106??“108, 326
static, 3, 47, 328
animation. See simulation
API. See application programming interface
341
342 Index
application, 15, 20??“23, 316. See also assembly
application programming interface (API), 15,
316
approximation, 7, 316
arc. See link
arity, 124, 241, 316
ASM. See abstract state machine
AsmL, 150, 219, 276. See also modeling
languages
AsmL-T, 150, 219, 276. See also testing tools
aspect-oriented programming, 275
assembly, 18, 23??“25, 99??“100, 121, 157, 197,
283, 316. See also application, csc,
component, Global Assembly Cache
(GAC), library, .NET framework, source
program
assertion, 24??“26, 316
assignment, 58, 68, 316. See also update
assurance method, 3, 317
asynchronous stepper, 264??“265, 274, 317
atomic, 58, 317
atomic action, 142, 317
attribute, 24??“26, 317
attributes, NModel
Abstract, 256??“257
AcceptingStateCondition, 108,
289??“290
Action, 68, 284??“287
Domain, 75, 288??“289
Feature, 118, 282??“283
Requirement, 228, 291??“292
StateFilter, 187, 290??“291
StateInvariant, 106, 290
StatePropery, 189, 291
attributes, NUnit
Category, 25
Test, 24
TestFixture, 24
B, 150, 219.
Pages:
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441