(5) Generation of PossFault Sets ə>

(1) Generate the possibly-faulty FSMs set

For each candi They will generate the PosFauFSM[candi]

canj = {t*3,to8(f)}, and state(t3) = S2
t3 RS0 t8 - f R (possibly-faulty FSM)
t3 R S1 t8 - f R

• All remaining specification transitions are left unchanged

  PosFauFSM[{t*3 ,to8}]=[{t3 R S0 t8 - f R},
  
  {t3 R S1 t8 - f R }] (possibly-faulty FSM)

前一張投影片

下一張投影片

回到第一張投影片

檢視圖形版本