paperbot · PL 论文追踪

全部论文 待读 收藏

P2 DIFFBASE: a differential factbase for effective software evolution management

DIFFBASE:面向有效软件演化管理的差分事实库
FSE Proceedings of the 29th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering2021匹配度 2/10 · 该论文属于程序分析与软件演化管理的基础设施工作,关注差分事实库以统一表示和查询程序变更,不涉及LLM/Agent、浮点程序分析或贝叶斯程序分析,与用户画像的核心交叉方向(PL与AI结合)关联很弱。引用 7 inbox
Xiuheng Wu, Chenguang Zhu, Yi Li
crossref: 2026-09-12

AI 速览

一句话:提出 DIFFBASE,一个可交换的差分事实库,将程序变更作为一等对象,统一支持软件演化信息的查询与操作。

软件开发生命周期中已有大量工具与技术从开发制品中抽取和分析信息,但不同分析之间缺乏有效的信息处理、存储与交换方式。本文提出 differential factbase(差分事实库),一种建立在程序事实概念之上的统一可交换表示,支持高效查询与操作。该方法将程序变更视为一等对象,通过版本内事实与版本间事实建立单个程序快照内部信息及跨版本演化之间的关联。作者实现了一系列面向不同编程语言和平台的差分事实抽取器,并通过使用场景展示采用差分事实在支持软件演化管理方面的优势。

问题
不同软件分析工具产生的事实缺乏统一表示与交换机制,难以高效处理、存储和查询跨版本程序演化信息。
方法
提出差分事实库,将程序变更作为一等对象,连接版本内与版本间事实,并提供查询/操作表示及多语言多平台差分事实抽取器。
评估
实现多种差分事实抽取器,并通过使用场景说明其在软件演化管理中的收益。
原文摘要(Abstract)

Numerous tools and techniques have been developed to extract and analyze information from software development artifacts. Yet, there is a lack of effective method to process, store, and exchange information among different analyses. In this paper, we propose differential factbase, a uniform exchangeable representation supporting efficient querying and manipulation, based on the existing concept of program facts. We consider program changes as first-class objects, which establish links between intra-version facts of single program snapshots and provide insights on how certain artifacts evolve over time via inter-version facts. We implement a series of differential fact extractors supporting different programming languages and platforms, and demonstrate with usage scenarios the benefits of adopting differential facts in supporting software evolution management.

链接与引用

DOI 原文 ·

BibTeX
@inproceedings{paperbot6309,
  title = {DIFFBASE: a differential factbase for effective software evolution management},
  author = {Xiuheng Wu and Chenguang Zhu and Yi Li},
  booktitle = {FSE},
  year = {2021},
  doi = {10.1145/3468264.3468605}
}