caa a22 4500 469039833 CHVBK 20180323132808.0 cr unu---uuuuu 170328e19920801xx s 000 0 eng 10.1007/BF00134732 doi (NATIONALLICENCE)springer-10.1007/BF00134732 A model for sequential machine testing and diagnosis [Elektronische Daten] [J. Brzozowski, H. Jürgensen] A mathematical framework for the testing and diagnosis of sequential machines is developed. A very general fault model is used in which a faulty machine is represented as a sequential machine, possibly with state and output sets different from those of the good machine. A deterministic finite automaton, called observer, describes the process by which one gains information from the observation of the responses to test sequences. It generalizes the work of Hennie on distinguishing and homing sequences, by modelling all the possible conclusions that could be drawn from observing the circuit under test. A nondeterministic acceptor is derived from the observer; it accepts diagnosing sequences and can also be used to generate test sequences. We then associate probabilities with this nondeterministic acceptor which, together with a stochastic source of input symbols, provides a probabilistic diagnoser. As a particular application we consider the testing and diagnosis of random-access memories by random test sequences. Our model generalizes the work by David et al. on the calculation of the length of a random test sequence required to guarantee that the probability of detection of a fault exceeds a prescribed threshold. Kluwer Academic Publishers, 1992 Diagnosis nationallicence fault models nationallicence Markov chains nationallicence random testing nationallicence sequential machines nationallicence Brzozowski J. Department of Computer Science, University of Waterloo, N2L 3G1, Waterloo, Ontario, Canada aut Jürgensen H. Department of Computer Science, The University of Western Ontario, N6A 5B7, London, Ontario, Canada aut Journal of Electronic Testing Kluwer Academic Publishers 3/3(1992-08-01), 219-234 0923-8174 3:3<219 1992 3 10836 https://doi.org/10.1007/BF00134732 text/html Onlinezugriff via DOI 1 research-article jats NATIONALLICENCE 856 40 https://doi.org/10.1007/BF00134732 text/html Onlinezugriff via DOI NATIONALLICENCE 700 1- Brzozowski J. Department of Computer Science, University of Waterloo, N2L 3G1, Waterloo, Ontario, Canada aut NATIONALLICENCE 700 1- Jürgensen H. Department of Computer Science, The University of Western Ontario, N6A 5B7, London, Ontario, Canada aut NATIONALLICENCE 773 0- Journal of Electronic Testing Kluwer Academic Publishers 3/3(1992-08-01), 219-234 0923-8174 3:3<219 1992 3 10836 Metadata rights reserved Springer special CC-BY-NC licence nationallicence BK010053 XK010053 XK010000 NATIONALLICENCE NATIONALLICENCE NL-springer