文件名称：JQF:JQF + 热情
文件大小：467KB
文件格式：ZIP
更新时间：2024-08-13 03:35:10
junit quickcheck property-based-testing fuzzing afl
JQF + Zest：Java 语义模糊测试 JQF 是一个反馈导向的 Java 模糊测试平台（想想：AFL/LibFuzzer 但对于 JVM 字节码）。 JQF 使用基于属性的测试的抽象，这使得将模糊驱动程序编写为参数化 JUnit 测试方法变得很好。 JQF 建立在之上。 JQF 支持运行 junit-quickcheck 风格的参数化单元测试，并利用Zest等覆盖引导模糊算法的强大功能。 是一种将覆盖引导模糊测试偏向于产生语义有效输入的算法； 也就是说，满足结构和语义属性同时最大化代码覆盖率的输入。 Zest 的目标是找到传统模糊测试工具无法发现的深层语义错误，这些工具主要只强调错误处理逻辑。 默认情况下，JQF 通过简单的命令运行 Zest： mvn jqf:fuzz 。 JQF是一个模块化框架，支持以下可插拔起毛前端称为导向管： 使用二进制模糊测试（） 使用语义模糊测