• DocumentCode
    1386237
  • 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
  • Volume
    37
  • Issue
    11
  • fYear
    1988
  • fDate
    11/1/1988 12:00:00 AM
  • Firstpage
    1419
  • Lastpage
    1421
  • 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;
  • fLanguage
    English
  • Journal_Title
    Computers, IEEE Transactions on
  • Publisher
    ieee
  • ISSN
    0018-9340
  • Type

    jour

  • DOI
    10.1109/12.8708
  • Filename
    8708