On Diagnosabilities of Systems with Incomplete Test

概要

論文の詳細を見る
Hakimi and Amin [2] gave necessary and sufficient conditions for identification of all faulty units in a system on the assumption that the tests are complete. We extend those theories to the case where even fault-free units may fail tests of faulty ones. We define a system to be (t,r)-diagnosable if all faulty units can be identified from test outcomes, provided the number of faulty units and that of test failures do not exceed t and r respectively. Similarly, we define totally-τ-diagnosability, where τ represents the summation of them. We first give the necessary and sufficient condition for a system, in which no two units test each other, to be totally-τ-diagnosable. Then, we extend the analysis to general case, and give the condition for a system, on which no such restriction is placed, to be (t,r)-diagnosable.
一般社団法人情報処理学会の論文
1985-03-31