Set evolution based test data generation for killing stubborn mutants

被引:0
|
作者
Wei, Changqing [1 ]
Yao, Xiangjuan [1 ]
Gong, Dunwei [2 ]
Liu, Huai [3 ]
Dang, Xiangying [4 ]
机构
[1] China Univ Min & Technol, Sch Math, Xuzhou 221116, Peoples R China
[2] Qingdao Univ Sci & Technol, Coll Automat & Elect Engn, Qingdao 266061, Peoples R China
[3] Swinburne Univ Technol, Dept Comp Technol, Melbourne, Australia
[4] Xuzhou Univ Technol, Sch Informat Engn, Sch Big Data, Xuzhou 221018, Peoples R China
基金
中国国家自然科学基金;
关键词
Mutation testing; Set evolution; Stubborn mutants; Test data generation;
D O I
10.1016/j.jss.2024.112121
中图分类号
TP31 [计算机软件];
学科分类号
081202 ; 0835 ;
摘要
Mutation testing is a fault-based and powerful software testing technique, but the large number of mutations can result in extremely high costs. To reduce the cost of mutation testing, researchers attempt to identify stubborn mutants and generate test data to kill them, in order to achieve the same testing effect. However, existing methods suffer from inaccurate identification of stubborn mutants and low productiveness in generating test data, which will seriously affect the effectiveness and efficiency of mutation testing. Therefore, we propose a new method of generating test data for killing stubborn mutants based on set evolution, namely TDGMSE. We first propose an integrated indicator to identify stubborn mutants. Then, we establish a constrained multiobjective model for generating test data of killing stubborn mutants. Finally, we develop a new genetic algorithm based on set evolution to solve the mathematical model. The results on 14 programs depict that the average false positive (or negative) rate of TDGMSE is decreased about 81.87% (or 32.34%); the success rate of TDGMSE is 99.22%; and the average number of iterations of TDGMSE is 16132.23, which is lowest of all methods. The research highlights several potential research directions for mutation testing.
引用
收藏
页数:19
相关论文
共 50 条
  • [21] A Compact Set of Seeds for LFSR-Based Test Generation from a Fully-Specified Compact Test Set
    Pomeranz, Irith
    2016 IEEE COMPUTER SOCIETY ANNUAL SYMPOSIUM ON VLSI (ISVLSI), 2016, : 361 - 366
  • [22] Multiple test set generation method for LFSR-Based BIST
    Shi, YH
    Zhe, Z
    ASP-DAC 2003: PROCEEDINGS OF THE ASIA AND SOUTH PACIFIC DESIGN AUTOMATION CONFERENCE, 2003, : 863 - 868
  • [23] Test Generation by Constraint Solving and FSM Mutant Killing
    Petrenko, Alexandre
    Timo, Omer Nguena
    Ramesh, S.
    TESTING SOFTWARE AND SYSTEMS, ICTSS 2016, 2016, 9976 : 36 - 51
  • [24] Automated test set generation for statecharts
    Bogdanov, K
    Holcombe, M
    Singh, H
    APPLIED FORMAL METHODS - FM-TRENDS 98, 1999, 1641 : 107 - 121
  • [25] Reliability test for degradation data based on ranked set sampling
    Zhang, Wenhan
    Zhu, Xiaojun
    He, Mu
    Narayanaswamy, Balakrishnan
    QUALITY AND RELIABILITY ENGINEERING INTERNATIONAL, 2025, 41 (01) : 235 - 254
  • [26] Constraint-Based Automated Generation of Test Data
    Adorf, Hans-Martin
    Varendorff, Martin
    SOFTWARE QUALITY: MODEL-BASED APPROACHES FOR ADVANCED SOFTWARE AND SYSTEMS ENGINEERING, 2014, 166 : 199 - 213
  • [27] CONSTRAINT-BASED AUTOMATIC TEST DATA GENERATION
    DEMILLO, RA
    OFFUTT, AJ
    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1991, 17 (09) : 900 - 910
  • [28] Test data generation based on automatic division of path
    Liao W.-Z.
    Liao, Wei-Zhi (weizhiliao2002@aliyun.com), 1600, Chinese Institute of Electronics (44): : 2254 - 2261
  • [29] Forward Slicing Algorithm based Test Data Generation
    Samuel, Philip
    Surendran, Anupama
    PROCEEDINGS OF 2010 3RD IEEE INTERNATIONAL CONFERENCE ON COMPUTER SCIENCE AND INFORMATION TECHNOLOGY (ICCSIT 2010), VOL 8, 2010, : 270 - 274
  • [30] XML-BASED AUTOMATIC TEST DATA GENERATION
    Bulbul, Halil Ibrahim
    Bakir, Turgut
    COMPUTING AND INFORMATICS, 2008, 27 (04) : 681 - 698