Go testing.F.Add 怎么把固定样例加入模糊测试种子语料

如果一组输入已经在线上问题、单元测试或回归修复中证明有价值，可以直接用 testing.F.Add 把它们放进 Go 模糊测试的种子语料。关键是把调用写在 f.Fuzz 之前，并让每个种子的类型、数量和顺序都与 fuzz target 完全一致。这样，固定样例会先作为可重复的回归输入执行，模糊测试再在此基础上寻找新的输入。

官方地址：https://pkg.go.dev/testing#F.Add

这次我用一个“解析令牌”的小场景来整理这个用法。示例里的数字只用于说明种子组织方式，不代表某次机器上的实际压测结果。

先把回归输入整理成固定种子

我通常会先列出三类输入：曾经触发过缺陷的样例、协议允许的最小边界，以及业务中最常见的正常值。它们应该是稳定、可复现的值，而不是依赖当前时间、随机数或外部服务返回的内容。

如果 fuzz target 只接收一个 string，种子就只传一个字符串；如果目标同时接收 []byte 和 int，每次 F.Add 也必须同时传这两个参数。

把 F.Add 放在 F.Fuzz 之前

下面的写法把三个固定样例登记到种子语料，再声明真正的 fuzz target。F.Add 的参数会被保存为种子；回调中的 input 则是同一个参数位置接收到的值。

package token_test

import (
    "strings"
    "testing"
)

func parseToken(input string) (string, bool) {
    // 示例只保留冒号前的主体，空输入不算合法令牌。
    name, _, ok := strings.Cut(input, ":")
    return name, ok && name != ""
}

func FuzzParseToken(f *testing.F) {
    // 固定样例必须放在 Fuzz 之前，并且类型要匹配 string 参数。
    f.Add("user:alice")
    f.Add("u:a")
    f.Add("user:guest")

    f.Fuzz(func(t *testing.T, input string) {
        // 目标函数要尽量无共享状态，便于重复执行和复现失败输入。
        name, ok := parseToken(input)
        if !ok {
            return
        }
        if name == "" {
            t.Fatalf("解析成功但名称为空：%q", input)
        }
    })
}

这里最容易忽略的是调用时机：官方文档明确说明，若在 fuzz target 之后或 target 内调用 Add，它不会继续增加种子。也不要把 f.Add 写进回调里，否则代码看起来像是在动态补充语料，实际却没有达到预期。

先回归固定样例，再扩大探索范围

我会把运行拆成两步。第一步只运行普通测试，让固定种子尽快暴露确定性问题；第二步再开启 fuzz，让引擎从这些基线输入继续变异。

# 先执行当前包的测试，快速确认固定种子没有回归
go test ./...

# 再针对一个 fuzz 测试持续探索，时间按项目预算设置
go test -fuzz=FuzzParseToken -fuzztime=30s ./...

可以把种子数量看成一个小而有意图的基线。比如 3 个固定样例全部通过，再开始 fuzz，排查范围就能区分为“已知样例失败”和“新变异输入失败”。如果每次运行都依赖外部状态，结果会被环境噪声污染，失败输入也更难复现。

三类问题要分开处理

• 类型或顺序不匹配：检查 F.Fuzz 回调中除 *testing.T 外的参数，与每次 F.Add 是否逐个对应。Go fuzzing 支持的参数包括字符串、字节切片、整数、浮点数和布尔值等。
• 种子没有执行：确认函数名是 FuzzXxx、文件名以 _test.go 结尾，并且 F.Add 位于 F.Fuzz 之前。普通 go test 默认会执行种子，不等于已经开启持续 fuzz。
• 失败难以复现：让 target 尽量快速、确定，不保留可变输入或依赖全局共享状态。固定种子负责复现已知问题，新的失败输入则应整理成下一轮稳定回归样例。

这个分层比盯着“种子数量越多越好”更实用：种子应覆盖有价值的历史输入和边界，而不是把大批重复字符串塞进 F.Add。

常见问题

F.Add 可以放在 Fuzz 回调里吗？

不建议，也不会达到动态添加语料的目的。应在调用 f.Fuzz 前登记固定种子；target 内只处理当前传入的参数。

固定种子和 corpus 文件有什么区别？

F.Add 适合把少量、清晰的回归样例写在测试代码里；持续 fuzz 产生的失败输入更适合按 Go 的 corpus 约定保存，让它们在后续运行中继续作为回归基线。

总结：先让种子参数和 target 签名对齐，再把 F.Add 放到 F.Fuzz 前；用 go test 做固定样例回归，用 -fuzz 扩展探索，最后把有价值的新失败输入沉淀回语料。