Improving test quality using robust unique input/output circuit sequences (UIOCs)

被引:7
|
作者
Guo, Qiang [1 ]
Hierons, Robert M.
Harman, Mark
Derderian, Karnig
机构
[1] Brunel Univ, Sch Informat Syst Comp & Math, Uxbridge UB8 3PH, Middx, England
[2] Kings Coll London, Dept Comp, London WC2R 2LS, England
关键词
FSMs; conformance test; F-UIOs; B-UIOs; UIOCs; fault masking; test quality;
D O I
10.1016/j.infsof.2005.08.001
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
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. (c) 2005 Elsevier B.V. All rights reserved.
引用
收藏
页码:696 / 707
页数:12
相关论文
共 50 条
  • [1] Computing unique input/output sequences using genetic algorithms
    Guo, Q
    Hierons, RM
    Harman, M
    Derderian, K
    FORMAL APPROACHES TO SOFTWARE TESTING, 2004, 2931 : 164 - 177
  • [2] Obtaining unique input/output sequences of communication protocols
    Ming Chuan Univ, Taipei, Taiwan
    IEICE Trans Commun, 10 (1509-1513):
  • [4] Constructing multiple unique input/output sequences using metaheuristic optimisation techniques
    Guo, Q
    Hierons, RM
    Harman, M
    Derderian, K
    IEE PROCEEDINGS-SOFTWARE, 2005, 152 (03): : 127 - 140
  • [5] Crossover Can Be Constructive When Computing Unique Input Output Sequences
    Lehre, Per Kristian
    Yao, Xin
    SIMULATED EVOLUTION AND LEARNING, PROCEEDINGS, 2008, 5361 : 595 - 604
  • [6] Crossover can be constructive when computing unique input–output sequences
    Per Kristian Lehre
    Xin Yao
    Soft Computing, 2011, 15 : 1675 - 1687
  • [7] Evolutionary generation of unique input/output sequences for class behavioral testing
    Li, Jinhua
    Bao, Wensheng
    Zhao, Yun
    Ma, Zhibing
    Dong, Huangzhen
    COMPUTERS & MATHEMATICS WITH APPLICATIONS, 2009, 57 (11-12) : 1800 - 1807
  • [8] Crossover can be constructive when computing unique input-output sequences
    Lehre, Per Kristian
    Yao, Xin
    SOFT COMPUTING, 2011, 15 (09) : 1675 - 1687
  • [9] Efficient computation of unique input/output sequences in finite-state machines
    Naik, K
    IEEE-ACM TRANSACTIONS ON NETWORKING, 1997, 5 (04) : 585 - 599
  • [10] LANG - algorithm for constructing unique input/output sequences in finite-state machines
    Ahmad, I
    Ali, FM
    Das, AS
    IEE PROCEEDINGS-COMPUTERS AND DIGITAL TECHNIQUES, 2004, 151 (02): : 131 - 140