The distributed self-diagnosis of a multiprocessor/multicomputer syste
m based on interprocessor tests with imperfect fault coverage (thus al
so permitting intermittently faulty processors) is addressed. Focusing
on probabilistic diagnosis methods, we define several different categ
ories of probabilistic diagnosis based on the type of fault syndrome i
nformation used in the diagnosis. Rigorous probabilistic analysis is t
hen used to derive optimal diagnosis algorithms (optimal in terms of d
iagnostic accuracy) for the diagnosis categories introduced. Analysis
and simulations are used to evaluate the performance of the diagnosis
algorithm introduced.