Multiple Fault Diagnostics for Communication Protocols
Outline
Finite State Machine (FSM)
Fault Models
(1) Generation of expected and observed output
FSM Implementation
Ghedamsi method
The Flow Chart
(2) Generation of symptoms
(3) Generation of fault hypotheses
Example (Construction of SFH for a tc)
Example (Cont’d)
The sets of fault hypothesis
(4) Construction of the set of temporary candidates sets
The set of temporary candidate sets
(5) Generation of PossFault Sets ə>
Mutant (1)
Mutant (2)
(5) Generation of PossFault sets ɚ>
The Set of PossFaults
The Set of PossFaults(Cont'd)
Find-PossFault technique
The behavior Table
(2) Generate the possibly-faulty FSMs sets
(3) Generate the diagnoses
Example(The possibly-faulty FSM)
Example(cont'd)
The comparison
The diagnoses set
The third phase of Ghedmasi method
The G-method phase 3 (flow chart)
Additional-Tests technique
Test-all-Diagnoses technique
Comparison
The comparison(2)
Conclusions
Author E-Mail: cytang@cs.nthu.edu.tw
T.A. E-Mail : Summer@cs.nthu.edu.tw
首頁: http://www.cs.nthu.edu.tw/~tanghome