Cleanroom Software Engineering Reference Model. Version 1.0.
Richard C. Linger, Carmen J. Trammell · 1996
ion techniques---for example, conditions on stimulus histories---permit compact descriptions in scaling up to large systems. A state box is derived from and verified against a corresponding black box. The state box transition function is ((current stimulus, current state) --> (response, new state)). That is, a state box maps the current stimulus and the current state into a response and a new state. In the state box, the stimulus history of the black box is replaced by retained state data necessary to achieve black box behavior. A state box definition is procedure-free, and isolates and focuses on state invention. State box definitions are often given in tables with columns for current stimulus, current state, response, and new state. A clear box is derived from and verified against a corresponding state box. The clear box transition function is ((current stimulus, current state) --> (response, new state)) by procedures. In the clear box, the procedures required to implement the state ...