The triple data type in the NModel
library is a value type.
true FSM. The FSM that describes all of the runs of a model program. The FSM
that is generated from a model program by exhaustive exploration. It is not feasible
to generate the true FSM of a ???infinite??? model program; we can only generate an
approximation instead. Contrast to scenario FSM.
union. A set that contains all the elements of two other sets. Or, the operation on
two sets that returns their union.
unit. The smallest amount of software which is reasonable to test. In C#, the units
are usually classes (or other types).
unit testing. Testing that executes some (perhaps just one) of the units from which
a program is constructed. Contrast to system testing.
update. An assignment, or several.
update rule. Action method.
unsafe state. A state that violates an invariant.
unwind. To generate a less compact but possibly more useful representation from a
more compact one. For example, to explore a model program to generate an FSM,
or to traverse an FSM to generate a test suite.
validate. To show that a specification or model program expresses the intended
behaviors.
value array. A data type in the NModel library which is similar to a C# array, but
is immutable and uses structural equality. Value array is a compound value.
value type.Adata type that uses structural equality and is immutable.
Pages:
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428