基于抽象语法树与图注意力网络的程序逻辑功能错误自动定位与修复系统设计.docx

PAGE2

基于抽象语法树与图注意力网络的程序逻辑功能错误自动定位与修复系统设计

摘要

随着软件规模的急剧增长，程序调试占据了开发周期中约30%~50%的时间，其中逻辑功能错误因其隐蔽性与复杂性，成为最难以捕捉的质量缺陷。

现有工具多依赖静态规则或动态测试，误报率高且难以精准定位到错误语句，补丁修复更依赖人工经验，效率低下。

本课题以自动化调试为切入点，设计并实现基于抽象语法树（AST）与图注意力网络（GAT）的程序逻辑功能错误自动定位与修复系统。

系统首先将源代码解析为增强语义图，融合语法结构、数据流与控制流信息，随后构建多层GAT模型对节点异常度进行评分，精准输出错误节点集合，并基于