The action is enabled
when its enabling condition is true. Enabling conditions control the sequence of
actions when a model program executes. Enabling conditions are also called preconditions
or guards.
end state. Next state.
environmental abstraction. Abstraction applied to control structure. A higher level
of environmental abstraction replaces control structure with nondeterminism.
event-driven system. Reactive system.
exhaustive. An analysis that considers every possibility. For example, exhaustive
exploration generates the true FSM. Exhaustive analysis of an ???infinite??? program
is not feasible.
explorable. A model program whose every parameter has a finite domain.
exploration. An analysis technique that generates an FSM from a model program.
factory method. A method that returns an object. In the NModel framework, factory
methods are applied to a library model program, an FSM model program, or an
FSM text file to create an instance of the ModelProgram class than can be used for
exploration or testing.
fail. Of an assertion, to evaluate to false. Of a program, to experience a failure. Of
a test case, to cause a program to experience a failure.
failure. An occurrence where a program does not satisfy its specification or violates
conformance. Some failures are caused by defects.
fault. Defect.
feature. A group of related state variables and actions that might be included or
excluded from a model program.
Pages:
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411