DocumentCode
3039289
Title
Passive testing of networks using a CFSM specification
Author
Miller, Raymond E.
Author_Institution
Dept. of Comput. Sci., Maryland Univ., College Park, MD, USA
fYear
1998
fDate
16-18 Feb 1998
Firstpage
111
Lastpage
116
Abstract
We introduce a variant of the communicating finite state machine model for the specification of networks in order to determine correct or faulty behavior using passive testing. The appropriateness of the model is first argued, followed by an initial study of how the passive testing procedures developed for finite state machines could be applied. Approaches for, and limitations of, fault detection and fault location using this approach are discussed
Keywords
fault location; finite state machines; protocols; telecommunication equipment testing; telecommunication networks; CFSM specification; alternating bit protocol; communicating finite state machine model; fault detection; fault location; network specification; passive testing; Artificial intelligence; Automata; Communication channels; Computer science; Educational institutions; Fault detection; Fault location; Protocols; Tail; Testing;
fLanguage
English
Publisher
ieee
Conference_Titel
Performance, Computing and Communications, 1998. IPCCC '98., IEEE International
Conference_Location
Tempe/Phoenix, AZ
ISSN
1097-2641
Print_ISBN
0-7803-4468-5
Type
conf
DOI
10.1109/PCCC.1998.659924
Filename
659924
Link To Document