模糊测试布尔检查
来源:stackoverflow
时间:2024-02-15 08:09:22 501浏览 收藏
本篇文章向大家介绍《模糊测试布尔检查》,主要包括,具有一定的参考价值,需要的朋友可以参考一下。
我有一个函数可以检查字符串是否是十六进制数的有效表示(“0xdeadbeef”和此类字符串)。现在我可以检查 ishexastring(string),它返回一个 bool,当它为 false 时,该 bool 为 false。不是。但是用一堆种子运行 go -fuzz=fuzz 并检查错误,我没有得到任何有意义的东西(没有恐慌)。这是否意味着我的代码(ishexastring)没问题?
func FuzzIsHexAddress(f *testing.F) {
testcases := []string{
"0x5aaeb6053f3e94c9b9a09f33669435e7ef1beaed",
"5aaeb6053f3e94c9b9a09f33669435e7ef1beaed",
"0X5aaeb6053f3e94c9b9a09f33669435e7ef1beaed",
"0XAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA",
"0xAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA",
}
for _, tc := range testcases {
f.Add(tc) // Use f.Add to provide a seed corpus
}
f.Fuzz(func(t *testing.T, orig string) {
if result := isHexaString(orig); !result {
t.Errorf("IsHexAddress(%s) == %v",
orig, result)
}
})
}
模糊测试此类单元测试的最佳方法是什么?
哦,在一个包上运行只会触发运行整个单元测试(一定是 go 想要首先运行单元测试的行为?)
正确答案
我认为这个模糊测试不正确。这个条件 result := ishexastring(orig);当 计算结果为 true。所以你基本上是在说“当输入字符串不是十六进制字符串时失败”。但为什么测试会失败呢?如果 orig 不是有效的十六进制字符串时,!resultorig 确实不是十六进制字符串,则您的函数会产生正确的结果:false。
重点是您无法控制模糊输入(它是模糊的!),因此您不应单独依赖被测试函数的输出来确定通过或失败.
fuzz tutorial 建议了字符串反转函数的示例:
rev := Reverse(orig)
doubleRev := Reverse(rev)
if orig != doubleRev {
t.Errorf("Before: %q, after: %q", orig, doubleRev)
}
在这种特殊情况下,reverse 应该是 involution,即其自身的反转。您的函数 ishexastring 不是对合,它甚至没有逆(它只是满射),但您可以根据黄金标准检查其输出,例如已知一些其他函数始终可以正确识别有效的十六进制字符串。
或者,您可以继续使用条件 result := ishexastring(orig); !result 查找非十六进制字符串的有趣边缘情况,并将其包含到您的非模糊单元测试中。
今天关于《模糊测试布尔检查》的内容就介绍到这里了,是不是学起来一目了然!想要了解更多关于的内容请关注golang学习网公众号!
-
502 收藏
-
502 收藏
-
501 收藏
-
501 收藏
-
501 收藏
-
Golang · Go问答 | 3天前 | 并发 · channel · Mutex · 性能优化 · Go问答 · benchmark · Goroutine channel Mutex 并发性能 锁等待 benchmark Go问答268 收藏
-
Golang · Go问答 | 3天前 | 并发 · map · RWMutex · sync.Map · Go问答 · 数据竞争 RWMutex sync.Map map并发读写 Go问答 concurrent map read and map write291 收藏
-
Golang · Go问答 | 3天前 | 并发 · channel · range · Close · Go问答 · 并发退出 Channel关闭 Go问答 close channel range退出 发送方关闭427 收藏
-
Golang · Go问答 | 3天前 | goroutine · HTTP · Context · 超时控制 · Go问答 · WithTimeout Go问答 context取消 QueryContext HTTP请求取消 goroutine退出120 收藏
-
Golang · Go问答 | 3天前 | goroutine · pprof · Go问答 · 线上排查 · 性能调优 · pprof goroutine泄漏 服务告警 Go问答 context取消 Go线上排查374 收藏
-
Golang · Go问答 | 3天前 | goroutine · Context · 超时控制 · Go问答 · 协程泄漏 · Go Goroutine 超时控制 context.WithTimeout 取消信号 协程泄漏 ctx.Done147 收藏
-
Golang · Go问答 | 3天前 | 闭包 · go · Go问答 · 循环变量 · Go1.22 · 代码迁移 · 闭包 循环变量 go vet Go问答 Go 1.22 for range loopclosure356 收藏
-
127 收藏
-
449 收藏
-
Golang · Go问答 | 4天前 | sync.Pool · reset · 对象复用 · Go问答 · 线上排查 · Go sync.Pool Go问答 sync.Pool串数据 Reset清理 对象池复用342 收藏
-
Golang · Go问答 | 4天前 | 标准库 · 文件读取 · io.Reader · Go问答 · io.EOF · Go read io.Reader io.EOF Go问答 n err 读取循环486 收藏
-
181 收藏
-
- 前端进阶之JavaScript设计模式
- 设计模式是开发人员在软件开发过程中面临一般问题时的解决方案,代表了最佳的实践。本课程的主打内容包括JS常见设计模式以及具体应用场景,打造一站式知识长龙服务,适合有JS基础的同学学习。
- 立即学习 543次学习
-
- GO语言核心编程课程
- 本课程采用真实案例,全面具体可落地,从理论到实践,一步一步将GO核心编程技术、编程思想、底层实现融会贯通,使学习者贴近时代脉搏,做IT互联网时代的弄潮儿。
- 立即学习 516次学习
-
- 简单聊聊mysql8与网络通信
- 如有问题加微信:Le-studyg;在课程中,我们将首先介绍MySQL8的新特性,包括性能优化、安全增强、新数据类型等,帮助学生快速熟悉MySQL8的最新功能。接着,我们将深入解析MySQL的网络通信机制,包括协议、连接管理、数据传输等,让
- 立即学习 500次学习
-
- JavaScript正则表达式基础与实战
- 在任何一门编程语言中,正则表达式,都是一项重要的知识,它提供了高效的字符串匹配与捕获机制,可以极大的简化程序设计。
- 立即学习 487次学习
-
- 从零制作响应式网站—Grid布局
- 本系列教程将展示从零制作一个假想的网络科技公司官网,分为导航,轮播,关于我们,成功案例,服务流程,团队介绍,数据部分,公司动态,底部信息等内容区块。网站整体采用CSSGrid布局,支持响应式,有流畅过渡和展现动画。
- 立即学习 485次学习