DocumentCode
3299404
Title
Test result analysis and diagnostics for finite state machines
Author
Ghedamsi, A. ; Bochmann, G.V.
Author_Institution
Montreal Univ., Que., Canada
fYear
1992
fDate
9-12 Jun 1992
Firstpage
244
Lastpage
251
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Distributed Computing Systems, 1992., Proceedings of the 12th International Conference on
Conference_Location
Yokohama
Print_ISBN
0-8186-2865-0
Type
conf
DOI
10.1109/ICDCS.1992.235084
Filename
235084
Link To Document