Fault Diagnosis in Extended Finite State Machines

  • Khaled El-Fakih
  • Svetlana Prokopenko
  • Nina Yevtushenko
  • Gregor v. Bochmann
Conference paper

DOI: 10.1007/3-540-44830-6_15

Part of the Lecture Notes in Computer Science book series (LNCS, volume 2644)
Cite this paper as:
El-Fakih K., Prokopenko S., Yevtushenko N., v. Bochmann G. (2003) Fault Diagnosis in Extended Finite State Machines. In: Hogrefe D., Wiles A. (eds) Testing of Communicating Systems. TestCom 2003. Lecture Notes in Computer Science, vol 2644. Springer, Berlin, Heidelberg

Abstract

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.

Download to read the full conference paper text

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