基于可区分性指导的WebAssembly运行时性能测试程序生成
软件工程
2024-12-31 v1
摘要
WebAssembly (Wasm) 是一种旨在作为便携式编译目标的二进制指令格式，近年来在Web端和服务器端广泛应用。由于高性能是Wasm的核心设计目标，因此对Wasm运行时进行性能测试至关重要。然而，现有研究在Wasm运行时性能测试方面仍存在测试程序质量不足的问题。为此，我们提出了一种新颖的测试程序生成方法WarpGen。它首先从历史问题触发测试程序中提取代码片段作为初始算子，然后将算子插入到种子程序中以合成新的测试程序。为验证生成程序的质量，我们提出了一种称为可区分性的指标，即指测试程序区分特定Wasm运行时异常性能的能力。我们对WarpGen在四个Wasm运行时上进行性能测试，并验证了其相对于基线方法的有效性。特别是，WarpGen在三个Wasm运行时中识别了七个新的性能问题。
关键词
引用
@article{arxiv.2412.20100,
title = {Distinguishability-guided Test Program Generation for WebAssembly Runtime Performance Testing},
author = {Shuyao Jiang and Ruiying Zeng and Yangfan Zhou and Michael R. Lyu},
journal= {arXiv preprint arXiv:2412.20100},
year = {2024}
}
备注
Accepted by the 32nd edition of the IEEE International Conference on Software Analysis, Evolution, and Reengineering (SANER 2025)