On the diagnosability of multicomputer systems with homogeneous and incomplete tests

A generalized PMC model, where only a subset of possible unit faults (the same for each unit) can be detected by unit tests, is considered. A category of visible faults is introduced and the necessary and sufficient condition for the new class of t/sub v/-diagnosable systems is determined. Moreover, an O( mod T mod ) diagnosis algorithm is presented.<
>