Fault Diagnosis in Extended Finite State Machines

  • Khaled El-Fakih
  • Svetlana Prokopenko
  • Nina Yevtushenko
  • Gregor v. Bochmann
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 2644)


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.


Fault Diagnosis Test Suite Input Sequence Output Response Finite State Machine 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


  1. 1.
    El-Fakih, K., Yevtushenko, N., Bochmann, G.: Diagnosing Multiple Faults in Communicating Finite State Machines. In Proc. of the IFIP 21st FORTE, Korea (2001) 85–100Google Scholar
  2. 2.
    Ghedamsi, A. Bochmann, G.: Test Result Analysis and Diagnostics for Finite State Machines. Proc. of the 12-th ICDS, Yokohama, Japan (1992)Google Scholar
  3. 3.
    Koufareva, I.: Using Non-Deterministic FSMs for Test Suite Derivation. Ph.D. Thesis, Tomsk State University, Russia (2000)Google Scholar
  4. 4.
    Lee, D., Sabnani, K.: Reverse Engineering of Communication Protocols. Proc. of ICNP, October (1993) 208–216Google Scholar
  5. 5.
    Petrenko, A., Boroday, S., Groz, R.: Confirming Configurations in EFSM’. Proc. of the IFIP joint conference on FORTE XII and PSTV XIX, China (1999)Google Scholar
  6. 6.
    Petrenko, A., Yevtushenko, N.: Test Suite Generation for a FSM with a Given Type of Implementation Errors. Proc. of the 12th Int. Workshop Protocol Specification, Testing and Verification, (1992)Google Scholar
  7. 7.
    Starke, P.: Abstract Automata. North-Holland/American Elsevier (1972)Google Scholar
  8. 8.
    Yevtushenko, N., Koufareva, I.: Relations Between Non-Deterministic FSMs. Tomsk, Spectrum (2001)Google Scholar

Copyright information

© IFIP 2003

Authors and Affiliations

  • Khaled El-Fakih
    • 1
  • Svetlana Prokopenko
    • 2
  • Nina Yevtushenko
    • 2
  • Gregor v. Bochmann
    • 3
  1. 1.Department of Computer ScienceAmerican University of SharjahUAE
  2. 2.Tomsk State UniversityRussia
  3. 3.School of Information Technology and EngineeringUniversity of OttawaCanada

Personalised recommendations