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.

Fault Diagnosis for UIO Test Sequence

Study of protocol conformance test sequence generation algorithm based on FSM

An improved protocol test generation procedure based on UIOS

Study on Optimized Search Algorithm for UIO Sequences Generation

A test sequences optimization method for improving fault coverage

Research: Improving the UIOv-method for protocol conformance testing

Open-transistor Faults Diagnosis in Voltage-Source Inverter Based on Phase Voltages with Sliding-Window Counting Method.

UIO-based Fault Estimation for a Class of Time-varying Systems with Event-triggered Transmissions

A New Method to Generate Test Sequences for Protocol Conformance Testing

Combined fault diagnosis approach based on UIO and dynamic neural network

A data-driven approach to UIO-based fault diagnosis

An Algorithm for Fault Diagnosis Based on Combinatorial Design Approach for Testing

Robust Fault Detection and Set-theoretic UIO for Discrete-time LPV Systems with State and Output Equations Scheduled by Inexact Scheduling Variables

Research on Fault Detection by Flow Sequence for Industrial Internet of Things in Sewage Treatment Plant Case

On the Design of Unknown Input Observers and Fault Detection Filters

An event correlation approach based on the combination of IHU and codebook

Real-time Diagnosis of Open Circuit Faults in Three-Phase Voltage Source Inverters

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

H−/L∞ UIO‐based fault detection and isolation design in finite‐frequency domain for nonlinear systems

A Novel Design Of Unknown Input Observers Using Set-Theoretic Methods For Robust Fault Detection

Fault Localization Method Using Information Quantity