RESEARCH NOTES-GMRepair: Graph Mining Template-Based Automated Software Repair

被引:0
|
作者
Cao, Heling [1 ,2 ,3 ,4 ]
Guo, Yanlong [1 ,2 ,3 ,4 ]
Wang, Yun [1 ,2 ,3 ,4 ]
Tian, Fangchao [1 ,2 ,3 ,4 ]
Wang, Zhaolong [1 ,2 ,3 ,4 ]
Chu, Yonghe [1 ,2 ,3 ,4 ]
Deng, Miaolei [1 ,2 ,3 ,4 ]
Wang, Panpan [1 ,2 ,3 ,4 ]
He, Zhenghao [1 ,2 ,3 ,4 ]
Wei, Shuting [1 ,2 ,3 ,4 ]
机构
[1] Henan Univ Technol, Key Lab Grain Informat Proc & Control, Minist Educ, Zhengzhou 450001, Peoples R China
[2] Henan Univ Technol, Henan Key Lab Grain Photoelect Detect & Control, Zhengzhou 450001, Peoples R China
[3] Henan Univ Technol, Coll Informat Sci & Engn, Zhengzhou 450001, Peoples R China
[4] Henan Int Joint Lab Grain Informat Proc, Zhengzhou 450001, Peoples R China
基金
中国国家自然科学基金;
关键词
Software bug repair; repair templates; genetic programming; test case sequencing; PROGRAM REPAIR;
D O I
10.1142/S0218194025500068
中图分类号
TP18 [人工智能理论];
学科分类号
081104 ; 0812 ; 0835 ; 1405 ;
摘要
With the increasing scale and complexity of software recently, automated software bug repair has grown in importance. However, the current automated software bug repair process suffers from issues such as coarse-grained repair granularity and poor patch quality. To address these problems, we propose a graph mining template-based automatic software repair (GMRepair) to improve the performance of automated software bug repair. First, this approach adopts the Ochiai fault localization technique to locate and generate a list of suspicious defect statements. We utilize the GumTree tool to parse the bug and repair program files, generating edit scripts. These edit scripts are then transformed into a graphical representation. Second, we utilize a frequent graph miner to obtain graph mining templates by matching the context of the suspicious statements with the context of the graph mining templates, generating an initial population for them. The buggy program is evolved using genetic programming through mutation and crossover operations, generating new individuals. Finally, we sequentially pass the candidate patches (CPs) through corresponding test cases and prioritize the test cases using priority sorting techniques. Patches that fail to pass the test cases are filtered out, and the patches that pass the test cases are output. We conducted the experiments using two datasets, QuixBugs and Defects4J. In Defects4J, the GMRepair successfully repaired 41 defects, while in QuixBugs, it successfully repaired 15 defects. Compared to the existing methods, GMRepair offers a higher success rate and efficiency in defect repair.
引用
收藏
页数:23
相关论文
共 50 条
  • [31] Multi-objective Optimization-based Bug-fixing Template Mining for Automated Program Repair
    Kim, Misoo
    Kim, Youngkyoung
    Kim, Kicheol
    Lee, Eunseok
    PROCEEDINGS OF THE 37TH IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING, ASE 2022, 2022,
  • [32] dot2net: A labeled graph approach for template-based configuration of emulation networks
    Kobayashi, Satoru
    Shiiba, Ryusei
    Miura, Ryosuke
    Miwa, Shinsuke
    Miyachi, Toshiyuki
    Fukuda, Kensuke
    2023 19TH INTERNATIONAL CONFERENCE ON NETWORK AND SERVICE MANAGEMENT, CNSM, 2023,
  • [33] Mining software repair models for reasoning on the search space of automated program fixing
    Martinez, Matias
    Monperrus, Martin
    EMPIRICAL SOFTWARE ENGINEERING, 2015, 20 (01) : 176 - 205
  • [34] Mining software repair models for reasoning on the search space of automated program fixing
    Matias Martinez
    Martin Monperrus
    Empirical Software Engineering, 2015, 20 : 176 - 205
  • [35] Evaluation of an automated template-based treatment planning system for radiotherapy of anal, rectal and prostate cancer
    Calmels, Lucie
    Sibolt, Patrik
    Astroem, Lina M.
    Serup-Hansen, Eva
    Lindberg, Henriette
    Fromm, Anna-Lene
    Persson, Gitte
    Sjoestroem, David
    Geertsen, Poul
    Behrens, Claus P.
    TECHNICAL INNOVATIONS & PATIENT SUPPORT IN RADIATION ONCOLOGY, 2022, 22 : 30 - 36
  • [36] Assessing the Impact of Single and Pairwise Slot Constraints in a Factor Graph Model for Template-Based Information Extraction
    ter Horst, Hendrik
    Hartung, Matthias
    Klinger, Roman
    Brazda, Nicole
    Mueller, Hans Werner
    Cimiano, Philipp
    NATURAL LANGUAGE PROCESSING AND INFORMATION SYSTEMS (NLDB 2018), 2018, 10859 : 179 - 190
  • [37] Brain benzodiazepine receptor changes in patients with mild head trauma using automated template-based quantification
    Kauppinen, T
    Ahonen, A
    Tuomivaara, V
    Hiltunen, J
    Bergström, K
    Kuikka, J
    Torniainen, P
    Hillbom, M
    EUROPEAN JOURNAL OF NUCLEAR MEDICINE, 2001, 28 (08): : 1059 - 1059
  • [38] Generating user interface for mobile phone devices using template-based approach and generic software framework
    Tsai, Ming-Jyh
    Chen, Deng-Jyi
    JOURNAL OF INFORMATION SCIENCE AND ENGINEERING, 2007, 23 (04) : 1189 - 1211
  • [39] Embryonic Template-Based Generation and Purification of Pluripotent Stem Cell-Derived Cardiomyocytes for Heart Repair
    Pieterjan Dierickx
    Pieter A. Doevendans
    Niels Geijsen
    Linda W. van Laake
    Journal of Cardiovascular Translational Research, 2012, 5 : 566 - 580
  • [40] Embryonic Template-Based Generation and Purification of Pluripotent Stem Cell-Derived Cardiomyocytes for Heart Repair
    Dierickx, Pieterjan
    Doevendans, Pieter A.
    Geijsen, Niels
    van Laake, Linda W.
    JOURNAL OF CARDIOVASCULAR TRANSLATIONAL RESEARCH, 2012, 5 (05) : 566 - 580