Go testing.F怎样为模糊测试添加稳定种子怎样完成一个可复用的最小示例

我第一次把 Go 模糊测试接进一个字符串规范化函数时，最先遇到的不是“随机输入太多”，而是每次运行都不知道究竟从哪组输入开始。解决办法是把有代表性的边界样本先交给 testing.F.Add：种子本身固定，后续输入仍由 fuzzing 引擎扩展。这样既保留探索能力，也能在本地稳定重现基础行为。

这篇只讨论 testing.F 如何添加稳定种子，并用一个可复用的最小示例说明它和模糊目标、跳过条件、运行命令之间的关系。种子不是测试结论，也不能代替普通单元测试；它只是让探索从更有信息量的输入集合开始。

稳定种子应该覆盖什么

一个有用的种子通常对应函数的输入边界，而不是随手写的一句正常字符串。下面这个例子关心的是“去掉首尾空白后，结果不应再有首尾空白”，所以种子分别覆盖普通文本、空白包裹文本、制表符和空字符串。

F.Add 添加的值会作为 fuzz 目标的初始语料。它要求参数类型和 Fuzz 回调保持一致；例如回调接收一个 string，种子就应传入字符串。稳定的含义是输入样本固定、测试入口固定，而不是保证后续探索只运行这些样本。

用 testing.F.Add 写一个可复用示例

把模糊测试放进独立的 _test.go 文件即可。下面的目标函数只保留一个容易观察的不变量，重点是看种子如何进入 Fuzz 回调。

package textutil

import (
    "strings"
    "testing"
)

func Normalize(input string) string {
    // 只处理首尾空白，保留中间内容，便于断言输入边界。
    return strings.TrimSpace(input)
}

func FuzzNormalize(f *testing.F) {
    // 这些固定样本覆盖正常文本、空白包裹、制表符和空输入。
    f.Add("Go fuzz")
    f.Add("  Go fuzz  ")
    f.Add("\tGo fuzz\n")
    f.Add("")

    f.Fuzz(func(t *testing.T, input string) {
        got := Normalize(input)
        // 不变量：规范化结果不应再以空白字符开头或结尾。
        if got != strings.TrimSpace(got) {
            t.Fatalf("结果仍有首尾空白: %q", got)
        }
    })
}

这里的关键点有三个：F.Add 在 Fuzz 之前声明样本；每个样本的类型都与回调参数一致；断言描述的是所有输入都应满足的不变量，而不是只为四个种子写特例。

怎样运行并判断种子是否真的有用

开发时可以先给 fuzzing 一个短时间窗口。-run=^$ 用来避免把普通测试入口混在这次观察中，-fuzz=FuzzNormalize 指定目标，-fuzztime 则控制探索时长。

# 只观察 FuzzNormalize，先用短时运行确认种子和断言都能工作
go test -run=^$ -fuzz=FuzzNormalize -fuzztime=10s ./...

看到目标开始运行，只能说明测试入口被识别；更有价值的是观察失败输入是否落在你关心的边界。如果某个固定种子立刻触发失败，优先修复或缩小被测函数的契约；如果只有引擎生成的输入失败，就保留该输入作为新的回归样本，再补充一个普通测试来表达这个已知问题。

种子适合表达“从哪里开始探索”，不适合表达全部业务规则。金额、权限、协议版本等复杂约束仍应在测试前明确生成规则，否则 fuzzing 可能花费大量时间在业务上无意义的字符串上。

哪些边界会让模糊测试失去可复用性

第一，种子和回调参数不匹配会让测试在进入探索前就无法按预期工作，所以添加种子时要把类型和顺序一起看。第二，回调里使用不受控的外部状态，例如当前时间、随机全局变量或共享临时文件，会让同一个输入得到不同结论，稳定种子的价值也会下降。

第三，不要把所有输入都用 t.Skip 跳掉。确实不属于当前契约的输入可以跳过，但跳过条件应足够窄，并在注释里写清原因；否则测试看起来运行很久，实际没有覆盖有效数据。第四，发现稳定失败后要记录输入和根因，别只增加更多随机种子来“碰运气”。

最后的落地结论

给 Go 模糊测试添加稳定种子的最小组合是：在 Fuzz 前调用多次 F.Add，让种子类型与回调一致，再用一个不依赖外部状态的不变量承接探索。这样做的收益不是“随机更强”，而是每次开始测试时都有一组可解释的起点。

真正适合长期维护的做法，是把种子当成测试入口，把引擎发现的失败输入当成回归资产，把普通测试当成业务规则的清晰表达。三者分工明确，模糊测试才不会变成一条只能偶尔运行的命令。

相关问题

F.Add 可以传任意结构体吗？

不能把任意结构体直接当作默认种子类型。应先按 testing.F 支持的参数类型设计 fuzz 目标，复杂对象可以从字符串、字节切片或基础数值中解析得到。

种子数量越多越好吗？

不一定。种子应覆盖互不重复的边界和格式；大量相似样本只会增加维护成本，未必带来新的探索价值。