mirror of
https://github.com/fnproject/fn.git
synced 2022-10-28 21:29:17 +03:00
98880b5474
Creates a test that aims to assert that the Equals and Clone functions for our three entity structs actually work. The bulk of the code is spent creating gopter generators for the entities. See information of generative or property based testing for explainations on that topic, but basically it's an object that is capable of creating a stream of unique instances of the given struct. With the generator we then make three assertions: 1) Entities are always equal to themselves. 2) A .Clone() of an entity is Equal to the original entity. 3) A .Clone() of an entity that has a field modified is not equal to the orignal. The third property is the worse for implementation, as it does not generate the field to modify, it simply loops all fields for each generated entity, and checks Equals always breaks. Break testing shows that this would have caught earlier bugs in Equals due to field addition. It will add to the work to add further fields, generators have to be manually specified for each field, but that seems a worthy cost.
110 lines
2.7 KiB
Go
110 lines
2.7 KiB
Go
package models
|
|
|
|
import (
|
|
"reflect"
|
|
"testing"
|
|
|
|
"github.com/leanovate/gopter"
|
|
"github.com/leanovate/gopter/gen"
|
|
"github.com/leanovate/gopter/prop"
|
|
)
|
|
|
|
func fnReflectType() reflect.Type {
|
|
fn := Fn{}
|
|
return reflect.TypeOf(fn)
|
|
}
|
|
|
|
func resourceConfigGenerator(t *testing.T) gopter.Gen {
|
|
fieldGens := make(map[string]gopter.Gen)
|
|
|
|
fieldGens["Memory"] = gen.UInt64()
|
|
fieldGens["Timeout"] = gen.Int32()
|
|
fieldGens["IdleTimeout"] = gen.Int32()
|
|
|
|
resourceConfig := ResourceConfig{}
|
|
resourceConfigFieldCount := reflect.TypeOf(resourceConfig).NumField()
|
|
|
|
if resourceConfigFieldCount != len(fieldGens) {
|
|
t.Fatalf("Fn struct field count, %d, does not match fn generator field count, %d", resourceConfigFieldCount, len(fieldGens))
|
|
}
|
|
|
|
return gen.Struct(reflect.TypeOf(resourceConfig), fieldGens)
|
|
}
|
|
|
|
func fnFieldGenerators(t *testing.T) map[string]gopter.Gen {
|
|
fieldGens := make(map[string]gopter.Gen)
|
|
|
|
fieldGens["ID"] = gen.AlphaString()
|
|
fieldGens["Name"] = gen.AlphaString()
|
|
fieldGens["AppID"] = gen.AlphaString()
|
|
fieldGens["Image"] = gen.AlphaString()
|
|
fieldGens["Config"] = configGenerator()
|
|
fieldGens["ResourceConfig"] = resourceConfigGenerator(t)
|
|
fieldGens["Annotations"] = annotationGenerator()
|
|
fieldGens["CreatedAt"] = datetimeGenerator()
|
|
fieldGens["UpdatedAt"] = datetimeGenerator()
|
|
fieldGens["Format"] = gen.AlphaString()
|
|
|
|
fnFieldCount := fnReflectType().NumField()
|
|
|
|
if fnFieldCount != len(fieldGens) {
|
|
t.Fatalf("Fn struct field count, %d, does not match fn generator field count, %d", fnFieldCount, len(fieldGens))
|
|
}
|
|
|
|
return fieldGens
|
|
}
|
|
|
|
func fnGenerator(t *testing.T) gopter.Gen {
|
|
return gen.Struct(fnReflectType(), fnFieldGenerators(t))
|
|
}
|
|
|
|
func TestFnEquality(t *testing.T) {
|
|
properties := gopter.NewProperties(nil)
|
|
|
|
properties.Property("A fn should always equal itself", prop.ForAll(
|
|
func(fn Fn) bool {
|
|
return fn.Equals(&fn)
|
|
},
|
|
fnGenerator(t),
|
|
))
|
|
|
|
properties.Property("A fn should always equal a clone of itself", prop.ForAll(
|
|
func(fn Fn) bool {
|
|
clone := fn.Clone()
|
|
return fn.Equals(clone)
|
|
},
|
|
fnGenerator(t),
|
|
))
|
|
|
|
fnFieldGens := fnFieldGenerators(t)
|
|
|
|
properties.Property("A fn should never match a modified version of itself", prop.ForAll(
|
|
func(fn Fn) bool {
|
|
for fieldName, fieldGen := range fnFieldGens {
|
|
|
|
if fieldName == "CreatedAt" ||
|
|
fieldName == "UpdatedAt" {
|
|
continue
|
|
}
|
|
|
|
currentValue, newValue := novelValue(t, reflect.ValueOf(fn), fieldName, fieldGen)
|
|
|
|
clone := fn.Clone()
|
|
s := reflect.ValueOf(clone).Elem()
|
|
field := s.FieldByName(fieldName)
|
|
|
|
field.Set(newValue)
|
|
|
|
if fn.Equals(clone) {
|
|
t.Errorf("Changed field, %s, from {%v} to {%v}, but still equal.", fieldName, currentValue, newValue)
|
|
return false
|
|
}
|
|
}
|
|
return true
|
|
},
|
|
fnGenerator(t),
|
|
))
|
|
|
|
properties.TestingRun(t)
|
|
}
|