On a probabilistic approach tо testing of sequential devices

A probabilistic approach is suggested to test of discrete units with a memory with analysis of their behaviour in the vicinity of its initial state. In the test the expected probability distribution of the single signals at the outputs of an operational unit are compared with those obtained in experiments with the unit to be tested. In the procedure for computing the expected probability distribution the description of the unit behaviour as a Markov chain is used.