paperbot · PL 论文追踪

全部论文 待读 收藏

P2 Software Evolution Management with Differential Facts

基于差分事实的软件演化管理
ASE Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering2022匹配度 2/10 · 论文属于软件演化管理与程序分析基础设施,关注跨版本差分事实和可复用查询,但未涉及 LLM/Agent、浮点程序分析或贝叶斯程序分析,与用户当前核心研究方向无直接交集。引用 0 inbox
Xiuheng Wu
crossref: 2026-09-12

AI 速览

一句话:提出统一的“差分事实”格式,跨版本表示软件变化与版本内关系,支持可复用查询以完成演化管理任务。

软件演化管理中,从软件制品挖掘的知识常难以在不同任务间复用。本文提出统一格式“差分事实”(differential facts),将跨版本软件变化与每个版本内部的关系(如调用图)表示为可查询事实,并通过对差分事实的操作实现复杂演化管理任务。由于抽取后的事实可在不同任务间共享,整体性能得到提升。作者通过语义历史切片、回归测试选择、文档错误检测和客户端特定使用模式发现等应用进行验证,表明该技术高效、灵活且易于实现。

问题
如何统一表示并复用从软件制品中挖掘的跨版本变化与版本内关系,以支持多样化的软件演化管理任务。
方法
提出差分事实统一格式,将版本变化和调用图等版本内关系编码为可查询事实,并支持事实复用与组合查询来实现演化管理任务。
评估
实现若干应用,包括语义历史切片、回归测试选择、文档错误检测和客户端特定使用模式发现,验证了该技术的高效性、灵活性与易实现性。
原文摘要(Abstract)

Many techniques have been proposed to mine knowledge from software artefacts and solve software evolution management tasks. To promote effective reusing of those knowledge, we propose a unified format, differential facts, to represent software changes across versions as well as various relations within each version, such as call graphs. Based on queryable formats, differential facts can be manipulated to implement complex evolution management tasks. Since facts once extracted can be shared among different tasks, the reusability brings improvements to overall performance. We validate the technique and show its benefits of being efficient, flexible, and easy to implement, with several applications, including semantic history slicing, regression test selection, documentation error detection and client-specific usage patterns discovery.

链接与引用

DOI 原文 ·

BibTeX
@inproceedings{paperbot7297,
  title = {Software Evolution Management with Differential Facts},
  author = {Xiuheng Wu},
  booktitle = {ASE},
  year = {2022},
  doi = {10.1145/3551349.3559513}
}