Improved Test Quality Using Robust Unique Input/Output Circuit Sequences (UIOCs)

TY - JOUR

T1 - Improved Test Quality Using Robust Unique Input/Output Circuit Sequences (UIOCs)

AU - Quo, Qiang

AU - Hierons, Rob

AU - Harman, Mark

AU - Derderian, Karnig

PY - 2006/8

Y1 - 2006/8

N2 - In finite state machine (FSM) based testing, the problem of fault masking in the unique input/output (UIO) sequence may degrade the test performance of the UIO based methods. This paper investigates this problem and proposes the use of a new type of unique input/output circuit (UIOC) sequence for state verification, which may help to overcome the drawbacks that exist in the UIO based techniques. When constructing a UIOC, overlap and internal state observation schema are used to increase the robustness of a test sequence. Test quality is compared by using the forward UIO method (F-method), the backward UIO method (B-method) and the UIOC method (C-method) separately. Robustness of the UIOCs constructed by the algorithm given in this paper is also compared with those constructed by the algorithm given previously. Experimental results suggest that the C-method outperforms the F- and the B-methods and the UIOCs constructed by the algorithm given in this paper, are more robust than those constructed by other proposed algorithms.

AB - In finite state machine (FSM) based testing, the problem of fault masking in the unique input/output (UIO) sequence may degrade the test performance of the UIO based methods. This paper investigates this problem and proposes the use of a new type of unique input/output circuit (UIOC) sequence for state verification, which may help to overcome the drawbacks that exist in the UIO based techniques. When constructing a UIOC, overlap and internal state observation schema are used to increase the robustness of a test sequence. Test quality is compared by using the forward UIO method (F-method), the backward UIO method (B-method) and the UIOC method (C-method) separately. Robustness of the UIOCs constructed by the algorithm given in this paper is also compared with those constructed by the algorithm given previously. Experimental results suggest that the C-method outperforms the F- and the B-methods and the UIOCs constructed by the algorithm given in this paper, are more robust than those constructed by other proposed algorithms.

U2 - 10.1016/j.infsof.2005.08.001

DO - 10.1016/j.infsof.2005.08.001

M3 - Article

VL - 48

SP - 696

EP - 707

JO - INFORMATION AND SOFTWARE TECHNOLOGY

JF - INFORMATION AND SOFTWARE TECHNOLOGY

IS - 8

ER -