DocumentCode
2863024
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
fYear
1988
fDate
27-31 March 1988
Firstpage
71
Lastpage
79
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;
fLanguage
English
Publisher
ieee
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
Type
conf
DOI
10.1109/INFCOM.1988.12900
Filename
12900
Link To Document