Abstract:This paper shows the Unique Input/Output, UIO, approach and the Distinguishing Sequence, DS, approach for the conformance testing of protocol implementations do not always produce identical fault converges, contrary to a previous claim. In the UIO approach, when UIO sequences and signatures are not unique in an implementation, they may not be able to detect erroneous states in the implementation. The UIO approach is revised here with the addition of a verification procedure to ensure that the UIO sequences are all unique in an implementation. Since signatures are generally not unique, this revision requires substituting the use of a signature for a state, S, with a set of input/output sequences, IO(S,K)s, unique to S, each of which distinguishes S from at least one other state, K. Verification is then applied to the IO(S,K)s. Fault coverage in the revised UIO, UIOv, approach is better than that in the original approach. A uniqueness criterion is discussed here to capture a desirable fault coverage for finite-state machine, FSM, test sequences. This criterion ensures the detection of any faulty FSM implementation provided that its set of states does not exceed that in the specified FSM. It is shown that test sequences generated by the UIOv approach and the DS approach always satisfy the uniqueness criterion. In fact, the DS approach is a special case of the UIOv approach; however, the UIOv approach has wider applicability and is generally applicable to k-distinguishable FSMs.

Study of protocol conformance test sequence generation algorithm based on FSM

A New Method to Generate Test Sequences for Protocol Conformance Testing

A test sequences optimization method for improving fault coverage

Test Sequences Generation in Protocol Test

TEST SEQUENCE GENERATION OF PROTOCOL WITH SPONTANEOUS EVENTS

Path Overlapped Method for Protocol Conformance Test Generation

A Test Sequence Generation Algorithm Based on Improved Transition Executability Analysis

An improved protocol test generation procedure based on UIOS

A New Method of Generation of Communication Protocol Test Sequence

Protocol Interoperability Test Generation Based on Communicating Multi-Port FSMs

np-FSM-based Distributed Protocol Virtual Multi-port Test Method

Test Sequence Generation of a Communication Protocol by an Heuristic State Configuration Exploration

Test Sequence Reduction of Wireless Protocol Conformance Testing to Internet of Things

Generating Interoperability Test Sequence for Distributed Test Architecture : A Generic Formal Framework

A Novel Method Of State Identification Sequences Generation For Testing Communication Protocols Modeled As Extended Finite State Machines

Automatic Test Generation Based on Hierarchical Finite State Machines

Research: Improving the UIOv-method for protocol conformance testing

Fault Diagnosis for UIO Test Sequence

Dynamic Testing Method Based on Test Sequence Fail Tree

Fault Diagnosis Algorithm Based on Finite State Machine

Test Sequence Generation for Distributed Software System.