標準パッケージにおけるテストでの利用例から学ぶ testing / quick パッケージ/golang-testing-quick

by Yusuke Hosonuma

Slide 1

Slide 1 text

Slide 2

Slide 2 text

Slide 3

Slide 3 text

ॴଐ • 48&5άϧʔϓˏ%F/" • ςετࣗಈԽνʔϜɿJ04(Pݴޠ ޷͖ͳ΋ͷ • ݴޠɿ4XJGUɺ)BTLFMMɺ-JTQʢʁʣ • झຯɿɺαΠΫϦϯάɺొࢁ ίϛϡχςΟ • ϖϯΪϯଜ ۙگ • USZ4XJGU50,:0Ͱొஃ Copyright (C) DeNA Co.,Ltd. All Rights Reserved. 3 ෼τʔΫ :VTVLF)PTPOVNB!UPCJʢͱͼʣ

Slide 4

Slide 4 text

Slide 5

Slide 5 text

Slide 6

Slide 6 text

Slide 7

Slide 7 text

Slide 8

Slide 8 text

Slide 9

Slide 9 text

Slide 10

Slide 10 text

Slide 11

Slide 11 text

Slide 12

Slide 12 text

Slide 13

Slide 13 text

Slide 14

Slide 14 text

Slide 15

Slide 15 text

