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
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;
Conference_Titel :
Performance, Computing and Communications, 1998. IPCCC '98., IEEE International
Conference_Location :
Tempe/Phoenix, AZ
Print_ISBN :
0-7803-4468-5
DOI :
10.1109/PCCC.1998.659924
