Go fuzz 测试的 seed corpus 怎么保留可复现输入

Go fuzz 测试想要稳定复现，关键不是保存某次 fuzz 运行产生的全部文件，而是把“可提交的 seed corpus”和“本机生成的 fuzz corpus”分开。少量固定样例可以写进 F.Add，需要长期保留的失败输入放到 testdata/fuzz/FuzzX；$GOCACHE/fuzz 下的生成输入则只用于继续探索。这样换机器、跑 CI 或只执行 go test 时，输入集合仍然可预期。

要保留可复现输入，就提交少量能代表边界和已修复缺陷的 seed；不要把一次长时间 fuzz 产生的全部缓存误当成回归测试集。

先分清 F.Add、testdata 和生成缓存

原生 fuzz 有三类容易混淆的输入。F.Add 是测试代码中的固定样例；testdata/fuzz/FuzzX 是与具体 fuzz 函数绑定的文件样例；fuzz 引擎在运行中为了扩大覆盖率产生的输入，会写到构建缓存中的 fuzz 目录。前两者会在普通测试中作为 seed corpus 执行，缓存里的生成输入主要服务于继续 fuzz。

package parser

import "testing"

func FuzzParseLine(f *testing.F) {
    // 只放少量有代表性的固定输入，避免把随机样本伪装成回归资产。
    f.Add("name=value")
    f.Add("=")
    f.Add("")

    f.Fuzz(func(t *testing.T, line string) {
        // fuzz 目标要快速且确定；失败时 t 记录的输入可继续沉淀为种子。
        _, _ = ParseLine(line)
    })
}

用 F.Add 建立最小可复现入口

F.Add 必须写在 F.Fuzz 之前，传入参数的类型和数量也要与 fuzz 目标一致。它适合放几条读者一眼能理解的边界：空字符串、最短合法格式、分隔符缺失或已经修复过的最小样例。不要把每次随机运行得到的输入都复制进来，否则测试会变慢，种子的意图也会消失。

func FuzzParsePair(f *testing.F) {
    // 种子类型必须和下面的 string 参数对应，样例保持可读并可复查。
    f.Add("left:right")
    f.Add(":right")

    f.Fuzz(func(t *testing.T, input string) {
        // 这里验证“不应 panic”的契约，不依赖时间、网络或共享可变状态。
        if err := ParsePair(input); err != nil {
            t.Logf("输入未通过解析：%q，错误：%v", input, err)
        }
    })
}

普通执行 go test 时，固定种子会被跑一遍；只有使用匹配的 -fuzz 参数时，测试才会在这些种子基础上继续变异。要复查某个 fuzz 测试，可以先用 go test -run=^FuzzParsePair$，把问题限定在固定输入，减少“这次没复现”的干扰。

失败输入如何变成长期回归样例

当 fuzz 发现失败输入并且你已经修复了代码，不要只依赖本机缓存。把该输入作为对应 fuzz 测试的 corpus 文件保存在 testdata/fuzz/FuzzParsePair/。文件由 Go 的 corpus 格式承载，目录名必须和 fuzz 函数名对应；这样 CI 的普通 go test 也能再次执行它。

# 先只回放固定 seed，确认修复没有依赖长时间随机探索。
go test -run='^FuzzParsePair$' ./...

# 再给 fuzz 一个有限时长，继续寻找新的覆盖路径。
go test -fuzz='^FuzzParsePair$' -fuzztime=30s ./...

提交前建议把失败样例缩到仍能触发问题的最小输入，并在代码审查里说明它覆盖的边界。修复后的 corpus 是回归资产，不等于测试已经覆盖所有变体；它只负责固定曾经失败的那一个输入，后续探索仍需要合理的 fuzz 时间和目标约束。

一份不容易失控的 corpus 检查清单

相关问题

F.Add 和 testdata/fuzz 需要二选一吗？

不需要。两者都会进入 seed corpus；通常把少量通用样例写进 F.Add，把已修复的失败输入放进目录，便于审查和长期积累。

为什么只跑 go test 也会执行 fuzz 函数？

未开启随机 fuzz 时，Go 仍会用固定种子调用 fuzz 目标，所以普通测试可以承担回归检查；它不会替你完成持续变异探索。

可以把 GOCACHE/fuzz 提交到 Git 吗？

不建议。那是引擎维护的生成 corpus，体积和内容会随运行变化。应挑出能复现且已经修复的问题输入，转成对应的持久化 seed。

Fuzz 目标里能调用 F.Add 吗？

不能把它当作运行期追加入口。F.Add 应在调用 F.Fuzz 前完成；进入 fuzz 目标后使用 *testing.T 记录失败。

把 seed corpus 当成“稳定输入契约”管理，Go fuzz 才能同时承担探索和回归两种职责：固定样例负责可复现，目录文件负责保存已修复缺陷，生成缓存负责继续寻找新路径。