Test data generation for covering mutation-based path using MGA for MPI program

被引:2
|
作者
Dang, Xiangying [1 ]
Wang, Jinyong [1 ]
Gong, Dunwei [2 ]
Yao, Xiangjuan [3 ]
Wei, Changqing [3 ]
Xu, Biao [4 ]
机构
[1] Xuzhou Univ Technol, Sch Informat Engn, Sch Big Data, Xuzhou 221018, Peoples R China
[2] Qingdao Univ Sci & Technol, Coll Automat & Elect Engn, Qingdao 266061, Peoples R China
[3] China Univ Min & Technol, Sch Math, Xuzhou 221116, Peoples R China
[4] Shantou Univ, Dept Elect Engn, Shantou 515063, Peoples R China
基金
中国国家自然科学基金;
关键词
Message passing interface (MPI); Software testing; Mutation testing; Multi-population genetic algorithm (MGA); Test data generation; PERFORMANCE; CRITERIA;
D O I
10.1016/j.jss.2024.111962
中图分类号
TP31 [计算机软件];
学科分类号
081202 ; 0835 ;
摘要
Message Passing Interface (MPI) is a communication protocol used for parallel programming in various languages, valued for its reliability and broad applicability. Mutation testing is a software testing method for systematically simulating software faults. However, the significant number of inserted mutation branches in the program escalates the testing cost. To address this issue, we propose the comprehensive PMTDGM framework. The framework first generates mutation -based paths based on the relevancy of mutant branches and the difficulty of mutant branch coverage, followed by the establishment of a multitask model of path coverage. Finally, we employ a multi -population genetic algorithm (MGA) to generate test data. Our experiments, performed on six MPI programs of varying sizes and structures, demonstrate that the mutation -based paths have the small test sets and are easy to cover. Additionally, the multitask model and MGA can significantly improve the efficiency of generating test data and reduce the cost of mutation testing for MPI programs compared to traditional methods.
引用
收藏
页数:12
相关论文
共 50 条
  • [1] Strong Mutation-Based Test Data Generation using Hill Climbing
    Souza, Francisco Carlos M.
    Papadakis, Mike
    Le Traon, Yves
    Delamaro, Marcio E.
    [J]. 2016 IEEE/ACM 9TH INTERNATIONAL WORKSHOP ON SEARCH-BASED SOFTWARE TESTING (SBST), 2016, : 45 - 54
  • [2] Test Data Generation for Path Coverage of MPI Programs Using SAEO
    Gong, Dunwei
    Sun, Baicai
    Yao, Xiangjuan
    Tian, Tian
    [J]. ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY, 2021, 30 (02)
  • [3] Test Case Generation for Mutation-based Testing of Timeliness
    Nilsson, Robert
    Offutt, Jeff
    Mellin, Jonas
    [J]. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2006, 164 (04) : 97 - 114
  • [4] Mutation-Based Test Case Generation for Simulink Models
    Brillout, Angelo
    He, Nannan
    Mazzucchi, Michele
    Kroening, Daniel
    Purandare, Mitra
    Ruemmer, Philipp
    Weissenbacher, Georg
    [J]. FORMAL METHODS FOR COMPONENTS AND OBJECTS, 2010, 6286 : 208 - +
  • [5] Mutation-Based Test-Case Generation with Ecdar
    Larsen, Kim G.
    Lorber, Florian
    Nielsen, Brian
    Nyman, Ulrik M.
    [J]. 10TH IEEE INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION WORKSHOPS - ICSTW 2017, 2017, : 319 - 328
  • [6] Mutation-Based Test Generation for PLC Embedded Software Using Model Checking
    Enoiu, Eduard P.
    Sundmark, Daniel
    Causevic, Adnan
    Feldt, Robert
    Pettersson, Paul
    [J]. TESTING SOFTWARE AND SYSTEMS, ICTSS 2016, 2016, 9976 : 155 - 171
  • [7] Mutation-Based Generation of Software Product Line Test Configurations
    Henard, Christopher
    Papadakis, Mike
    Le Traon, Yves
    [J]. SEARCH-BASED SOFTWARE ENGINEERING, 2014, 8636 : 92 - 106
  • [8] Achieving scalable mutation-based generation of whole test suites
    Fraser, Gordon
    Arcuri, Andrea
    [J]. EMPIRICAL SOFTWARE ENGINEERING, 2015, 20 (03) : 783 - 812
  • [9] Mutation-Based Minimal Test Suite Generation for Boolean Expressions
    Ayav, Tolga
    Belli, Fevzi
    [J]. INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, 2023, 33 (06) : 865 - 884
  • [10] How to improve a set of design validation data by using mutation-based test
    Serrestou, Youssef
    Beroulle, Vincent
    Robach, Chantal
    [J]. PROCEEDINGS OF THE 2006 IEEE WORKSHOP ON DESIGN AND DIAGNOSTICS OF ELECTRONIC CIRCUITS AND SYSTEMS, 2006, : 77 - +