This thesis is concerned with the automatic fault diagnosis for systems with multiple faults. The system is partitioned into n units and each unit has a capability of testing other units and there are at most t faulty units in the system.
The necessary and sufficient condition for identifying a specific unit in the system is obtained. And the design of systems which can identify a specific unit is considered. Also, a new class of sequential t-fault diagnosable systems is presented.