Diagnosing Multiple Faults in Communicating Finite State Machines

  • Khaled El-Fakih
  • Nina Yevtushenko
  • Gregor v. Bochmann
Conference paper
Part of the IFIP International Federation for Information Processing book series (IFIPAICT, volume 69)


In this paper, we propose a method for diagnostic test derivation when the system specification and implementation are given in the form of two communicating finite state machines and at most a single component machine can be faulty. The method enables to decide if it is possible to identify the faulty machine in the system, once faults have been detected in a system implementation. If this is possible, it also provides tests for locating the faulty component machine. Two examples are used to demonstrate the different steps of the method. The method can also be used for locating faults within a machine when the system specification and implementation are given in the form of a single FSM.


Diagnostics conformance testing communicating finite state machines 


  1. [1]
    S. Fujiwara, G. v. Bochmann, F. Khendek, M. Amalou and A. Ghedamsi.‘Test selection based on finite state models’, IEEE Trans. SE-17, No. 6, 1991, pp. 591–603.Google Scholar
  2. [2]
    A. Ghedamsi and G. v. Bochmann. ‘Test result analysis and diagnostics for finite state machines’, Proc. of the 12-th ICDS, Yokohama, Japan, 1992.Google Scholar
  3. [3]
    A. Ghedamsi, G. v. Bochmann and R. Dssouli.‘Diagnostic Tests for Communicating Finite State Machines’, Proc. of the 12 th IEEE Internaitonal Phoenix Conference on Communications, Scottsdale, USA, March 1993.Google Scholar
  4. [4]
    A. Ghedamsi, G. v. Bochmann and R. Dssouli. ‘Multiple fault diagnosis for finite state machines’, Proc. of IEEE INFOCOM’93, 1993, pp.782–791.Google Scholar
  5. [5]
    J. de. Kleer and B.C. Williams.‘Diagnosing multiple faults’, Artificial Intelligence 32(1), 1987, pp. 97–130.CrossRefzbMATHGoogle Scholar
  6. [6]
    I. Koufareva. ‘Using non-deterministic FSMs for test suite derivation’, Ph.D. Thesis, Tomsk State University, Russia, 2000 (In Russian).Google Scholar
  7. [7]
    D. Lee and K. Sabnani. ‘Reverse engineering of communication protocols’, Proc. of ICNP, October 1993, pp. 208–216.Google Scholar
  8. [8]
    A. Petrenko and N. Yevtushenko.‘Test suite generation for a FSM with a given type of implementation errors’, Proc. of the 12 th IWPSTV, 1992, pp. 229–243.Google Scholar
  9. [9]
    A. Petrenko, N. Yevtushenko, G. v. Bochmann, and R. Dssouli. ‘Testing in context: Framework and test derivation’, Computer Communications Journal, Special issue on protocol engineering, 1996, pp. 1236–1249.Google Scholar

Copyright information

© IFIP International Federation for Information Processing 2001

Authors and Affiliations

  • Khaled El-Fakih
    • 1
  • Nina Yevtushenko
    • 2
  • Gregor v. Bochmann
    • 1
  1. 1.School of Information Technology and EngineeringUniversity of OttawaONCanada
  2. 2.Tomsk State UniversityTomskRussia

Personalised recommendations