Test length for random testing of sequential machines application to RAMs

For a combinational fault, the probability of nondetection decreases exponentially with the test length L: ε=(1-p_f)^L, where p_f is the probability of detecting the fault f by a random test vector. For a sequential fault, the problem is more complex because of the memory effect (the probability of detection at time l depends on the vectors previously applied) and the exact solution requires the analysis of a Markov chain modeling the detection process. This paper shows that there is a value, obtained from the transition matrix of the Markov chain, which can take the place of p_f when the test length is relatively long (this value is different from the average detection probability). From this result and taking into account a particular property of bounded faults in RAMs, several results concerning these faults, already observed by several authors, are shown