paperbot · PL 论文追踪

全部论文 待读 收藏

P2 FADATest

FADATest:面向动态二进制翻译系统的自适应性能回归测试
ICSE Proceedings of the 44th International Conference on Software Engineering2022匹配度 1/10 · 该论文研究动态二进制翻译系统的性能回归测试与测试程序自动生成,属于软件测试/系统性能领域,与用户关注的静态分析、LLM/Agent、浮点程序分析、贝叶斯程序分析等核心方向几乎没有交集。引用 3 inbox
Jin Wu, Jian Dong, Ruili Fang, Wen Zhang, Wenwen Wang, Decheng Zuo
crossref: 2026-09-12

AI 速览

一句话:提出 FADATest,自动生成自适应测试程序,实现动态二进制翻译系统的高效性能回归测试。

动态二进制翻译(DBT)系统复杂,性能回归测试难以应用,且缺乏有效测试程序。FADATest 针对这些挑战提出新技术:根据现有真实基准程序的运行时特征,自动生成可适配的测试程序,用于对 DBT 系统进行高效且自适应的性能回归测试。作者实现了原型系统,并在 QEMU 和 Valgrind 两个流行 DBT 系统的多个版本上评估。实验表明,FADATest 能发现与原基准程序相同的性能回归问题,同时在 x86-64 和 AArch64 两种硬件平台上显著提升测试效率。

问题
DBT 系统固有复杂,性能回归测试难以直接应用,且缺乏有效测试程序,难以维护其性能效率。
方法
根据现有真实基准程序的运行时特征,自动生成可适配的测试程序,以支持 DBT 系统高效、自适应的性能回归测试。
评估
在 QEMU 和 Valgrind 多版本上,并在 x86-64 与 AArch64 平台上评估,显示能发现与原基准相同的性能回归问题且显著提升测试效率。
原文摘要(Abstract)

Dynamic binary translation (DBT) is the cornerstone of many important applications. In practice, however, it is quite difficult to maintain the performance efficiency of a DBT system due to its inherent complexity. Although performance regression testing is an effective approach to detect potential performance regression issues, it is not easy to apply performance regression testing to DBT systems, because of the natural differences between DBT systems and common software systems and the limited availability of effective test programs. In this paper, we present FADATest, which devises several novel techniques to address these challenges. Specifically, FADATest automatically generates adaptable test programs from existing real benchmark programs of DBT systems according to the runtime characteristics of the benchmarks. The test programs can then be used to achieve highly efficient and adaptive performance regression testing of DBT systems. We have implemented a prototype of FADATest. Experimental results show that FADATest can successfully uncover the same performance regression issues across the evaluated versions of two popular DBT systems, QEMU and Valgrind, as the original benchmark programs. Moreover, the testing efficiency is improved significantly on two different hardware platforms powered by x86-64 and AArch64, respectively.

链接与引用

DOI 原文 ·

BibTeX
@inproceedings{paperbot6944,
  title = {FADATest},
  author = {Jin Wu and Jian Dong and Ruili Fang and Wen Zhang and Wenwen Wang and Decheng Zuo},
  booktitle = {ICSE},
  year = {2022},
  doi = {10.1145/3510003.3510169}
}