A Transfer Fault Diagnosing Method for Protocol Conformance Test Based on FSMs

An efficient fault diagnosis is very helpful to save the time and resource of revising the found faults in the protocol conformance test procedure. However, it is very difficult to diagnose transfer faults accurately and quickly. This paper proposes a test precondition (called input-correct precondition) which is satisfied through the local test in the system development procedure. We further presents a transfer fault diagnosing method based on the finite state machine (FSM), which is applied to diagnose the possible transfer faults in an implementation that satisfies the input-correct precondition. The diagnosing method attempts to provide desirable transfer fault hints or locate some transfer faults accurately in terms of the protocol conformance test results.