涉及符号执行与模糊测试的混合型测试技术探索性综述
软件工程
2017-12-20 v1
摘要
近期在实用符号执行方面的努力已通过基于搜索的启发式方法和组合方法在一定程度上成功缓解了路径爆炸问题。类似地，由于廉价的多核商用计算机性能的提升，作为一种基于随机变异的可行测试方法的模糊测试也展现出前景。然而，将符号执行与模糊测试相结合，从而提供相互缓解各自缺陷的机会，尚未得到充分探索。例如，模糊测试可以加速符号执行中的路径探索，而符号执行可以使模糊测试中的种子输入生成更高效。在我们看来，以符号执行和模糊测试为核心的混合方案提议寥寥无几。通过分析77篇相关且经系统筛选的论文，我们（1）呈现符号执行与模糊测试混合方案提议的概览，（2）对混合技术研究中改进纯符号执行与模糊测试的差距进行分析，（3）提出混合测试用例生成技术的新思路。
引用
@article{arxiv.1712.06843,
title = {An Exploratory Survey of Hybrid Testing Techniques Involving Symbolic Execution and Fuzzing},
author = {Saahil Ognawala and Ana Petrovska and Kristian Beckers},
journal= {arXiv preprint arXiv:1712.06843},
year = {2017}
}
备注
Author's preprint