multiplexing. A technique that produces a single sequence of events generated by
multiple agents in a concurrent system. Multiplexing must consider partial order.
multiplicity. The number of times an element appears in a collection, particularly a
bag.
multiset. Bag.
namespace. In C#, a name applied to a group of type declarations. The namespace
identifies the group and is prefixed to the simple names within the group to form
fully qualified names.
next state. The state after a transition. Also called the target state or end state.
node. One of the elements in a graph that are connected by links. In an FSM, the
nodes represent states.
nondeterminism. Unpredictability. Nondeterminism occurs where there is more
than one alternative, and it is not possible to predict which alternative will be taken.
object-oriented modeling. Using instance variables as state variables.
observer. In a model program, a probe. In an asynchronous stepper, a callback
function that enters observable actions into an observation queue.
observable action. An action that cannot be invoked by a test harness; it can only
be awaited and observed. A system that has observable actions is a reactive system.
Contrast to controllable action.
observation queue. A queue of observable actions that are observed during a test
run that is managed by an asynchronuous stepper.
offline testing.
Pages:
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418