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. © IFIP 2003.
CITATION STYLE
El-Fakih, K., Prokopenko, S., Yevtushenko, N., & Bochmann, G. V. (2003). Fault diagnosis in extended finite state machines. Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2644, 197–210. https://doi.org/10.1007/3-540-44830-6_15
Mendeley helps you to discover research relevant for your work.