一文掌握Golang模糊测试

更新时间：2023年06月16日 15:28:12 作者：路多辛

本文主要介绍了一文掌握Golang模糊测试，文中通过示例代码介绍的非常详细，对大家的学习或者工作具有一定的参考学习价值，需要的朋友们下面随着小编来一起学习学习吧

模糊测试（Fuzz Testing）

模糊测试（Fuzz Testing）是通过向目标系统提供非预期的输入并监视异常结果来发现软件漏洞的方法。可以用来发现应用程序、操作系统和网络协议等中的漏洞或错误，特别是容易被忽视的边界情况。模糊测试的基本思路是在测试过程中生成大量的随机数，然后将这些数据输入到被测试的程序中，监测程序的异常运行结果来分析程序中的缺陷和漏洞。

Golang 中的模糊测试

Golang 从 1.18 版本开始将模糊测试整合进了标准库，通过标准库 testing/fuzz 来实现模糊测试，Golang 引入模糊测试可以帮助开发者进一步保障和提高应用程序的安全性。

Golang 中的模糊测试是通过数据构造引擎自动构造出（也可以借助开发者提供的初始数据）大量随机数据，作为程序的输入来进行测试的一种方式。模糊测试会监测程序运行过程中是否出现 panic、断言失败、无限循环等异常情况。这些通过数据构造引擎生成的数据被称为语料（corpus）。模糊测试是一种持续测试的手段，如果不限制执行的次数或者执行时间，就会一直执行下去。

模糊测试和单元测试类似的地方是测试文件也是以 _test.go 为后缀名，不同的是模式测试函数需要以 Fuzz 为前缀，后面跟上一个或多个字符或字符组合来标识测试用例的名称（一般使用被测的函数名称），参数必须是 f *testing.F。

看个例子

以 json 格式校验工具 https://github.com/luduoxin/json-validator-go 为例，在 validator 包中的 scanner.go 文件中新增一个除法函数，代码如下：

func Div(a, b int) int {
    return a / b
}

这个函数显然没有考虑除数为 0 的情况，如果使用单元测试，使用的测试数据没有考虑除数为 0 的情况的话，这个问题就不会被发现，但是使用模糊测试就可以测出这种问题。然后在 validator 包中的 scanner_test.go 文件中添加模糊测试用例，代码如下：

func FuzzDiv(f *testing.F) {
    f.Fuzz(func(t *testing.T, a, b int) {
        Div(a, b)
    })
}

然后运行模糊测试用例，如下命令是运行所有模糊测试用例:

$ go test -fuzz .
fuzz: elapsed: 0s, gathering baseline coverage: 0/2 completed
failure while testing seed corpus entry: FuzzDiv/120fad832ddff45a1b2b70e7a31805a5c8d84f773566e0d19799aeda53b3f9c0
fuzz: elapsed: 0s, gathering baseline coverage: 0/2 completed
--- FAIL: FuzzDiv (0.02s)
    --- FAIL: FuzzDiv (0.00s)
        testing.go:1349: panic: runtime error: integer divide by zero
            goroutine 55 [running]:
            runtime/debug.Stack()
                /usr/local/Cellar/go/1.18.3/libexec/src/runtime/debug/stack.go:24 +0x90
            testing.tRunner.func1()
                /usr/local/Cellar/go/1.18.3/libexec/src/testing/testing.go:1349 +0x1f2
            panic({0x119ccc0, 0x12ed080})
                /usr/local/Cellar/go/1.18.3/libexec/src/runtime/panic.go:838 +0x207
            github.com/luduoxin/json-validator-go/validator.Div(...)
                /Users/ning/projects/go/json-validator-go/validator/scanner.go:634
            github.com/luduoxin/json-validator-go/validator.FuzzDiv.func1(0x0?, 0x0?, 0x0?)
                /Users/ning/projects/go/json-validator-go/validator/scanner_test.go:71 +0x33
            reflect.Value.call({0x1199380?, 0x11d2428?, 0x13?}, {0x11c45aa, 0x4}, {0xc000188360, 0x3, 0x4?})
                /usr/local/Cellar/go/1.18.3/libexec/src/reflect/value.go:556 +0x845
            reflect.Value.Call({0x1199380?, 0x11d2428?, 0x514?}, {0xc000188360, 0x3, 0x4})
                /usr/local/Cellar/go/1.18.3/libexec/src/reflect/value.go:339 +0xbf
            testing.(*F).Fuzz.func1.1(0x0?)
                /usr/local/Cellar/go/1.18.3/libexec/src/testing/fuzz.go:337 +0x231
            testing.tRunner(0xc000180820, 0xc0001a83f0)
                /usr/local/Cellar/go/1.18.3/libexec/src/testing/testing.go:1439 +0x102
            created by testing.(*F).Fuzz.func1
                /usr/local/Cellar/go/1.18.3/libexec/src/testing/fuzz.go:324 +0x5b8
FAIL
exit status 1
FAIL    github.com/luduoxin/json-validator-go/validator 0.527s

用例执行了一会后就报出了除数不能为 0 的 panic。执行模糊测试的过程中会在当前文件夹生成 testdata 目录，导致用例没有通过的数据会保存在这个目录下，下次再次执行用例的时候会再次使用这些数据作为语料。

