A testable diagnosis array (TDA) is proposed for carrying out system-level fault diagnosis (based on the PMC model) centrally and in a non-hard-core manner. This diagnostics device is constructed with simple reliable logic cells. A characterization of t-TDA-diagnosable systems, based on an algebraic relationship between the testing graph T/sub n/ of a system of n component and its corresponding