Title :
On asymmetric invalidation with partial tests
Author_Institution :
Dept. of Comput. Sci., Vanderbilt Univ., Nashville, TN, USA
fDate :
6/1/1993 12:00:00 AM
Abstract :
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
Keywords :
computational complexity; logic testing; asymmetric invalidation; co-NP complete; diagnosability problem; diagnosis algorithm; fault diagnosis; partial tests; Automatic testing; Computational complexity; Computer science; Fault diagnosis; Polynomials; System testing;
Journal_Title :
Computers, IEEE Transactions on