Abstract :
One of the formidable problems addressed by diagnostic engineering is to develop a means for verifying the design of a sophisticated system having over 100 000 interconnected logical circuits. After the system is designed, built, and tested, there is still the problem of maintaining it in good working order. The optimum strategy for testing, detecting, and isolating malfunctions must be found. Perhaps the most important problem is how to design a system in such a way that it can be tested automatically, so that errors can be detected and isolated in a reasonably optimum manner.