Journal: Project Engineering DOI: 10.32629/pe.v4i4.21750
Abstract
针对静态规则跨语言适应不足以及大模型置信不稳的问题,构建出证据标准化、约束 重复推理、冲突检测以及概率校准协同方法。选用四种语言六百条代码单元,按照项 目来划分训练、验证以及测试集,同时比较静态、零样本、工具增强、融合以及消融 配置。结果显示,完整模型宏平均指标为0.9315,校准误差为0.0738,四种语言均保持 较高水平;去除推理一致性之后校准误差明显增加。该方法兼顾诊断准确性、概率 可靠性以及证据可追溯性,能够用于在线评测以及代码审查,并且为争议样本提供复 核路径以及参数更新依据。
Keywords
静态分析;大语言模型;代码异味;多语言诊断;置信校准
Full Text
PDF - Viewed/Downloaded: 0 TimesReferences
[1] 许鹏宇,况博裕,苏铓,等.基于大语言模型的自动代码修复综述[J].计算机研究与发 展,2025,62(8):2040-2057.
[2] 香佳宏,徐霄阳,孔繁初,等.大模型在软件缺陷检测与修复的应用发展综述[J].软件 学报,2025,36(4):1489-1529.
[3] 周书林,李姗姗,董威,等.软件运行时配置研究综述[J].软件学报,2024,35(1):63- 86.
[4] 汪海沛,孙福特,张磊.一种利用大语言模型增强静态分析代码摘要能力的方法[J]. 小型微型计算机系统,2025,46(5):1177-1183.
[5] 何浩辰,李姗姗,贾周阳,等.基础软件性能缺陷检测研究综述[J].计算机学报,2025 ,48(1):210-233.
[2] 香佳宏,徐霄阳,孔繁初,等.大模型在软件缺陷检测与修复的应用发展综述[J].软件 学报,2025,36(4):1489-1529.
[3] 周书林,李姗姗,董威,等.软件运行时配置研究综述[J].软件学报,2024,35(1):63- 86.
[4] 汪海沛,孙福特,张磊.一种利用大语言模型增强静态分析代码摘要能力的方法[J]. 小型微型计算机系统,2025,46(5):1177-1183.
[5] 何浩辰,李姗姗,贾周阳,等.基础软件性能缺陷检测研究综述[J].计算机学报,2025 ,48(1):210-233.
Copyright © 2026 陈欢, 马文亭, 姜楠楠, 龚丹, 田鑫宇, 张海南
This work is licensed under a Creative Commons Attribution-NonCommercial 4.0 International License
