Evolutionary generation of unique input/output sequences for class behavioral testing

被引：6
|
作者：
Li, Jinhua [1 ]
Bao, Wensheng [2 ]
Zhao, Yun [1 ]
Ma, Zhibing [1 ]
Dong, Huangzhen [1 ]
机构：
[1] Qingdao Univ, Coll Informat Engn, Qingdao 266071, Peoples R China
[2] Qingdao Univ, Normal Coll, Qingdao 266071, Peoples R China
来源：
COMPUTERS & MATHEMATICS WITH APPLICATIONS | 2009年 / 57卷 / 11-12期
关键词：
Class testing; Finite state machine; Genetic algorithm; Unique input/output sequence;
D O I：
10.1016/j.camwa.2008.10.034
中图分类号：
O29 [应用数学];
学科分类号：
070104 ;
摘要：
Object-oriented software is composed of classes. Their behaviors are usually modeled with state diagrams or finite state machines (FSMs). Testing classes is regarded as testing FSMs in which unique input/output (UIO) sequences are widely applied. The generation of UIO sequences is shown to be an undecidable problem. For these problems, genetic algorithms (GAs) may offer much promise. This paper reports some primary results of on-going research on evolutionary testing classes. First, we explain how to define UIO sequence generation as a search problem, and then describe adapting genetic algorithms to generating UIO sequences. Special issues of using genetic algorithms such as solution representation, validity checking and fitness definition are discussed in detail. Primary experiments confirm the applicability and feasibility of applying GAs to UIO sequence generation. (C) 2008 Elsevier Ltd. All rights reserved.
引用
收藏
页码：1800 / 1807
页数：8
相关论文
共 50 条
  • [1] Automated unique input output sequence generation for conformance testing of FSMs
    Derderian, K
    Hierons, RM
    Harman, M
    Guo, Q
    COMPUTER JOURNAL, 2006, 49 (03): : 331 - 344
  • [2] Automated unique input output sequence generation or conformance testing of FSMs
    Derderian, Karnig
    Hierons, Robert M.
    Harman, Mark
    Guo, Qiang
    Computer Journal, 2006, 49 (03): : 331 - 344
  • [3] Obtaining unique input/output sequences of communication protocols
    Ming Chuan Univ, Taipei, Taiwan
    IEICE Trans Commun, 10 (1509-1513):
  • [4] Obtaining unique input/output sequences of communication protocols
    Chen, WH
    IEICE TRANSACTIONS ON COMMUNICATIONS, 1997, E80B (10) : 1509 - 1513
  • [5] 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
  • [6] Fitness Landscape-Based Parameter Tuning Method for Evolutionary Algorithms for Computing Unique Input Output Sequences
    Li, Jinlong
    Lu, Guanzhou
    Yao, Xin
    NEURAL INFORMATION PROCESSING, PT II, 2011, 7063 : 453 - +
  • [7] Crossover Can Be Constructive When Computing Unique Input Output Sequences
    Lehre, Per Kristian
    Yao, Xin
    SIMULATED EVOLUTION AND LEARNING, PROCEEDINGS, 2008, 5361 : 595 - 604
  • [8] Crossover can be constructive when computing unique input–output sequences
    Per Kristian Lehre
    Xin Yao
    Soft Computing, 2011, 15 : 1675 - 1687
  • [9] Context independent unique sequences generation for protocol testing
    Ramalingom, T
    Thulasiraman, K
    Das, A
    IEEE INFOCOM '96 - FIFTEENTH ANNUAL JOINT CONFERENCE OF THE IEEE COMPUTER AND COMMUNICATIONS SOCIETIES: NETWORKING THE NEXT GENERATION, PROCEEDINGS VOLS 1-3, 1996, : 1141 - 1148
  • [10] Crossover can be constructive when computing unique input-output sequences
    Lehre, Per Kristian
    Yao, Xin
    SOFT COMPUTING, 2011, 15 (09) : 1675 - 1687
12345