On FSM-Based Fault Diagnosis

We study the problem of fault diagnosis, i.e., localization of difference(s) between an implementation and a specification in systems modelled by finite state machines. We show that even considering only a single fault in a finite state machine there are some situations when the exact diagnosis of the fault cannot be assured. We give an algorithm for fault diagnosis. If it is possible the procedure exactly locates a single fault, and in case exact localization is unfeasible it provides the set of all potential differences between the implementation and the specification.

[1]  Ferhat Khendek,et al.  Test Selection Based on Finite State Models , 1991, IEEE Trans. Software Eng..

[2]  G. Bochmann,et al.  Diagnosing Distributed Systems Modeled by Communicating Finite State Machines , 1999 .

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

[4]  Edward F. Moore,et al.  Gedanken-Experiments on Sequential Machines , 1956 .

[5]  Svetlana Prokopenko,et al.  Fault Diagnosis in Extended Finite State Machines , 2003, TestCom.

[6]  Gregor von Bochmann,et al.  Diagnostic Tests for Single Transition Faults in Non-Deterministic Finite State Machines , 1992, Protocol Test Systems.

[7]  Sape Mullender,et al.  Distributed systems , 1989 .

[8]  Itu-T.  Specification and Description Language (SDL) , 1999 .

[9]  Krishan K. Sabnani,et al.  A Protocol Test Generation Procedure , 1988, Comput. Networks.

[10]  Guney Gonenc,et al.  A Method for the Design of Fault Detection Experiments , 1970, IEEE Transactions on Computers.

[11]  David Lee,et al.  Testing finite state machines , 1991, STOC '91.

[12]  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.

[13]  Gregor von Bochmann,et al.  Multiple Fault Diagnostics for Finite State Machines. , 1993, INFOCOM 1993.

[14]  Tsun S. Chow,et al.  Testing Software Design Modeled by Finite-State Machines , 1978, IEEE Transactions on Software Engineering.

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

[16]  A. Church.  Edward F. Moore. Gedanken-experiments on sequential machines. Automata studies , edited by C. E. Shannon and J. McCarthy, Annals of Mathematics studies no. 34, litho-printed, Princeton University Press, Princeton1956, pp. 129–153. , 1958, Journal of Symbolic Logic.

[17]  Gregor von Bochmann,et al.  Diagnosis of single transition faults in communicating finite state machines , 1993, [1993] Proceedings. The 13th International Conference on Distributed Computing Systems.

[18]  David Lee,et al.  Principles and methods of testing finite state machines-a survey , 1996, Proc. IEEE.

[19]  Gregor von Bochmann,et al.  Generating Tests for Control Portion of SDL Specifications , 1993, Protocol Test Systems.