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.
Chapter PDF
Similar content being viewed by others
Keywords
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.
References
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–100
Ghedamsi, A. Bochmann, G.: Test Result Analysis and Diagnostics for Finite State Machines. Proc. of the 12-th ICDS, Yokohama, Japan (1992)
Koufareva, I.: Using Non-Deterministic FSMs for Test Suite Derivation. Ph.D. Thesis, Tomsk State University, Russia (2000)
Lee, D., Sabnani, K.: Reverse Engineering of Communication Protocols. Proc. of ICNP, October (1993) 208–216
Petrenko, A., Boroday, S., Groz, R.: Confirming Configurations in EFSM’. Proc. of the IFIP joint conference on FORTE XII and PSTV XIX, China (1999)
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)
Starke, P.: Abstract Automata. North-Holland/American Elsevier (1972)
Yevtushenko, N., Koufareva, I.: Relations Between Non-Deterministic FSMs. Tomsk, Spectrum (2001)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2003 IFIP
About this paper
Cite this paper
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. https://doi.org/10.1007/3-540-44830-6_15
Download citation
DOI: https://doi.org/10.1007/3-540-44830-6_15
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-40123-0
Online ISBN: 978-3-540-44830-3
eBook Packages: Springer Book Archive