以盆景模糊测试培育测试语料库
软件工程
2021-03-09 v1 编程语言
摘要
本文提出一种覆盖引导的基于语法的模糊测试技术,用于自动生成面向编译器这类程序的简洁测试输入语料库。我们以一个面向教学设计的编译器及其对应的、向学生提供有意义测试用例的问题为例进行案例研究。先前最先进的解决方案是模糊测试与测试用例约简技术(如 delta-debugging 的变体)的结合。我们的核心见解是:与其试图最小化模糊测试器生成的复杂测试输入,不如通过一种迭代加深的构造方式培育简洁的测试输入。我们将此方法称为盆景模糊测试(Bonsai Fuzzing)。实验结果表明,与“先模糊后约简”的方法相比,盆景模糊测试生成的测试语料库在输入规模上平均小 16%–45%,同时达到大致相同的代码覆盖率和故障检测能力。
引用
@article{arxiv.2103.04388,
title = {Growing a Test Corpus with Bonsai Fuzzing},
author = {Vasudev Vikram and Rohan Padhye and Koushik Sen},
journal= {arXiv preprint arXiv:2103.04388},
year = {2021}
}
备注
Accepted at the 43rd International Conference on Software Engineering (ICSE 2021)