(5) Generation of PossFault sets ɚ>

(2) Generate the diagnoses

Apply the test cases to the possibly-faulty FSMs

for each PosFauFSM[candi] we will generate the PossFaults[candi]

PosFauFSM[{t*3, t78 }]-{t3 -> S0 t8-f ->}

{t3 -> S1 t8-f ->} (possibly-fault FSM)

Test Case : tc1, tc2, ... , tc10

PossFaults[{t*3, t78}] = {{t3 -> S0 t8 - f ->}} (diagnosis)

前一張投影片

下一張投影片

回到第一張投影片

檢視圖形版本