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