322 Glossary
implementation under test (IUT). The implementation that is the subject of testing,
that is executed during test runs.
indexer. In C#, a construct that accesses a data structure using indices, as if it were
an array. The NModel library provides access to the arguments of an action term
through an indexer.
???infinite.??? Perhaps not mathematically infinite, but too large to store each element,
or to consider each element one by one. Exhaustive analysis of an ???infinite??? program
is not feasible; the analysis must be finitized.
infinitely branching. A model program where an ???infinite??? number of transitions
are enabled in some states, because actions have ???infinite??? domains. An infinitely
branching model program is not explorable, but can be made explorable by appropriate
parameter generation.
informal. Expressed in a notation that cannot be analyzed automatically, such as
natural language or hand-drawn diagrams. Contrast to formal.
initial state. The state where a run begins. It is necessary to identify the initial state
of an FSM.
inspection. An assurance method where people examine documents or code, checking
for errors. Informal documents can be inspected.
interesting. A state that is partially explored or that has a path leading to a partially
explored state. A strategy might give priority to actions that lead to interesting states.
Pages:
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414