DocumentCode :
1052211
Title :
On asymmetric invalidation with partial tests
Author :
Raghavan, Vijay
Author_Institution :
Dept. of Comput. Sci., Vanderbilt Univ., Nashville, TN, USA
Volume :
42
Issue :
6
fYear :
1993
fDate :
6/1/1993 12:00:00 AM
Firstpage :
764
Lastpage :
768
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;
fLanguage :
English
Journal_Title :
Computers, IEEE Transactions on
Publisher :
ieee
ISSN :
0018-9340
Type :
jour
DOI :
10.1109/12.277298
Filename :
277298
Link To Document :
بازگشت