paperbot · PL 论文追踪

全部论文 待读 收藏

P2 Compsuite: A Dataset of Java Library Upgrade Incompatibility Issues

Compsuite:一个 Java 库升级不兼容问题的数据集
ASE 2023 38th IEEE/ACM International Conference on Automated Software Engineering (ASE)2023匹配度 2/10 · 该论文构建的是Java库升级不兼容问题的数据集与命令行工具,属于软件测试/调试/修复方向,与用户核心关注的PL与AI交叉、静态分析、浮点程序分析、贝叶斯程序分析及LLM/Agent改进分析等方向均无直接关联。虽然提供了真实案例和可复现测试,但既非理论形式化研究,也不涉及LLM/Agent或工业界静态分析工具落地。引用 3 inbox
Xiufeng Xu, Chenguang Zhu, Yi Li
crossref: 2026-09-12dblp: 2026-09-12arxiv: 2026-09-12

AI 速览

一句话:构建包含123个真实Java库升级不兼容案例及可复现测试用例的公开数据集与命令行工具。

现代软件系统依赖第三方库,但库的频繁升级可能导致其与客户端系统之间出现不兼容问题。本文提出 Compsuite,一个包含 123 个真实 Java 客户端-库配对的公开数据集,其中每个配对都因库升级而在客户端引发不兼容问题。Compsuite 为每个不兼容问题关联开发者编写的测试用例,可用于复现该问题;同时提供命令行接口,简化每个问题的执行与验证。用户可以一键检查任意不兼容问题,或逐步复现以进行更细致的调查。该数据集公开可用,并可支持兼容性检查、调试和回归测试选择等软件分析技术。

问题
第三方 Java 库频繁升级容易造成客户端不兼容,但缺乏包含真实可复现案例的公开数据集来支撑相关分析、调试与测试研究。
方法
收集 123 个真实 Java 客户端-库升级不兼容配对,为每个问题关联开发者测试用例,并提供命令行接口以执行和验证这些案例。
评估
通过公开数据集和命令行工具支持一键检查或逐步复现问题,并论证其可服务于兼容性检查、调试与回归测试选择等任务。
原文摘要(Abstract)

Modern software systems heavily rely on external libraries developed by third-parties to ensure efficient development. However, frequent library upgrades can lead to compatibility issues between the libraries and their client systems. In this paper, we introduce Compsuite, a dataset that includes 123 real-world Java client-library pairs where upgrading the library causes an incompatibility issue in the corresponding client. Each incompatibility issue in Compsuite is associated with a test case authored by the developers, which can be used to reproduce the issue. The dataset also provides a command-line interface that simplifies the execution and validation of each issue. With this infrastructure, users can perform an inspection of any incompatibility issue with the push of a button, or reproduce an issue step-by-step for a more detailed investigation. We make Compsuite publicly available to promote open science. We believe that various software analysis techniques, such as compatibility checking, debugging, and regression test selection, can benefit from Compsuite. The demonstration video of Compsuite is available at https://www.youtube.com/watch?v=7DQGsGs_65s.

链接与引用

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

BibTeX
@inproceedings{XuZL23,
  title = {Compsuite: A Dataset of Java Library Upgrade Incompatibility Issues},
  author = {Xiufeng Xu and Chenguang Zhu and Yi Li},
  booktitle = {ASE},
  year = {2023},
  doi = {10.1109/ase56229.2023.00127}
}