Issue No.06 - June (1993 vol.42)
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/12.277298
<p>R. Gupta and I.V. Ramakrishnan (1987) proposed a general model for fault diagnosis that uniformly handles intermittent faults, masking, and partial testing. In this model, the diagnosability problem is open if asymmetric invalidation is used, although a polynomial time algorithm was once incorrectly claimed. It is shown that the problem is really co-NP complete. An efficient diagnosis algorithm for this model is presented.</p>
asymmetric invalidation; partial tests; fault diagnosis; diagnosability problem; co-NP complete; diagnosis algorithm; computational complexity; logic testing.
V. Raghavan, "On Asymmetric Invalidation with Partial Tests", IEEE Transactions on Computers, vol.42, no. 6, pp. 764-768, June 1993, doi:10.1109/12.277298