paperbot · PL 论文追踪

全部论文 待读 收藏

P2 Detecting and Mitigating Inconsistencies Between Code, Documentation and Tests

检测并缓解代码、文档与测试之间的不一致
ASE 2025 40th IEEE/ACM International Conference on Automated Software Engineering (ASE)2025匹配度 3/10 · 该论文关注代码、文档与测试之间不一致的检测与缓解,属于软件工程/开发者工具方向,与程序分析有弱关联;但未涉及静态分析在ML/Agentic程序中的应用、LLM/Agent改进静态分析或形式化验证、浮点程序分析、贝叶斯程序分析等核心方向。引用 0 inbox
Tobias Kiecker
crossref: 2026-09-12

AI 速览

一句话:提出基于再生与交叉验证的SE工具,检测并缓解代码、文档与测试之间的不一致。

代码、文档与测试之间的不一致是软件工程中长期存在的问题,会降低软件质量、拖慢开发并增加维护难度。三类工件从不同但重叠的视角描述同一软件行为,构成三角关系,原则上任一工件都可用于再生其他工件。该博士项目旨在利用这种关系,通过基于再生的技术检测并最终缓解工件间的不一致。具体地,项目将构建一个SE工具,利用原始版本与再生版本进行三角定位,并通过交叉验证提高可靠性;同时特别关注降低误报,确保报告给开发者的问题可信且可操作,尤其是在真实项目中。

问题
代码、文档与测试等软件工件之间的不一致普遍存在,会损害软件质量、开发效率与可维护性。
方法
利用三类工件之间的三角关系,采用基于再生的技术,通过原始版本与再生版本的交叉验证来检测和缓解不一致,并重点控制误报。
评估
摘要未给出具体评估方案或结果;项目计划在真实项目中向开发者呈现可信、可操作的问题报告,并强调降低误报。
原文摘要(Abstract)

Inconsistencies between different software artifacts, such as source code, documentation, and tests, are a common and long-standing problem in software engineering. These misalignments can degrade software quality, slow down development, and hinder maintenance. Each of these artifacts provides a distinct yet overlapping perspective of the same software behavior, forming a triangular relationship in which any one artifact can, in principle, be used to regenerate the others.In this PhD project, we aim to exploit these relationships through regeneration-based techniques to detect and ultimately mitigate inconsistencies across software artifacts. The approach focuses on building an SE-tool that leverages original and regenerated versions of artifacts to triangulate inconsistencies and improve reliability through cross-validation. A particular emphasis is placed on reducing false positives, ensuring that reported issues are trustworthy and actionable, especially when presented to developers in real-world projects.

链接与引用

DOI 原文 ·

BibTeX
@inproceedings{paperbot9515,
  title = {Detecting and Mitigating Inconsistencies Between Code, Documentation and Tests},
  author = {Tobias Kiecker},
  booktitle = {ASE},
  year = {2025},
  doi = {10.1109/ase63991.2025.00397}
}