我的阅读状态 （保存写回仓库，全设备同步；首次保存需输入访问令牌）

AI 速览

一句话：提出 Java 平台 JQF，将覆盖率引导模糊测试与属性测试结合，兼顾实践者找 bug 与研究者实现新算法。

针对 Java 程序缺陷检测，现有工具缺乏将覆盖率引导模糊测试与属性测试统一且可扩展的平台。本文提出 JQF：一个在 Java 中执行覆盖率引导模糊测试的平台，同时面向两类用户设计——实践者可用它发现真实程序中的缺陷，研究者可基于其架构实现和实验新的模糊测试算法。JQF 将属性测试的规约表达与覆盖率反馈的输入生成相结合，降低了在 JVM 生态中开展模糊测试及算法研究的门槛。

问题

Java 程序的质量保障中，缺乏一个既能让实践者方便开展覆盖率引导的属性测试、又能让研究者快速实现新模糊算法的平台。

方法

提出 JQF 平台，将覆盖率引导的模糊测试与基于属性的测试结合，提供可扩展架构，支持在 Java 中编写和执行属性并接入新的模糊算法。

评估

摘要说明 JQF 面向两类用户设计：实践者可用其发现 Java 程序中的缺陷，研究者可基于其实现和评估新的模糊测试算法。

链接与引用

DOI 原文 · PDF（开放获取） ·

@inproceedings{paperbot5387,
  title = {JQF: coverage-guided property-based testing in Java},
  author = {Rohan Padhye and Caroline Lemieux and Koushik Sen},
  booktitle = {ISSTA},
  year = {2019},
  doi = {10.1145/3293882.3339002}
}