Title :
Test result analysis and diagnostics for finite state machines
Author :
Ghedamsi, A. ; Bochmann, G.V.
Author_Institution :
Montreal Univ., Que., Canada
Abstract :
An algorithm that localizes the faulty transition in a deterministic finite state machine (FSM) once the fault has been detected is presented. The diagnostic algorithm generates, if necessary, additional diagnostic test cases which depend on the observed symptom and which permit the location of the detected fault. The algorithm guarantees the diagnosis of any single fault in an FSM. An application example, explaining the functioning of the algorithm, is provided
Keywords :
conformance testing; finite state machines; protocols; faulty transition; finite state machines; functioning; protocol testing; test result analysis; test result diagnostics; Artificial intelligence; Automata; Data analysis; Fault detection; Hardware; Mechanical systems; Medical diagnostic imaging; Optimization methods; Protocols; System testing;
Conference_Titel :
Distributed Computing Systems, 1992., Proceedings of the 12th International Conference on
Conference_Location :
Yokohama
Print_ISBN :
0-8186-2865-0
DOI :
10.1109/ICDCS.1992.235084
