paperbot · PL 论文追踪

全部论文 待读 收藏

P2 Growing a Test Corpus with Bonsai Fuzzing

使用 Bonsai Fuzzing 培育测试语料库
ICSE 2021 IEEE/ACM 43rd International Conference on Software Engineering (ICSE)2021匹配度 2/10 · 该论文属于软件测试/模糊测试领域,提出基于覆盖引导和文法的 Bonsai Fuzzing 来构造简洁测试语料,与用户核心关注的 PL↔AI 交叉(静态分析×LLM/Agent、浮点程序分析、贝叶斯程序分析)几乎无交集,也未涉及 LLM 或形式化验证。仅因'程序输入/测试语料生成'与 PL 沾边而获得少量相关度。引用 21 inbox
Vasudev Vikram, Rohan Padhye, Koushik Sen
crossref: 2026-09-12dblp: 2026-09-12arxiv: 2026-09-12

AI 速览

一句话:提出 Bonsai Fuzzing,一种基于覆盖引导和文法的模糊测试技术,通过迭代加深按构造生成简洁测试输入语料。

本文关注自动合成简洁测试输入语料的问题,并以教育用编译器为例说明为学生生成有意义测试用例的需求。已有最先进方案结合模糊测试与 delta-debugging 等测试用例缩减技术,先生成复杂输入再最小化。作者提出 Bonsai Fuzzing,其核心洞见是不再缩减模糊器产生的复杂输入,而是借助迭代加深在构造过程中逐步“生长”出简洁测试输入;该方法使用覆盖引导的、基于文法的模糊测试。实验表明,与“先模糊后缩减”相比,Bonsai Fuzzing 生成的测试语料平均输入规模小 16–45%,同时达到大致相同的代码覆盖率和故障检测能力。

问题
如何自动生成简洁且有意义的测试输入语料,尤其教育用编译器需要向学生提供合适的测试用例。
方法
提出 Bonsai Fuzzing:覆盖引导、基于文法,并利用迭代加深在构造过程中生长简洁测试输入,而非先生成复杂输入再缩减。
评估
在教育用编译器案例中开展实验,与 fuzz-then-reduce 方法比较。结果显示输入平均小 16–45%,代码覆盖率与故障检测能力大致相同。
原文摘要(Abstract)

This paper presents a coverage-guided grammar-based fuzzing technique for automatically synthesizing a corpus of concise test inputs. We walk-through a case study of a compiler designed for education and the corresponding problem of generating meaningful test cases to provide to students. The prior state-of-the-art solution is a combination of fuzzing and test-case reduction techniques such as variants of delta-debugging. Our key insight is that instead of attempting to minimize convoluted fuzzer-generated test inputs, we can instead grow concise test inputs by construction using a form of iterative deepening. We call this approach bonsai fuzzing. Experimental results show that bonsai fuzzing can generate test corpora having inputs that are 16–45% smaller in size on average as compared to a fuzz-then-reduce approach, while achieving approximately the same code coverage and fault-detection capability.

链接与引用

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

BibTeX
@inproceedings{VikramPS21,
  title = {Growing a Test Corpus with Bonsai Fuzzing},
  author = {Vasudev Vikram and Rohan Padhye and Koushik Sen},
  booktitle = {ICSE},
  year = {2021},
  doi = {10.1109/icse43902.2021.00072}
}