An Approach to the Diagnosability Analysis of a System

System diagnosis is investigated along the line of a pioneering work by Preparata et al. and motivated by a recent work of Hakimi and Amin. It is shown that practically all the previous results on the analysis aspect of this problem can be derived from a single theorem in this correspondence.