System Diagnosis and Redundant Tests
Toida · IEEE Transactions on Computers · 1976
If the addition of a test does not improve the diagdosability of a system the test is called redundant. It is shown that if at least one test is nonredundant, then the previous algorithms to determine the diagnosability [2],[3] can be further improved. It is also shown how and when the diagnosability of a system can be improved by the addition of an extra test.