Passive Testing and Fault Diagnosis for Communication Finite State Machines

Baohua Zhao,Wei Zhang,Huahui Lin,Peilong Li
DOI: https://doi.org/10.3321/j.issn:0253-987X.2007.06.003
2007-01-01
Abstract:Focusing on the problem that the existing methods of passive testing can not accomplish the fault detection of embedded communication systems, a passive testing approach to fault detection is proposed, in which an observer is placed in external channel, global states are used to describe the possible states of the system, the observed input and output information is employed and combined with model conversion to presume the system state transitions. Based on the approach, a hierarchical method of fault diagnosis is further designed, in which the system conversion trace are recorded in passive testing, then mutant analysis method is utilized to generate fault candidates. The size of fault set can be reduced by passive observations, and distinguishing sequence and cross verification are used to locate the fault. Experiments of a real protocol H. 245 shows that the proposed approach can detect the fault in embedded communication systems in limited steps and can locate the system fault effectively. Its backtracing algorithm can reduce the length of the fault symptom sequence significantly.
What problem does this paper attempt to address?