An Experience in Estimating Fault Coverage of a Protocol Test
01 January 1988
In this paper, we describe 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 an FSM. Our study uses Monte Carlo simulation and introduces a new notion of machine equivalence. An algorithm given here checks for this notion of machine equivalence.