The fault coverage estimation for protocol conformance testing

The fault coverage estimation for protocol conformance testing

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.

Gespeichert in:
Bibliographische Detailangaben
Hauptverfasser: Kolomeez, Prokopenko
Format: Tagungsbericht
Sprache:eng
Schlagworte:
Conformance testing
Fault diagnosis
Finite state machines
Protocols
Online-Zugang:Volltext bestellen
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung: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.
DOI:10.1109/PESC.2004.241138