Proj FuzzViz Paper Reading: Feedback-directed Random Test Generation

Abstract

本文目的： incorporating feedback obtained from executing test inputs as they are created
方法：随机选择一个方法来调用。调用时的参数来自之前已经构建好的输入。输入接着根据一个contract和filter集合来执行。执行结果有4类：1. redundant 2. illegal 3. contract-violating 4. useful
最终能产生一个测试集合
实验结果：

  1. 在coverage和error detection方面，显著超过systematic and undirected random test generation
  2. 在4个小型重要数据结构上，比model checking(带有或者不带有abstraction)、undirected random generation都更好
  3. 在14个大型常用库上，找到了许多其他方法找不到的错误
posted @ 2022-04-29 14:38  雪溯  阅读(35)  评论(0)  编辑  收藏  举报