quick
quick
https://pkg.go.dev/testing/quick@go1.20.1
quick包实现了一些实用的函数，以帮助黑盒测试。
testing/quick包已被冻结，不接受新特性。
常量
This section is empty.
变量
This section is empty.
函数
func Check
1
| func Check(f any, config *Config) error
|
Check函数会查找一个f的输入，即任何返回bool类型的函数，使得f返回false。它会重复调用f，对于每个参数都使用任意值。如果f在给定的输入上返回false，则Check会将该输入作为*CheckError返回。例如：
1
2
3
4
5
6
7
8
9
| func TestOddMultipleOfThree(t *testing.T) {
f := func(x int) bool {
y := OddMultipleOfThree(x)
return y%2 == 1 && y%3 == 0
}
if err := quick.Check(f, nil); err != nil {
t.Error(err)
}
}
|
func CheckEqual
1
| func CheckEqual(f, g any, config *Config) error
|
CheckEqual函数会查找一个输入，使得f和g返回不同的结果。它会重复调用f和g，对于每个参数都使用任意值。如果f和g返回不同的答案，则CheckEqual函数会返回一个*CheckEqualError，描述输入和输出。
func Value
1
| func Value(t reflect.Type, rand *rand.Rand) (value reflect.Value, ok bool)
|
Value函数返回给定类型的任意值。如果类型实现了Generator接口，则会使用它。注意：要为结构体创建任意值，必须导出所有字段。
类型
type CheckEqualError
1
2
3
4
5
| type CheckEqualError struct {
CheckError
Out1 []any
Out2 []any
}
|
CheckEqualError结构体是CheckEqual函数发现错误的结果。
(*CheckEqualError) Error
1
| func (s *CheckEqualError) Error() string
|
type CheckError
1
2
3
4
| type CheckError struct {
Count int
In []any
}
|
CheckError结构体是Check函数发现错误的结果。
(*CheckError) Error
1
| func (s *CheckError) Error() string
|
type Config
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
| type Config struct {
// MaxCount设置最大迭代次数。
// 如果为零，则使用MaxCountScale。
MaxCount int
// MaxCountScale是默认最大值的非负比例因子。
// 0表示默认值，通常为100，但可以通过-quickchecks标志设置。
MaxCountScale float64
// Rand指定随机数的源。
// 如果为nil，则使用默认的伪随机源。
Rand *rand.Rand
// Values指定生成与正在测试的函数的参数相一致的
// 任意reflect.Values切片的函数。
// 如果为nil，则使用顶层Value函数来生成它们。
Values func([]reflect.Value, *rand.Rand)
}
|
A Config structure contains options for running a test.
Config结构包含运行测试的选项。
type Generator
1
2
3
4
| type Generator interface {
// Generate使用size作为大小提示，返回其所属类型的随机实例。
Generate(rand *rand.Rand, size int) reflect.Value
}
|
Generator接口可以生成其自身类型的随机值。
type SetupError
SetupError类型是check的使用方式中出现的错误结果，与被测试的函数无关。
(SetupError) Error
1
| func (s SetupError) Error() string
|