RERS-Fuzz:将灰盒模糊测试与区间分析结合用于反应式软件的错误可达性
软件工程
2019-07-29 v1
摘要
模糊测试是软件维护与演化领域中一个被充分研究的领域。近年来,基于覆盖的灰盒模糊测试因在工业级软件中发现严重安全级别与致命缺陷而获得极大关注。灰盒模糊测试以覆盖最大化为目标函数,并通过采用反馈驱动的进化算法来实现。在我们的工作中,我们利用灰盒模糊测试的能力,结合区间分析来解决顺序与工业 RERS(Rigorous Examination of Reactive Software,反应式软件严格检验)2019 基准中的可达性问题。
引用
@article{arxiv.1907.11409,
title = {RERS-Fuzz : Combining Greybox Fuzzing with Interval Analysis for error reachability in reactive softwares},
author = {Animesh Basak Chowdhury},
journal= {arXiv preprint arXiv:1907.11409},
year = {2019}
}
备注
4 pages, 1 figure