Title :
The fault coverage estimation for protocol conformance testing
Author :
Kolomeez, Anton V. ; Prokopenko, Svetlana A.
Author_Institution :
Tomsk State Univ., Russia
Abstract :
In this paper, we study the fault coverage of a transition tour of an extended finite state machine (Extended FSM). We consider single transition, output and assignment faults. The fault coverage is calculated based on the equivalent classical FSM.
Keywords :
conformance testing; fault diagnosis; fault tolerance; finite state machines; protocols; extended FSM; extended finite state machine; fault coverage estimation; protocol conformance testing; Conformance testing; Fault diagnosis; Finite state machines; Protocols;
Conference_Titel :
Electron Devices and Materials, 2004. Proceedings. 5th Annual. 2004 International Siberian Workshop on
Print_ISBN :
5-7782-0463-9
DOI :
10.1109/PESC.2004.241138
