paperbot · PL 论文追踪

全部论文 待读 收藏

P2 Embedding Traceability in Large Language Model Code Generation: Towards Trustworthy AI-Augmented Software Engineering

在大型语言模型代码生成中嵌入可追溯性:迈向可信的 AI 增强软件工程
FSE Proceedings of the 33rd ACM International Conference on the Foundations of Software Engineering2025匹配度 3/10 · 该论文关注LLM代码生成的需求可追溯性和可信软件工程,属于AI与软件工程交叉,但并未涉及用户核心关注的静态分析、Agentic程序分析、浮点程序分析或贝叶斯程序分析,也未提出具体的程序分析技术或面向分析工具的LLM改进方法。引用 1 inbox
Fei Wang, XueFeng Xi, ZhiMing Cui, Huan Dai, XinYu Wang
crossref: 2026-09-12

AI 速览

一句话:提出将可追溯性作为LLM代码生成的一等目标,通过结构化需求提示、元数据微调和检索增强验证实现可信生成。

大型语言模型在软件工程中的兴起带来了关键挑战:如何将生成代码追溯到其需求来源。传统追溯方法面向人类编写代码,无法应对LLM的随机性与不透明性——相同提示也可能产生不同输出。本文提出将可追溯性作为LLM代码生成流水线的一等目标,并采用三种策略:结构化需求提示、元数据感知微调与检索增强验证。该框架针对LLM不透明性、非确定性和可扩展性问题,引入度量、动态适配和伦理考量,以支持可审计的代码生成。论文贡献包括一个端到端框架、一项研究议程以及若干设计原则,旨在支撑可信的AI增强软件工程。

问题
LLM生成的代码难以追溯到其需求来源,而面向人类编写代码的传统追溯方法无法应对LLM的随机性和不透明性。
方法
提出将可追溯性嵌入LLM代码生成流水线,结合结构化需求提示、元数据感知微调与检索增强验证,并引入度量、动态适配和伦理考量。
评估
摘要未报告具体实验评估,论文主要贡献是端到端框架、研究议程与设计原则。
原文摘要(Abstract)

The rise of LLMs in software engineering introduces critical challenges in tracing generated code to its governing requirements. Traditional traceability methods, designed for human-authored code, fail to address LLMs' stochastic and opaque nature, which yields divergent outputs from identical prompts. This paper proposes embedding traceability as a first-class objective in LLM code-generation pipelines through three strategies: structured requirement prompting, metadata-aware fine-tuning, and retrieval-augmented validation. Our framework addresses LLM opacity, non-determinism, and scalability, while introducing metrics, dynamic adaptation, and ethical considerations for audit-ready code generation. Contributions include an end-to-end framework, a research agenda, and design principles to support trustworthy AI-augmented software engineering.

链接与引用

DOI 原文 · PDF(开放获取) ·

BibTeX
@inproceedings{paperbot9119,
  title = {Embedding Traceability in Large Language Model Code Generation: Towards Trustworthy AI-Augmented Software Engineering},
  author = {Fei Wang and XueFeng Xi and ZhiMing Cui and Huan Dai and XinYu Wang},
  booktitle = {FSE},
  year = {2025},
  doi = {10.1145/3696630.3730569}
}