state property. A value computed from a state. All states where the property has the
same value belong to the same state grouping. Also called an abstraction function
or a group label.
state transition. Transition.
state transition diagram. A picture of the directed graph that represents an FSM,
where bubbles represent states, arrows represent transitions, and labels on the arrows
represent actions.
state transition table. A table that represents an FSM, with one row for each transition
(or group of transitions with ???don??™t care??? or ???don??™t change??? values).
state variable.Avariable in a model programthat stores state. In the NModel framework,
static variables and instance variables, but not parameters or local variables,
are state variables.
static analysis. Analysis that checks code without executing it. Contrast to testing.
static class. In C#, a class labeled with the static modifier. A static class can only
have static variables and static methods.
step. The execution of an action.
stepper. A test harness used with the NModel framework, which supports lockstep
execution.
stochastic. An algorithm that combines random and directed aspects. Some strategies
and sampling algorithms are stochastic.
Appendices 329
stopping rule. A rule which causes exploration to stop, possibly before it generates
the true FSM. For example, a rule might stop exploration when a certain number of
transitions have been explored.
Pages:
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425