Los puntos clave no están disponibles para este artículo en este momento.
A technique is presented whereby a significant amount of program validation can be done simply by exercising the program components in a model environment provided by a finite state machine, specially built to characterise the real environment of that component. The tools necessary to support such a technique are characterised and the merits and demerits of the technique are discussed.
Peter Henderson (Tue,) studied this question.