When debugging encounters artificial intelligence:state of the art and open challenges  

作　　者：Yi SONG Xiaoyuan XIE Baowen XU 

机构地区：[1]School of Computer Science,Wuhan University,Wuhan 430072,China [2]State Key Laboratory of Novel Software Technology,Nanjing University,Nanjing 210023,China

出　　处：《Science China(Information Sciences)》2024年第4期38-80,共43页中国科学（信息科学）（英文版）

基　　金：partially supported by National Natural Science Foundation of China(Grant Nos.62250610224,61972289,61832009)。

摘　　要：Both software debugging and artificial intelligence techniques are hot topics in the current field of software engineering.Debugging techniques,which comprise fault localization and program repair,are an important part of the software development lifecycle for ensuring the quality of software systems.As the scale and complexity of software systems grow,developers intend to improve the effectiveness and efficiency of software debugging via artificial intelligence(artificial intelligence for software debugging,AI4SD).On the other hand,many artificial intelligence models are being integrated into safety-critical areas such as autonomous driving,image recognition,and audio processing,where software debugging is highly necessary and urgent(software debugging for artificial intelligence,SD4AI).An AI-enhanced debugging technique could assist in debugging AI systems more effectively,and a more robust and reliable AI approach could further guarantee and support debugging techniques.Therefore,it is important to take AI4SD and SD4AI into consideration comprehensively.In this paper,we want to show readers the path,the trend,and the potential that these two directions interact with each other.We select and review a total of 165 papers in AI4SD and SD4AI for answering three research questions,and further analyze opportunities and challenges as well as suggest future directions of this cross-cutting area.

关 键 词：software debugging fault localization program repair artificial intelligence machine learning 

分 类 号：TP311.5[自动化与计算机技术—计算机软件与理论] TP18[自动化与计算机技术—计算机科学与技术]