Go testing.F怎样为模糊测试添加稳定种子为什么结果为空或不符合预期

如果 Go 的模糊测试“没有结果”，先不要急着提高 -fuzztime。稳定种子是否真的进入 seed corpus，取决于 f.Add 的参数是否匹配，以及它是否写在 f.Fuzz 之前。最小规则是：先用 f.Add 添加固定输入，再用 f.Fuzz 注册模糊测试目标；如果只写了其中一半，测试可能没有任何有效输入可跑。

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

稳定种子不是随机样本，而是每次都应该先回归的一组固定输入。先确认种子数量和参数签名，再判断模糊测试是否真的开始探索。

先分清 testing.F 里的三件事

testing.F 会把模糊测试的固定输入和随机探索放在同一个测试函数里。f.Add 把参数加入 seed corpus，f.Fuzz 提供真正的 fuzz target；项目还可以把持久化种子放在 testdata/fuzz/ 目录中。官方文档说明，模糊测试默认会先运行这些种子。

最容易误判的是把 f.Add 当成“马上执行一次”。它只登记输入，真正消费输入的是后面的 f.Fuzz 回调。下面这段关系可以先记住：

• f.Add：登记固定参数，参数类型必须和 fuzz target 对应。
• f.Fuzz：注册接收输入的函数，并让种子进入测试流程。
• *testing.T：在回调内部记录失败、日志和清理动作。

用稳定种子覆盖正常值和边界值

假设被测函数接收商品价格和折扣码，我们希望每次先检查正常价格、空字符串和边界价格。种子应该是读者能看懂的业务样例，而不是一串没有来历的随机字节。

package price

import (
	"strings"
	"testing"
)

func FuzzPrice(f *testing.F) {
	// 固定种子会先进入 seed corpus，适合保留稳定回归样例。
	f.Add("129.90", "SAVE10")
	f.Add("0", "")
	f.Add("999999.99", "INVALID")

	f.Fuzz(func(t *testing.T, rawPrice string, coupon string) {
		// 模糊输入可能包含空白，先统一成被测函数认可的输入形态。
		rawPrice = strings.TrimSpace(rawPrice)
		_, _ = ParsePrice(rawPrice, coupon)
	})
}

这里的三个 f.Add 调用都接收两个字符串，和 f.Fuzz 的两个参数完全对应。它们分别表达正常路径、空优惠码和明显偏大的价格，后续看到某个输入触发问题时，可以把它保留成一条新的固定回归样例。

如果 fuzz target 的参数是 []byte，种子就要传入字节切片；如果参数是整数，传入整数，而不是把数字写成字符串。f.Add 的参数数量和类型不匹配时，问题不是“模糊测试没找到输入”，而是测试定义本身不成立。

为什么 f.Add 写了却像没有执行

第一类原因是调用顺序。*testing.F 的方法通常要在 f.Fuzz 之前调用；进入 fuzz target 后，应使用回调收到的 *testing.T 方法。把 f.Add 放到 f.Fuzz 后面，官方文档定义它会成为 no-op，后续看不到你以为已经添加的种子。

func FuzzPrice(f *testing.F) {
	// 先登记所有固定输入，再注册 fuzz target。
	f.Add("129.90", "SAVE10")

	f.Fuzz(func(t *testing.T, rawPrice string, coupon string) {
		// 回调内使用 *testing.T，不要再把 f 当作普通测试对象。
		if strings.TrimSpace(rawPrice) == "" {
			t.Log("空价格是一个需要保留的边界输入")
		}
		_, _ = ParsePrice(rawPrice, coupon)
	})
}

第二类原因是只写了 f.Add，却没有调用 f.Fuzz。这时有固定输入也没有消费它们。第三类原因是测试文件没有被 Go 测试工具识别，例如文件名不是 _test.go，或者函数名不是以 Fuzz 开头并接收 *testing.F。

先跑种子，再决定是否进入随机探索

调试稳定种子时，先缩小范围比直接跑很长的随机探索更容易判断。只针对一个 fuzz 测试运行种子回归，可以使用下面的命令：

# 只选择 FuzzPrice，先确认固定种子和 testdata 种子能被执行。
go test -run=^$ -v -fuzz=FuzzPrice -fuzztime=1x ./...

# 确认种子回归通过后，再给模糊探索一个有限时间窗口。
go test -run=^$ -fuzz=FuzzPrice -fuzztime=30s ./...

-fuzztime=1x 适合做一次短反馈；它不是“只跑固定种子”的语义保证，而是把探索窗口压到很小。调试时配合 -v，并在回调里用 t.Logf 输出必要的输入摘要，能更快确认回调是否被触发。

如果只想检查普通测试阶段，也可以运行 go test -run=FuzzPrice；但最终是否进入随机探索，要看命令是否提供 -fuzz。不要把“命令成功退出且没有日志”理解成“已经发现了新样本”，模糊测试没有失败就可能保持安静。

结果为空时按四个证据排查

“结果为空”通常对应不同的状态，建议按下面顺序排查，而不是先换一批随机种子。

还有一个容易忽略的边界：模糊测试运行时，*testing.F 的大部分方法不能继续调用。需要报告失败或记录测试信息时，使用回调中的 *testing.T；不要把种子登记、日志记录和被测函数调用全部混在同一个阶段。

把一次发现变成长期回归

当随机探索找到一个失败输入时，重点不是把输出复制到日志里，而是把它转换为稳定回归资产。可以按下面的顺序整理：

1. 确认失败输入能稳定重现，并记录它代表的业务边界。
2. 如果它适合保持为代码中的短样例，用一条可读的 f.Add 保存。
3. 如果输入较大或需要长期保留，放入对应的 testdata/fuzz/FuzzPrice 目录。
4. 让种子覆盖正常值、空值、边界值和已修复的历史缺陷，不要只堆随机字符串。
5. 每次修改 fuzz target 的参数时，同步检查所有 f.Add 和持久化种子。

稳定种子的价值在于可解释和可重复：它们负责守住已知边界，随机探索负责寻找未知组合。两者同时存在时，测试结果更容易被团队理解，也更容易在修复后防止回归。

相关问题

f.Add 一定要写在 f.Fuzz 前面吗？

是。把种子登记放在目标注册之前，才能保证它进入 seed corpus；写在 fuzz target 执行阶段之后不会产生你期待的新增种子。

没有发现问题时，为什么命令没有输出很多内容？

成功的模糊测试不一定逐条打印输入。先使用 -v 和短的 -fuzztime 确认函数被调用，再根据需要增加日志；不要把“没有失败报告”当成“没有执行”。

种子可以直接传一个不匹配的类型吗？

不可以。每条 f.Add 的参数数量和类型都要和 fuzz target 的参数对应，尤其要区分字符串、字节切片和整数。

什么时候使用 testdata/fuzz 目录？

适合保存较大的、需要独立管理的或由历史缺陷产生的输入。短小、能直接表达业务边界的样例放在 f.Add 中通常更容易阅读。