Abstract
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.
Chapter PDF
Similar content being viewed by others
References
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.
A. Ghedamsi and G. v. Bochmann. ‘Test result analysis and diagnostics for finite state machines’, Proc. of the 12-th ICDS, Yokohama, Japan, 1992.
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.
A. Ghedamsi, G. v. Bochmann and R. Dssouli. ‘Multiple fault diagnosis for finite state machines’, Proc. of IEEE INFOCOM’93, 1993, pp.782–791.
J. de. Kleer and B.C. Williams.‘Diagnosing multiple faults’, Artificial Intelligence 32(1), 1987, pp. 97–130.
I. Koufareva. ‘Using non-deterministic FSMs for test suite derivation’, Ph.D. Thesis, Tomsk State University, Russia, 2000 (In Russian).
D. Lee and K. Sabnani. ‘Reverse engineering of communication protocols’, Proc. of ICNP, October 1993, pp. 208–216.
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.
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.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2001 IFIP International Federation for Information Processing
About this paper
Cite this paper
El-Fakih, K., Yevtushenko, N., Bochmann, G.v. (2001). Diagnosing Multiple Faults in Communicating Finite State Machines. In: Kim, M., Chin, B., Kang, S., Lee, D. (eds) Formal Techniques for Networked and Distributed Systems. FORTE 2001. IFIP International Federation for Information Processing, vol 69. Springer, Boston, MA. https://doi.org/10.1007/0-306-47003-9_6
Download citation
DOI: https://doi.org/10.1007/0-306-47003-9_6
Publisher Name: Springer, Boston, MA
Print ISBN: 978-0-7923-7470-1
Online ISBN: 978-0-306-47003-5
eBook Packages: Springer Book Archive