15 Copyright (C) DeNA Co.,Ltd. All Rights Reserved. ௨ৗͷςετ import "testing" func TestAdd(t *testing.T) { tests := []struct { x int y int want int }{ {x: 0, y: 1, want: 1}, // 0 + 1 = 1 {x: 1, y: 1, want: 2}, // 1 + 1 = 2 } for _, tt := range tests { if got := Add(tt.x, tt.y); got != tt.want { t.Errorf("Add() = %v, want %v", got, tt.want) } } }

Slide 16

Slide 16 text

16 Copyright (C) DeNA Co.,Ltd. All Rights Reserved. ௨ৗͷςετ import "testing" func TestAdd(t *testing.T) { tests := []struct { x int y int want int }{ {x: 0, y: 1, want: 1}, // 0 + 1 = 1 {x: 1, y: 1, want: 2}, // 1 + 1 = 2 } for _, tt := range tests { if got := Add(tt.x, tt.y); got != tt.want { t.Errorf("Add() = %v, want %v", got, tt.want) } } } ໌֬ͳʮೖྗ஋ʯͱʮظ଴஋ʯΛ༩͑Δ

Slide 17

Slide 17 text

Slide 18

Slide 18 text

Slide 19

Slide 19 text

Slide 20

Slide 20 text

Slide 21

Slide 21 text

Slide 22

Slide 22 text

22 Copyright (C) DeNA Co.,Ltd. All Rights Reserved. ϥϯμϜςετ import ( "testing" "testing/quick" ) func TestAddQuick(t *testing.T) { f := func(x, y int) bool { return Add(x, y) == Add(y, x) } if err := quick.Check(f, nil); err != nil { t.Error(err.Error()) } }

Slide 23

Slide 23 text

23 Copyright (C) DeNA Co.,Ltd. All Rights Reserved. ϥϯμϜςετ import ( "testing" "testing/quick" ) func TestAddQuick(t *testing.T) { f := func(x, y int) bool { return Add(x, y) == Add(y, x) } if err := quick.Check(f, nil); err != nil { t.Error(err.Error()) } } UFTUJOHRVJDLΛJNQPSU

Slide 24

Slide 24 text

24 Copyright (C) DeNA Co.,Ltd. All Rights Reserved. ϥϯμϜςετ import ( “testing" "testing/quick" ) func TestAddQuick(t *testing.T) { f := func(x, y int) bool { return Add(x, y) == Add(y, x) } if err := quick.Check(f, nil); err != nil { t.Error(err.Error()) } } νΣοΫ༻ͷϔϧύʔؔ਺ ϥϯμϜͳೖྗ஋͕ೖͬͯ͘Δ૝ఆ

Slide 25

Slide 25 text

25 Copyright (C) DeNA Co.,Ltd. All Rights Reserved. ϥϯμϜςετ import ( "testing" "testing/quick" ) func TestAddQuick(t *testing.T) { f := func(x, y int) bool { return Add(x, y) == Add(y, x) } if err := quick.Check(f, nil); err != nil { t.Error(err.Error()) } } ަ׵๏ଇΛຬͨͤ͹USVF

Slide 26

Slide 26 text

26 Copyright (C) DeNA Co.,Ltd. All Rights Reserved. ϥϯμϜςετ import ( "testing" "testing/quick" ) func TestAddQuick(t *testing.T) { f := func(x, y int) bool { return Add(x, y) == Add(y, x) } if err := quick.Check(f, nil); err != nil { t.Error(err.Error()) } } ؔ਺͕ৗʹUSVFΛฦ͔͢ςετ

Slide 27

Slide 27 text

27 Copyright (C) DeNA Co.,Ltd. All Rights Reserved. ϥϯμϜςετ import ( "testing" "testing/quick" ) func TestAddQuick(t *testing.T) { f := func(x, y int) bool { return Add(x, y) == Add(y, x) } if err := quick.Check(f, nil); err != nil { t.Error(err.Error()) } } USVFΛฦ͞ͳ͍৔߹͸&SSPS͕ฦ٫

Slide 28

Slide 28 text

Slide 29

Slide 29 text

29 Copyright (C) DeNA Co.,Ltd. All Rights Reserved. ࣦഊ͢Δέʔε func Add(x, y int) int { return x - y } // ίϯιʔϧग़ྗ --- FAIL: TestAddQuick (0.00s) #1: failed on input -8046014121776288896, -2929560796466791850

Slide 30

Slide 30 text

30 Copyright (C) DeNA Co.,Ltd. All Rights Reserved. ࣦഊ͢Δέʔε func Add(x, y int) int { return x - y } // ίϯιʔϧग़ྗ --- FAIL: TestAddQuick (0.00s) #1: failed on input -8046014121776288896, -2929560796466791850 ަ׵๏ଇΛຬͨ͞ͳ͍ʮҾ͖ࢉʯ

Slide 31

Slide 31 text

31 Copyright (C) DeNA Co.,Ltd. All Rights Reserved. ࣦഊ͢Δέʔε func Add(x, y int) int { return x - y } // ίϯιʔϧग़ྗ --- FAIL: TestAddQuick (0.00s) #1: failed on input -8046014121776288896, -2929560796466791850 Y Z

Slide 32

Slide 32 text

32 Copyright (C) DeNA Co.,Ltd. All Rights Reserved. ࣦഊ͢Δέʔε func Add(x, y int) int { return x - y } // ίϯιʔϧग़ྗ --- FAIL: TestAddQuick (0.00s) #1: failed on input -8046014121776288896, -2929560796466791850 Y Z ͜ΕΒͷ஋ͷ৔߹ʹࣦഊͨ͠ͱ͍͏ใࠂ

Slide 33

Slide 33 text

Slide 34

Slide 34 text

Slide 35

Slide 35 text

Slide 36

Slide 36 text

Slide 37

Slide 37 text

Slide 38

Slide 38 text

Slide 39

Slide 39 text

Slide 40

Slide 40 text

Slide 41

Slide 41 text

Slide 42

Slide 42 text

42 Copyright (C) DeNA Co.,Ltd. All Rights Reserved. $POTUBOU5JNF#ZUF&Rؔ਺ // ConstantTimeByteEq returns 1 if x == y and 0 otherwise. func ConstantTimeByteEq(x, y uint8) int { return int((uint32(x^y) - 1) >> 31) } ςετର৅

Slide 43

Slide 43 text

43 Copyright (C) DeNA Co.,Ltd. All Rights Reserved. $POTUBOU5JNF#ZUF&Rؔ਺ // ConstantTimeByteEq returns 1 if x == y and 0 otherwise. func ConstantTimeByteEq(x, y uint8) int { return int((uint32(x^y) - 1) >> 31) } YͱZΛఆ਺࣌ؒͰൺֱ͢Δ Ұக͢Ε͹ɺҰக͠ͳ͚Ε͹Λฦ͢ ςετର৅

Slide 44

Slide 44 text

44 Copyright (C) DeNA Co.,Ltd. All Rights Reserved. $POTUBOU5JNF#ZUF&Rؔ਺ func byteEq(a, b uint8) int { if a == b { return 1 } return 0 } func TestConstantTimeByteEq(t *testing.T) { err := quick.CheckEqual(ConstantTimeByteEq, byteEq, nil) if err != nil { t.Error(err) } } ςετίʔυ

Slide 45

Slide 45 text

45 Copyright (C) DeNA Co.,Ltd. All Rights Reserved. $POTUBOU5JNF#ZUF&Rؔ਺ func byteEq(a, b uint8) int { if a == b { return 1 } return 0 } func TestConstantTimeByteEq(t *testing.T) { err := quick.CheckEqual(ConstantTimeByteEq, byteEq, nil) if err != nil { t.Error(err) } } ఆ਺࣌ؒͰ͸ͳ͍໌നͳൺֱؔ਺ ςετίʔυ

Slide 46

Slide 46 text

46 Copyright (C) DeNA Co.,Ltd. All Rights Reserved. $POTUBOU5JNF#ZUF&Rؔ਺ func byteEq(a, b uint8) int { if a == b { return 1 } return 0 } func TestConstantTimeByteEq(t *testing.T) { err := quick.CheckEqual(ConstantTimeByteEq, byteEq, nil) if err != nil { t.Error(err) } } ςετ༻ͷؔ਺ ςετίʔυ

Slide 47

Slide 47 text

47 Copyright (C) DeNA Co.,Ltd. All Rights Reserved. $POTUBOU5JNF#ZUF&Rؔ਺ func byteEq(a, b uint8) int { if a == b { return 1 } return 0 } func TestConstantTimeByteEq(t *testing.T) { err := quick.CheckEqual(ConstantTimeByteEq, byteEq, nil) if err != nil { t.Error(err) } } ͭͷؔ਺ʹ͍ͭͯಉ݁͡ՌΛฦ͢͜ͱ ςετର৅ ໌നͳ࣮૷ ςετίʔυ

Slide 48

Slide 48 text

48 Copyright (C) DeNA Co.,Ltd. All Rights Reserved. $POTUBOU5JNF#ZUF&Rؔ਺ func byteEq(a, b uint8) int { if a == b { return 1 } return 0 } func TestConstantTimeByteEq(t *testing.T) { err := quick.CheckEqual(ConstantTimeByteEq, byteEq, nil) if err != nil { t.Error(err) } } ͭͷؔ਺ʹ͍ͭͯಉ݁͡ՌΛฦ͢͜ͱ ςετର৅ ໌നͳ࣮૷ ಉ͡࢓༷ʢͷ͸ͣʣͷؔ਺Ͱ͋Ε͹ CheckEqualؔ਺ͰಉҰੑΛݕূͰ͖Δ ৽چͷΞϧΰϦζϜൺֱʹ΋࢖͑Δ

Slide 49

Slide 49 text

Slide 50

Slide 50 text

Slide 51

Slide 51 text

Slide 52

Slide 52 text

Slide 53

Slide 53 text

53 Copyright (C) DeNA Co.,Ltd. All Rights Reserved. &ODPEFؔ਺ // A Block represents a PEM encoded structure. // // The encoded form is: // -----BEGIN Type----- // Headers // base64-encoded Bytes // -----END Type—— // where Headers is a possibly empty sequence of Key: Value lines. type Block struct { Type string Headers map[string]string Bytes []byte } // Encode writes the PEM encoding of b to out. func Encode(out io.Writer, b *Block) error { } ςετର৅

Slide 54

Slide 54 text

54 Copyright (C) DeNA Co.,Ltd. All Rights Reserved. &ODPEFؔ਺ // A Block represents a PEM encoded structure. // // The encoded form is: // -----BEGIN Type----- // Headers // base64-encoded Bytes // -----END Type----- // where Headers is a possibly empty sequence of Key: Value lines. type Block struct { Type string Headers map[string]string Bytes []byte } // Encode writes the PEM encoding of b to out. func Encode(out io.Writer, b *Block) error { } 1&.ܗࣜͷσʔλߏ଄ ςετର৅

Slide 55

Slide 55 text

55 Copyright (C) DeNA Co.,Ltd. All Rights Reserved. &ODPEFؔ਺ // A Block represents a PEM encoded structure. // // The encoded form is: // -----BEGIN Type----- // Headers // base64-encoded Bytes // -----END Type----- // where Headers is a possibly empty sequence of Key: Value lines. type Block struct { Type string Headers map[string]string Bytes []byte } // Encode writes the PEM encoding of b to out. func Encode(out io.Writer, b *Block) error { } Τϯίʔυ༻ͷؔ਺ ςετର৅

Slide 56

Slide 56 text

56 Copyright (C) DeNA Co.,Ltd. All Rights Reserved. &ODPEFؔ਺ func TestFuzz(t *testing.T) { testRoundtrip := func(block Block) bool { var buf bytes.Buffer if err := Encode(&buf, &block); err != nil { t.Errorf("Encode of %#v resulted in error: %s", &block, err) return false } decoded, rest := Decode(buf.Bytes()) if !reflect.DeepEqual(decoded, &block) { t.Errorf("Encode of %#v decoded as %#v", &block, decoded) return false } return true } quick.Check(testRoundtrip, nil) } ςετίʔυ

Slide 57

Slide 57 text

57 Copyright (C) DeNA Co.,Ltd. All Rights Reserved. &ODPEFؔ਺ func TestFuzz(t *testing.T) { testRoundtrip := func(block Block) bool { var buf bytes.Buffer if err := Encode(&buf, &block); err != nil { t.Errorf("Encode of %#v resulted in error: %s", &block, err) return false } decoded, rest := Decode(buf.Bytes()) if !reflect.DeepEqual(decoded, &block) { t.Errorf("Encode of %#v decoded as %#v", &block, decoded) return false } return true } quick.Check(testRoundtrip, nil) } ςετ༻ͷؔ਺ ςετίʔυ

Slide 58

Slide 58 text

58 Copyright (C) DeNA Co.,Ltd. All Rights Reserved. &ODPEFؔ਺ func TestFuzz(t *testing.T) { testRoundtrip := func(block Block) bool { var buf bytes.Buffer if err := Encode(&buf, &block); err != nil { t.Errorf("Encode of %#v resulted in error: %s", &block, err) return false } decoded, rest := Decode(buf.Bytes()) if !reflect.DeepEqual(decoded, &block) { t.Errorf("Encode of %#v decoded as %#v", &block, decoded) return false } return true } quick.Check(testRoundtrip, nil) } ೚ҙͷσʔλͰΤϯίʔυʹࣦഊ͠ͳ͍͜ͱ ςετίʔυ

Slide 59

Slide 59 text

59 Copyright (C) DeNA Co.,Ltd. All Rights Reserved. &ODPEFؔ਺ func TestFuzz(t *testing.T) { testRoundtrip := func(block Block) bool { var buf bytes.Buffer if err := Encode(&buf, &block); err != nil { t.Errorf("Encode of %#v resulted in error: %s", &block, err) return false } decoded, rest := Decode(buf.Bytes()) if !reflect.DeepEqual(decoded, &block) { t.Errorf("Encode of %#v decoded as %#v", &block, decoded) return false } return true } quick.Check(testRoundtrip, nil) } σίʔυͨ͠ΒݩͱҰக͢Δ͜ͱ Τϯίʔυɾσίʔυͨ݁͠Ռ ݩσʔλ ςετίʔυ

Slide 60

Slide 60 text

60 Copyright (C) DeNA Co.,Ltd. All Rights Reserved. &ODPEFؔ਺ func TestFuzz(t *testing.T) { testRoundtrip := func(block Block) bool { var buf bytes.Buffer if err := Encode(&buf, &block); err != nil { t.Errorf("Encode of %#v resulted in error: %s", &block, err) return false } decoded, rest := Decode(buf.Bytes()) if !reflect.DeepEqual(decoded, &block) { t.Errorf("Encode of %#v decoded as %#v", &block, decoded) return false } return true } quick.Check(testRoundtrip, nil) } σίʔυͨ͠ΒݩͱҰக͢Δ͜ͱ Τϯίʔυɾσίʔυͨ݁͠Ռ ݩσʔλ ϥϯμϜͳೖྗ஋Ͱ΋ຬͨ͢΂͖ੑ࣭Λ ςετίʔυͱͯ͠هड़Ͱ͖Δ ࠓճ͸ ɾΤϥʔʹͳΒͳ͍͜ͱ ɾΤϯίʔυɾσίʔυͨ͠Βݩʹ໭Δ͜ͱ

Slide 61

Slide 61 text

Slide 62

Slide 62 text

Slide 63

Slide 63 text

63 Copyright (C) DeNA Co.,Ltd. All Rights Reserved. ·ͱΊ • UFTUJOHRVJDL͸ϥϯμϜ஋ʹΑΔςετ • 1SPQFSUZCBTFE5FTUJOHͱ΋ݴΘΕΔ • (Pඪ४ύοέʔδͷςετͰ΋࢖ΘΕ͍ͯΔ ᶃ໌നͳ࣮૷ͱͷൺֱ ᶄ'V[[ςετ গͳ͍͚Ͳ ར༻γʔϯ͸ଟ͘ͳ͍͕ɺ దࡐదॴͰ࢖͑͹༗ޮͳख๏Ͱ͸ʁ ߟ͑ํͱ͓֮ͯ͑ͯ͘͠ͷ΋༗ޮ

Slide 64

Slide 64 text