Example (Cont’d)

then the following set of fault hypotheses is constructed:

SFHi = {< {tr*i,1},{} >

/* first symptom caused by a transfer fault in tri,1 */

< {tri,2},{troi,1 tri,4} >,

/* first symptom caused by a transfer fault in tri,2 ; tri,1 not fault */

< {troi,3, tri,3},{troi,1 ,tri,1, troi,1 ,tr*i,1} >,

/* first symptom caused by a output fault in tri,3 ;second symptom caused by a transfer fault in tri,3 , no faults in tri,3 and tri,2 */

< {troi,3, tri,4},{troi,1 ,tri,1,< troi,2 ,tri,2 ,tri,3} >,

<{troi,3 ,troi,5 ,tri,5 },{troi,1 ,tri,1, troi,2 ,tri,2 ,tri,3 ,troi,4 ,tr*i,4,} >,

<{troi,3 ,troi,5 ,tri,6 },{troi,1 ,tri,1, troi,2 ,tri,2 ,tri,3 ,troi,4 ,tri,4, tri,5} >

前一張投影片下一張投影片回到第一張投影片檢視圖形版本