Fault Diagnosis in Extended Finite State Machines

In this paper, we propose a method for the derivation of an adaptive diagnostic test suite when the system specification and implementation are given in the form of an extended finite state machine. The method enables us to decide if it is possible to identify the faulty transitions in the system when faults have been detected in a system implementation. If this is possible, the method also returns test cases for locating the faulty transitions. An example is used to demonstrate the steps of the method.

[1]  Nina Yevtushenko,et al.  Test Suite Generation from a FSM with a Given Type of Implementation Errors , 1992, PSTV.

[2]  Gregor von Bochmann,et al.  Diagnosing Multiple Faults in Communicating Finite State Machines , 2001, FORTE.

[3]  Alexandre Petrenko,et al.  Confirming configurations in EFSM , 1999, FORTE.

[4]  David Lee,et al.  Reverse-engineering of communication protocols , 1993, 1993 International Conference on Network Protocols.

[5]  Gregor von Bochmann,et al.  Test result analysis and diagnostics for finite state machines , 1992, [1992] Proceedings of the 12th International Conference on Distributed Computing Systems.