paperbot · PL 论文追踪

全部论文 待读 收藏

P2 TDiFf: Detecting Bugs in DataFrame Systems via Transferred DBMS Test Cases

TDiFf:通过迁移 DBMS 测试用例检测 DataFrame 系统中的缺陷
ASE Proceedings of the 41st IEEE/ACM International Conference on Automated Software Engineering2026匹配度 2/10 · 该论文关注 DataFrame 系统的缺陷检测与 DBMS 测试用例迁移,属于软件测试/调试方向,未涉及静态分析、LLM/Agent、浮点程序分析或贝叶斯程序分析等用户核心研究方向。DataFrame 系统虽与数据/ML 工程有弱关联,但匹配度很低。引用 1 inbox
Jiaxin Hu, Shaowei Chen, Rongxin Wu
crossref: 2026-10-09

AI 速览

一句话:提出 TDiFf,将 DBMS 测试用例迁移到 DataFrame 系统,以自动检测其实现缺陷。

本文关注 DataFrame 系统的正确性保障问题:这类系统广泛用于数据处理,但其实现仍可能存在缺陷,而直接复用成熟的 DBMS 测试基础设施并不容易。作者提出 TDiFf,通过将数据库管理系统(DBMS)的测试用例迁移到 DataFrame 系统来开展测试,以触发并暴露 DataFrame 系统中的 bug。摘要中给出的工件包含 TDiFf 检测到的 bug 列表(TDiFf-buglist.pdf/md)以及 TDiFf 的源代码归档(TDiFf-artifact.zip)。这表明论文以自动化测试发现的缺陷为主要结果,并公开缺陷清单与可复现工件,为 DataFrame 系统的测试与调试提供支持。

问题
如何有效检测 DataFrame 系统中的实现缺陷,并利用已有 DBMS 测试用例来提升测试能力。
方法
TDiFf 将 DBMS 测试用例迁移到 DataFrame 系统,通过执行迁移后的测试来触发并暴露 DataFrame 系统中的 bug。
评估
通过公布检测到的 bug 列表以及 TDiFf 的源代码工件进行评估,说明该工具确实发现了 DataFrame 系统中的缺陷。
原文摘要(Abstract)

TDiFf-buglist.pdf (TDiFf-buglist.md) contains the bug list detected by TDiFf. TDiFf-artifact.zip contains the source code of TDiFf.

链接与引用

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

BibTeX
@inproceedings{paperbot12282,
  title = {TDiFf: Detecting Bugs in DataFrame Systems via Transferred DBMS Test Cases},
  author = {Jiaxin Hu and Shaowei Chen and Rongxin Wu},
  booktitle = {ASE},
  year = {2026},
  doi = {10.1145/3832783.3837548}
}