active state. A state in which all enabled actions are controllable.
adaptive. A strategy that remembers the history of previous action selections. An
adaptive strategy is said to learn. Contrast to memoryless.
analysis. See model-based analysis, preliminary analysis, safety analysis, liveness
analysis, static analysis.
animation. Simulation.
API. Application Programming Interface.
application. Software that a user can start to perform some activity. In .NET, an
application is an assembly with a main method, and usually has the file type exe.
An application can use libraries.
application programming interface (API). The facilities provided by a library. In
C#, its public types and methods.
approximation. An FSM that contains some, but not all, of the states and transitions
of another, larger FSM. Exploration that is not exhaustive, but uses sampling or
pruning, generates an approximation of the true FSM.
arc. Link.
arity. The number of parameters of an action.
assembly. In .NET, the output from compiling a source program. Assemblies are
the components of the .NET framework. An assembly can be an application or a
library.
assertion. A predicate that is supposed to be true when execution reaches it. In the
xUnit testing framework, assertions are used as oracles to determine whether tests
pass or fail. Assertions can be used for run-time checks.
Pages:
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405