$ tree
.
├── scanner.go
├── scanner_test.go
└── testdata
    └── fuzz
        └── FuzzDiv
            └── 120fad832ddff45a1b2b70e7a31805a5c8d84f773566e0d19799aeda53b3f9c0

打开未通过的语料内容，本机的数据如下（每个人执行的用例未通过的语料会有差异）：

go test fuzz v1
int(-89)
int(0)

可以看出被除数是 -89，除数是 0，因为 0 不能作为除数，所以会报错。

提供自定义语料

Golang 的模糊测试允许开发者提供初始语料，初始语料可以通过 f.Add 方法添加，也可以将语料按照要求的格式写入 testdata/fuzz/FuzzXXX/ 中的语料文件中。重写 FuzzDiv 方法，添加一些语料，代码如下：

func FuzzDiv(f *testing.F) {
    testcases := []struct {
        a, b int
    }{
        {10, 2},
        {5, 3},
        {-6, 3},
        {-6, -3},
    }
    for _, v := range testcases {
        // 根据提供的语料，反射获得参数类型并穷举可能的值
        f.Add(v.a, v.b)
    }
    f.Fuzz(func(t *testing.T, a, b int) {
        Div(a, b)
    })
}

执行模糊测试用例的其他参数

可以使用 -fuzztime 参数来控制模糊测试的执行时间：

go test -fuzz . -fuzztime 5s

可以指定要执行的模糊测试用例：

go test -fuzz=FuzzDiv -fuzztime 5s

使用指定的未测试通过的数据做测试，使用 -run=file 指定数据文件：

go test -fuzz=FuzzDiv -run=FuzzDiv/378303d09d9499e4e6c708a92079f30db6f554529fd9eb86ac9a9639481fb23d

目前 Golang 的模糊测试支持被测函数使用的参数类型如下：

[]byte, string, bool, byte, rune, float32, float64, int, int8, int16, int32, int64, uint, uint8, uint16, uint32, uint64

模糊测试和单元测试的区别

单元测试需要开发者根据函数逻辑，给定一组或几组输入和输出数据，然后调用被测试函数执行，若返回值与输出数据一致，则说明函数测试通过。因为用于测试的数据是开发者提供的，难免会有遗漏的测试场景，因此即使单元测试通过，并不能说明程序是健壮的。而模糊测试是通过数据构造引擎自动构造出大量随机数据作为函数的输入参数，可以充分测试函数的健壮性。

到此这篇关于一文掌握Golang模糊测试的文章就介绍到这了,更多相关Golang模糊测试内容请搜索脚本之家以前的文章或继续浏览下面的相关文章希望大家以后多多支持脚本之家！

您可能感兴趣的文章:

Go Ginrest实现一个RESTful接口
这篇文章主要为大家介绍了Go Ginrest实现一个RESTful接口示例详解，有需要的朋友可以借鉴参考下，希望能够有所帮助，祝大家多多进步，早日升职加薪
2022-08-08
基于Golang编写贪吃蛇游戏
这篇文章主要为大家学习介绍了Golang如何基于终端库termbox-go做个功能较简单的贪吃蛇游戏，文中的示例代码讲解详细，具有一定的学习价值
2023-07-07
Go如何优雅的使用字节池示例详解
在编程开发中,我们经常会需要频繁创建和销毁同类对象的情形,这样的操作很可能会对性能造成影响,这时常用的优化手段就是使用对象池（object pool）,这篇文章主要给大家介绍了关于Go如何优雅的使用字节池的相关资料,需要的朋友可以参考下
2022-08-08
轻松构建Go应用的Dockerfile
本文介绍了如何制作一个用于构建和运行Go应用程序的Docker镜像的Dockerfile的相关资料,需要的朋友可以参考下
2023-10-10
Go内置零值标识符zero
大家学习和使用 Go 语言时,有一个神奇的概念：零值（zero-values）,所以本文想给大家分享一个关于零值的新提案,目测已经八九不离十了
2023-08-08
Golang Fasthttp选择使用slice而非map 存储请求数据原理探索
本文将从简单到复杂,逐步剖析为什么 Fasthttp 选择使用 slice 而非 map,并通过代码示例解释这一选择背后高性能的原因,有需要的朋友可以借鉴参考下,希望能够有所帮助,祝大家多多进步,早日升职加薪
2024-02-02
Go语言io pipe源码分析详情
这篇文章主要介绍了Go语言io pipe源码分析详情，pipe是一个适配器,用于连接Reader和Writer，pipe的方法不多,新的写法却不少，并且结构体分两块，读写信道和结束标识，下面进入文章了解具体的内容吧
2022-02-02
Go语言并发之Select多路选择操作符用法详解
Go 语言借用多路复用的概念，提供了 select 关键字，用于多路监听多个通道，本文就来和大家聊聊Go语言中Select多路选择操作符的具体用法，希望对大家有所帮助
2023-06-06
Go设计模式原型模式考查点及使用详解
这篇文章主要为大家介绍了Go设计模式原型模式考查点及使用详解，有需要的朋友可以借鉴参考下，希望能够有所帮助，祝大家多多进步，早日升职加薪
2022-12-12
浅谈go中cgo的几种使用方式
本文主要介绍了浅谈go中cgo的几种使用方式，文中根据实例编码详细介绍的十分详尽，具有一定的参考价值，感兴趣的小伙伴们可以参考一下
2022-03-03