Improving Failure Detection by Automatically Generating Test Cases Near the Boundaries

被引:2
|
作者
Zhou, Min [1 ]
Cheng, Xi [1 ]
Guo, Xinrui [1 ]
Gu, Ming [1 ]
Zhang, Hongyu [2 ]
Song, Xiaoyu [3 ]
机构
[1] Tsinghua Univ, Sch Software, Beijing 100084, Peoples R China
[2] Microsoft Res, Beijing 100084, Peoples R China
[3] Portland State Univ, Elect & Comp Engn, Portland, OR 97207 USA
关键词
boundary value; random testing; memetic; SOFTWARE TEST DATA;
D O I
10.1109/COMPSAC.2016.137
中图分类号
TP39 [计算机的应用];
学科分类号
081203 ; 0835 ;
摘要
Boundary value analysis is a typical conventional testing technique. However, manually identifying input regions and writing test cases are labor-intensive and time-consuming. In this paper, we propose a search-based random testing approach, which automatically generates test data along the boundaries of semantic regions of the input domain. The experiments on mutated programs confirm the effectiveness and efficiency of the proposed approach. Furthermore, our approach significantly outperforms the conventional ART (Adaptive Random Testing) methods, which sample test cases evenly across the input regions. Our approach also outperforms EvoSuite, a state-of-the-art tool that generates test cases satisfying certain coverage criterion.
引用
收藏
页码:164 / 173
页数:10
相关论文
共 50 条
  • [1] Automatically Generating Test Cases for Specification Mining
    Dallmeier, Valentin
    Knopp, Nikolai
    Mallon, Christoph
    Fraser, Gordon
    Hack, Sebastian
    Zeller, Andreas
    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2012, 38 (02) : 243 - 257
  • [2] Automatically generating test cases for specification mining
    Saarland University, Universität des Saarlandes, Campus E1 1, Saarbrücken 66123, Germany
    不详
    IEEE Trans Software Eng, 2 (243-257):
  • [3] AN ALGORITHM FOR AUTOMATICALLY GENERATING BLACK-BOX TEST CASES
    Xu Baowen Nie Changhai Shi Qunfeng Lu Hong (Department of computer Science & Engineering
    JournalofElectronics(China), 2003, (01) : 74 - 77
  • [4] Automatically generating error-traceable test cases based on compiler
    He, Yanxiang
    Chen, Yong
    Wu, Wei
    Xu, Chao
    Wu, Libing
    Jisuanji Yanjiu yu Fazhan/Computer Research and Development, 2012, 49 (09): : 1843 - 1851
  • [5] A "Vibration" Method for Automatically Generating Test Cases Based on Formal Specifications
    Liu, Shaoying
    Nakajima, Shin
    2011 18TH ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE (APSEC 2011), 2011, : 73 - 80
  • [6] Applying GA with Tabu list for Automatically Generating Test Cases Based on Formal Specification
    Zhou, Yuqin
    Sugihara, Taku
    Sato, Yuji
    STRUCTURED OBJECT-ORIENTED FORMAL LANGUAGE AND METHOD, 2015, 8979 : 17 - 31
  • [7] Automatically Generating Test Templates from Test Names
    Zhang, Benwen
    Hill, Emily
    Clause, James
    2015 30TH IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING (ASE), 2015, : 506 - 511
  • [8] Automatically generating test cases for safety-critical software via symbolic execution
    Kurian, Elson
    Briola, Daniela
    Braione, Pietro
    Denaro, Giovanni
    JOURNAL OF SYSTEMS AND SOFTWARE, 2023, 199
  • [9] Automatically Generating Models for Botnet Detection
    Wurzinger, Peter
    Bilge, Leyla
    Holz, Thorsten
    Goebel, Jan
    Kruegel, Christopher
    Kirda, Engin
    COMPUTER SECURITY - ESORICS 2009, PROCEEDINGS, 2009, 5789 : 232 - +
  • [10] Generating fully executable test suite automatically
    Zhao, YX
    Yin, X
    Wu, JP
    2001 IEEE INTERNATIONAL CONFERENCE ON COMMUNICATIONS, VOLS 1-10, CONFERENCE RECORD, 2001, : 3251 - 3255