Title :
An experience in estimating fault coverage of a protocol test
Author :
Dahbura, Anton ; Sabnani, Krishan
Author_Institution :
AT&T Bell Labs., Murray Hill, NJ, USA
Abstract :
A description is given of an experience in estimating fault coverage of a test sequence designed to test the control portion of a protocol. The control portion of this protocol is modeled as a finite-state machine. This study uses Monte Carlo simulation and introduces a novel notion of machine equivalence. An algorithm given checks for this notion of machine equivalence.<>
Keywords :
Monte Carlo methods; fault location; finite automata; protocols; Monte Carlo simulation; fault coverage; finite-state machine; machine equivalence; protocol test; test sequence; Access protocols; Automata; Codes; Communication system control; Fault detection; Genetic mutations; Testing;
Conference_Titel :
INFOCOM '88. Networks: Evolution or Revolution, Proceedings. Seventh Annual Joint Conference of the IEEE Computer and Communcations Societies, IEEE
Conference_Location :
New Orleans, LA, USA
Print_ISBN :
0-8186-0833-1
DOI :
10.1109/INFCOM.1988.12900
