Title :
On the diagnosability of multicomputer systems with homogeneous and incomplete tests
Author :
Krawczyk, Henryk ; Kozlowski, Wojciech E.
Author_Institution :
Inst. of Comput. Sci., Tech. Univ., Gdansk, Poland
fDate :
11/1/1988 12:00:00 AM
Abstract :
A generalized PMC model, where only a subset of possible unit faults (the same for each unit) can be detected by unit tests, is considered. A category of visible faults is introduced and the necessary and sufficient condition for the new class of tv-diagnosable systems is determined. Moreover, an O(|T|) diagnosis algorithm is presented
Keywords :
automatic testing; computational complexity; computer testing; fault location; multiprocessing systems; O(|T|) diagnosis algorithm; connection assignment; diagnosability; fault identification; generalized PMC model; homogeneous tests; incomplete tests; multicomputer systems; necessary conditions; sufficient condition; system level fault diagnosis models; tv-diagnosable systems; visible faults; Analytical models; Circuit faults; Circuit testing; Computer bugs; Fault detection; Fault diagnosis; Hardware; Software testing; Sufficient conditions; System testing;
Journal_Title :
Computers, IEEE Transactions on
