Home | History | Annotate | Download | only in quick
      1 // Copyright 2009 The Go Authors. All rights reserved.
      2 // Use of this source code is governed by a BSD-style
      3 // license that can be found in the LICENSE file.
      4 
      5 // Package quick implements utility functions to help with black box testing.
      6 //
      7 // The testing/quick package is frozen and is not accepting new features.
      8 package quick
      9 
     10 import (
     11 	"flag"
     12 	"fmt"
     13 	"math"
     14 	"math/rand"
     15 	"reflect"
     16 	"strings"
     17 )
     18 
     19 var defaultMaxCount *int = flag.Int("quickchecks", 100, "The default number of iterations for each check")
     20 
     21 // A Generator can generate random values of its own type.
     22 type Generator interface {
     23 	// Generate returns a random instance of the type on which it is a
     24 	// method using the size as a size hint.
     25 	Generate(rand *rand.Rand, size int) reflect.Value
     26 }
     27 
     28 // randFloat32 generates a random float taking the full range of a float32.
     29 func randFloat32(rand *rand.Rand) float32 {
     30 	f := rand.Float64() * math.MaxFloat32
     31 	if rand.Int()&1 == 1 {
     32 		f = -f
     33 	}
     34 	return float32(f)
     35 }
     36 
     37 // randFloat64 generates a random float taking the full range of a float64.
     38 func randFloat64(rand *rand.Rand) float64 {
     39 	f := rand.Float64() * math.MaxFloat64
     40 	if rand.Int()&1 == 1 {
     41 		f = -f
     42 	}
     43 	return f
     44 }
     45 
     46 // randInt64 returns a random integer taking half the range of an int64.
     47 func randInt64(rand *rand.Rand) int64 { return rand.Int63() - 1<<62 }
     48 
     49 // complexSize is the maximum length of arbitrary values that contain other
     50 // values.
     51 const complexSize = 50
     52 
     53 // Value returns an arbitrary value of the given type.
     54 // If the type implements the Generator interface, that will be used.
     55 // Note: To create arbitrary values for structs, all the fields must be exported.
     56 func Value(t reflect.Type, rand *rand.Rand) (value reflect.Value, ok bool) {
     57 	return sizedValue(t, rand, complexSize)
     58 }
     59 
     60 // sizedValue returns an arbitrary value of the given type. The size
     61 // hint is used for shrinking as a function of indirection level so
     62 // that recursive data structures will terminate.
     63 func sizedValue(t reflect.Type, rand *rand.Rand, size int) (value reflect.Value, ok bool) {
     64 	if m, ok := reflect.Zero(t).Interface().(Generator); ok {
     65 		return m.Generate(rand, size), true
     66 	}
     67 
     68 	v := reflect.New(t).Elem()
     69 	switch concrete := t; concrete.Kind() {
     70 	case reflect.Bool:
     71 		v.SetBool(rand.Int()&1 == 0)
     72 	case reflect.Float32:
     73 		v.SetFloat(float64(randFloat32(rand)))
     74 	case reflect.Float64:
     75 		v.SetFloat(randFloat64(rand))
     76 	case reflect.Complex64:
     77 		v.SetComplex(complex(float64(randFloat32(rand)), float64(randFloat32(rand))))
     78 	case reflect.Complex128:
     79 		v.SetComplex(complex(randFloat64(rand), randFloat64(rand)))
     80 	case reflect.Int16:
     81 		v.SetInt(randInt64(rand))
     82 	case reflect.Int32:
     83 		v.SetInt(randInt64(rand))
     84 	case reflect.Int64:
     85 		v.SetInt(randInt64(rand))
     86 	case reflect.Int8:
     87 		v.SetInt(randInt64(rand))
     88 	case reflect.Int:
     89 		v.SetInt(randInt64(rand))
     90 	case reflect.Uint16:
     91 		v.SetUint(uint64(randInt64(rand)))
     92 	case reflect.Uint32:
     93 		v.SetUint(uint64(randInt64(rand)))
     94 	case reflect.Uint64:
     95 		v.SetUint(uint64(randInt64(rand)))
     96 	case reflect.Uint8:
     97 		v.SetUint(uint64(randInt64(rand)))
     98 	case reflect.Uint:
     99 		v.SetUint(uint64(randInt64(rand)))
    100 	case reflect.Uintptr:
    101 		v.SetUint(uint64(randInt64(rand)))
    102 	case reflect.Map:
    103 		numElems := rand.Intn(size)
    104 		v.Set(reflect.MakeMap(concrete))
    105 		for i := 0; i < numElems; i++ {
    106 			key, ok1 := sizedValue(concrete.Key(), rand, size)
    107 			value, ok2 := sizedValue(concrete.Elem(), rand, size)
    108 			if !ok1 || !ok2 {
    109 				return reflect.Value{}, false
    110 			}
    111 			v.SetMapIndex(key, value)
    112 		}
    113 	case reflect.Ptr:
    114 		if rand.Intn(size) == 0 {
    115 			v.Set(reflect.Zero(concrete)) // Generate nil pointer.
    116 		} else {
    117 			elem, ok := sizedValue(concrete.Elem(), rand, size)
    118 			if !ok {
    119 				return reflect.Value{}, false
    120 			}
    121 			v.Set(reflect.New(concrete.Elem()))
    122 			v.Elem().Set(elem)
    123 		}
    124 	case reflect.Slice:
    125 		numElems := rand.Intn(size)
    126 		sizeLeft := size - numElems
    127 		v.Set(reflect.MakeSlice(concrete, numElems, numElems))
    128 		for i := 0; i < numElems; i++ {
    129 			elem, ok := sizedValue(concrete.Elem(), rand, sizeLeft)
    130 			if !ok {
    131 				return reflect.Value{}, false
    132 			}
    133 			v.Index(i).Set(elem)
    134 		}
    135 	case reflect.Array:
    136 		for i := 0; i < v.Len(); i++ {
    137 			elem, ok := sizedValue(concrete.Elem(), rand, size)
    138 			if !ok {
    139 				return reflect.Value{}, false
    140 			}
    141 			v.Index(i).Set(elem)
    142 		}
    143 	case reflect.String:
    144 		numChars := rand.Intn(complexSize)
    145 		codePoints := make([]rune, numChars)
    146 		for i := 0; i < numChars; i++ {
    147 			codePoints[i] = rune(rand.Intn(0x10ffff))
    148 		}
    149 		v.SetString(string(codePoints))
    150 	case reflect.Struct:
    151 		n := v.NumField()
    152 		// Divide sizeLeft evenly among the struct fields.
    153 		sizeLeft := size
    154 		if n > sizeLeft {
    155 			sizeLeft = 1
    156 		} else if n > 0 {
    157 			sizeLeft /= n
    158 		}
    159 		for i := 0; i < n; i++ {
    160 			elem, ok := sizedValue(concrete.Field(i).Type, rand, sizeLeft)
    161 			if !ok {
    162 				return reflect.Value{}, false
    163 			}
    164 			v.Field(i).Set(elem)
    165 		}
    166 	default:
    167 		return reflect.Value{}, false
    168 	}
    169 
    170 	return v, true
    171 }
    172 
    173 // A Config structure contains options for running a test.
    174 type Config struct {
    175 	// MaxCount sets the maximum number of iterations. If zero,
    176 	// MaxCountScale is used.
    177 	MaxCount int
    178 	// MaxCountScale is a non-negative scale factor applied to the default
    179 	// maximum. If zero, the default is unchanged.
    180 	MaxCountScale float64
    181 	// If non-nil, rand is a source of random numbers. Otherwise a default
    182 	// pseudo-random source will be used.
    183 	Rand *rand.Rand
    184 	// If non-nil, the Values function generates a slice of arbitrary
    185 	// reflect.Values that are congruent with the arguments to the function
    186 	// being tested. Otherwise, the top-level Value function is used
    187 	// to generate them.
    188 	Values func([]reflect.Value, *rand.Rand)
    189 }
    190 
    191 var defaultConfig Config
    192 
    193 // getRand returns the *rand.Rand to use for a given Config.
    194 func (c *Config) getRand() *rand.Rand {
    195 	if c.Rand == nil {
    196 		return rand.New(rand.NewSource(0))
    197 	}
    198 	return c.Rand
    199 }
    200 
    201 // getMaxCount returns the maximum number of iterations to run for a given
    202 // Config.
    203 func (c *Config) getMaxCount() (maxCount int) {
    204 	maxCount = c.MaxCount
    205 	if maxCount == 0 {
    206 		if c.MaxCountScale != 0 {
    207 			maxCount = int(c.MaxCountScale * float64(*defaultMaxCount))
    208 		} else {
    209 			maxCount = *defaultMaxCount
    210 		}
    211 	}
    212 
    213 	return
    214 }
    215 
    216 // A SetupError is the result of an error in the way that check is being
    217 // used, independent of the functions being tested.
    218 type SetupError string
    219 
    220 func (s SetupError) Error() string { return string(s) }
    221 
    222 // A CheckError is the result of Check finding an error.
    223 type CheckError struct {
    224 	Count int
    225 	In    []interface{}
    226 }
    227 
    228 func (s *CheckError) Error() string {
    229 	return fmt.Sprintf("#%d: failed on input %s", s.Count, toString(s.In))
    230 }
    231 
    232 // A CheckEqualError is the result CheckEqual finding an error.
    233 type CheckEqualError struct {
    234 	CheckError
    235 	Out1 []interface{}
    236 	Out2 []interface{}
    237 }
    238 
    239 func (s *CheckEqualError) Error() string {
    240 	return fmt.Sprintf("#%d: failed on input %s. Output 1: %s. Output 2: %s", s.Count, toString(s.In), toString(s.Out1), toString(s.Out2))
    241 }
    242 
    243 // Check looks for an input to f, any function that returns bool,
    244 // such that f returns false. It calls f repeatedly, with arbitrary
    245 // values for each argument. If f returns false on a given input,
    246 // Check returns that input as a *CheckError.
    247 // For example:
    248 //
    249 // 	func TestOddMultipleOfThree(t *testing.T) {
    250 // 		f := func(x int) bool {
    251 // 			y := OddMultipleOfThree(x)
    252 // 			return y%2 == 1 && y%3 == 0
    253 // 		}
    254 // 		if err := quick.Check(f, nil); err != nil {
    255 // 			t.Error(err)
    256 // 		}
    257 // 	}
    258 func Check(f interface{}, config *Config) error {
    259 	if config == nil {
    260 		config = &defaultConfig
    261 	}
    262 
    263 	fVal, fType, ok := functionAndType(f)
    264 	if !ok {
    265 		return SetupError("argument is not a function")
    266 	}
    267 
    268 	if fType.NumOut() != 1 {
    269 		return SetupError("function does not return one value")
    270 	}
    271 	if fType.Out(0).Kind() != reflect.Bool {
    272 		return SetupError("function does not return a bool")
    273 	}
    274 
    275 	arguments := make([]reflect.Value, fType.NumIn())
    276 	rand := config.getRand()
    277 	maxCount := config.getMaxCount()
    278 
    279 	for i := 0; i < maxCount; i++ {
    280 		err := arbitraryValues(arguments, fType, config, rand)
    281 		if err != nil {
    282 			return err
    283 		}
    284 
    285 		if !fVal.Call(arguments)[0].Bool() {
    286 			return &CheckError{i + 1, toInterfaces(arguments)}
    287 		}
    288 	}
    289 
    290 	return nil
    291 }
    292 
    293 // CheckEqual looks for an input on which f and g return different results.
    294 // It calls f and g repeatedly with arbitrary values for each argument.
    295 // If f and g return different answers, CheckEqual returns a *CheckEqualError
    296 // describing the input and the outputs.
    297 func CheckEqual(f, g interface{}, config *Config) error {
    298 	if config == nil {
    299 		config = &defaultConfig
    300 	}
    301 
    302 	x, xType, ok := functionAndType(f)
    303 	if !ok {
    304 		return SetupError("f is not a function")
    305 	}
    306 	y, yType, ok := functionAndType(g)
    307 	if !ok {
    308 		return SetupError("g is not a function")
    309 	}
    310 
    311 	if xType != yType {
    312 		return SetupError("functions have different types")
    313 	}
    314 
    315 	arguments := make([]reflect.Value, xType.NumIn())
    316 	rand := config.getRand()
    317 	maxCount := config.getMaxCount()
    318 
    319 	for i := 0; i < maxCount; i++ {
    320 		err := arbitraryValues(arguments, xType, config, rand)
    321 		if err != nil {
    322 			return err
    323 		}
    324 
    325 		xOut := toInterfaces(x.Call(arguments))
    326 		yOut := toInterfaces(y.Call(arguments))
    327 
    328 		if !reflect.DeepEqual(xOut, yOut) {
    329 			return &CheckEqualError{CheckError{i + 1, toInterfaces(arguments)}, xOut, yOut}
    330 		}
    331 	}
    332 
    333 	return nil
    334 }
    335 
    336 // arbitraryValues writes Values to args such that args contains Values
    337 // suitable for calling f.
    338 func arbitraryValues(args []reflect.Value, f reflect.Type, config *Config, rand *rand.Rand) (err error) {
    339 	if config.Values != nil {
    340 		config.Values(args, rand)
    341 		return
    342 	}
    343 
    344 	for j := 0; j < len(args); j++ {
    345 		var ok bool
    346 		args[j], ok = Value(f.In(j), rand)
    347 		if !ok {
    348 			err = SetupError(fmt.Sprintf("cannot create arbitrary value of type %s for argument %d", f.In(j), j))
    349 			return
    350 		}
    351 	}
    352 
    353 	return
    354 }
    355 
    356 func functionAndType(f interface{}) (v reflect.Value, t reflect.Type, ok bool) {
    357 	v = reflect.ValueOf(f)
    358 	ok = v.Kind() == reflect.Func
    359 	if !ok {
    360 		return
    361 	}
    362 	t = v.Type()
    363 	return
    364 }
    365 
    366 func toInterfaces(values []reflect.Value) []interface{} {
    367 	ret := make([]interface{}, len(values))
    368 	for i, v := range values {
    369 		ret[i] = v.Interface()
    370 	}
    371 	return ret
    372 }
    373 
    374 func toString(interfaces []interface{}) string {
    375 	s := make([]string, len(interfaces))
    376 	for i, v := range interfaces {
    377 		s[i] = fmt.Sprintf("%#v", v)
    378 	}
    379 	return strings.Join(s, ", ")
    380 }
    381