level of abstraction. The amount of detail from the implementation that is represented
in the model program. A lower level of abstraction represents more detail; a
higher level represents less.
level of integration. A qualitative measure of the number of program units assembled
for testing or other project activities, ranging from the unit level (just one, or a
few, units) up to the system level (all units).
library. A component that provides an API that can be used by applications or other
libraries. In .NET, a library is an assembly without a main method and usually has
the file type dll.
library model program. A library created by compiling a model program coded
in C# with state variables, action methods, and enabling conditions.
link. A connection between two nodes in a graph. Also called edge or arc. In an
FSM, the links represent transitions.
livelock. A liveness failure where execution continues endlessly, never reaching an
accepting state.
liveness. The property that something good will happen: execution will reach an
accepting state and will avoid dead states, deadlock, and livelock. Or, a given
scenario will be executed. Contrast to safety.
liveness analysis. Checking liveness, by searching for dead states or attempting to
execute a given scenario.
lockstep execution. In model-based testing, simultaneous execution of the actions
of the model program and the implementation.
Pages:
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416