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

Copyright (C) DeNA Co.,Ltd. All Rights Reserved.
ඪ४ύοέʔδʹ͓͚Δ
ςετͰͷར༻ྫ͔ΒֶͿ
UFTUJOHRVJDLύοέʔδ
1
Go Conference 2019 Spring
2019/5/18ʢSatʣ
 
ࡉপ ༞հ@DeNA

View Slide

"CPVU
2

View Slide

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

View Slide

ࠓ೔࿩͢͜ͱ
4

View Slide

5
ඪ४ύοέʔδʹؚ·ΕΔ

View Slide

6
(PݴޠͷύοέʔδҰཡ
IUUQTHPMBOHPSHQLH

View Slide

7
IUUQTHPMBOHPSHQLH
ʮϒϥοΫϘοΫεςετʯͷͨΊͷ6UJMJUZΛఏڙ

View Slide

8
IUUQTHPMBOHPSHQLH
ʮϒϥοΫϘοΫεςετʯͷͨΊͷ6UJMJUZΛఏڙ
୺తʹݴͬͯ͠·͑͹ɺ
ʮϥϯμϜ஋ʯΛ࢖ͬͨςετ

View Slide

଍͠ࢉͷςετͰ
ൺֱͯ͠ΈΔ
9

View Slide

௨ৗͷςετ
10
UFTUJOHύοέʔδ

View Slide

11
0 ʴ 1 ʹ 1
1 ʴ 1 ʹ 2
௨ৗͷςετ

View Slide

12
0 ʴ 1 ʹ 1
1 ʴ 1 ʹ 2
௨ৗͷςετ
ೖྗ஋

View Slide

13
0 ʴ 1 ʹ 1
1 ʴ 1 ʹ 2
௨ৗͷςετ
ೖྗ஋ ظ଴஋

View Slide

14
1 ʴ 0 ʹ 1
1 ʴ 1 ʹ 2
௨ৗͷςετ
ೖྗ஋ ظ଴஋
໌֬ͳೖྗ஋ͱظ଴஋Λ

༩͑ͯݕূ͢Δ

View Slide

15
௨ৗͷςετ
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)
}
}
}

View Slide

16
௨ৗͷςετ
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)
}
}
}
໌֬ͳʮೖྗ஋ʯͱʮظ଴஋ʯΛ༩͑Δ

View Slide

ϥϯμϜςετ
17

View Slide

18
x ʴ y ʹ z
y ʴ x ʹ z’
ϥϯμϜςετ

View Slide

19
x ʴ y ʹ z
y ʴ x ʹ z’
ϥϯμϜςετ
ೖྗ஋
YͱZΛϥϯμϜʹੜ੒

View Slide

20
x ʴ y ʹ z
y ʴ x ʹ z’
ϥϯμϜςετ
ೖྗ஋
଍͠ࢉ͸ަ׵๏ଇΛຬͨ͢ͷͰ
[ͱ[`͸ৗʹҰக͢Δ

View Slide

21
x ʴ y ʹ z
y ʴ x ʹ z’
ϥϯμϜςετ
ೖྗ஋
଍͠ࢉ͸ަ׵๏ଇΛຬͨ͢ͷͰ
[ͱ[`͸ৗʹҰக͢Δ
ϥϯμϜ஋ʹରͯ͠

ຬͨ͢΂͖ੑ࣭Λݕূ͢Δ

View Slide

22
ϥϯμϜςετ
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())
}
}

View Slide

23
ϥϯμϜςετ
import (
"testing"
"testing/quick"
)
}
}
}
UFTUJOHRVJDLΛJNQPSU

View Slide

24
ϥϯμϜςετ
import (
“testing"
"testing/quick"
)
}
}
}
νΣοΫ༻ͷϔϧύʔؔ਺
ϥϯμϜͳೖྗ஋͕ೖͬͯ͘Δ૝ఆ

View Slide

25
ϥϯμϜςετ
import (
"testing"
"testing/quick"
)
}
}
}
ަ׵๏ଇΛຬͨͤ͹USVF

View Slide

26
ϥϯμϜςετ
import (
"testing"
"testing/quick"
)
}
}
}
ؔ਺͕ৗʹUSVFΛฦ͔͢ςετ

View Slide

27
ϥϯμϜςετ
import (
"testing"
"testing/quick"
)
}
}
}
USVFΛฦ͞ͳ͍৔߹͸&SSPS͕ฦ٫

View Slide

ࣦഊ͢ΔέʔεΛݟͯΈΔ
28

View Slide

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

View Slide

30
ࣦഊ͢Δέʔε
return x - y
}
// ίϯιʔϧग़ྗ
#1: failed on input -8046014121776288896, -2929560796466791850
ަ׵๏ଇΛຬͨ͞ͳ͍ʮҾ͖ࢉʯ

View Slide

31
ࣦഊ͢Δέʔε
return x - y
}
// ίϯιʔϧग़ྗ
#1: failed on input -8046014121776288896, -2929560796466791850
Y Z

View Slide

32
ࣦഊ͢Δέʔε
return x - y
}
// ίϯιʔϧग़ྗ
#1: failed on input -8046014121776288896, -2929560796466791850
Y Z
͜ΕΒͷ஋ͷ৔߹ʹࣦഊͨ͠ͱ͍͏ใࠂ

View Slide

༻ޠͷ੔ཧ
33

View Slide

34
༻ޠͷ੔ཧ
• &YBNQMFCBTFE5FTU
⁃ ໌֬ͳೖྗ஋ͱظ଴஋Λ༩͑Δςετ

View Slide

35
༻ޠͷ੔ཧ
• 1SPQFSUZCBTFE5FTU
⁃ ϥϯμϜ஋ʹج͍ͮͨςετ
⁃ ຬͨ͢΂͖ੑ࣭ʢQSPQFSUZʣΛݕূ
⁃ )BTLFMMͷ2VJDL$IFDL͕ൃ঵

View Slide

36
༻ޠͷ੔ཧ
• 1SPQFSUZCBTFE5FTU
⁃ ϥϯμϜ஋ʹج͍ͮͨςετ
⁃ ຬͨ͢΂͖ੑ࣭ʢQSPQFSUZʣΛݕূ
⁃ )BTLFMMͷ2VJDL$IFDL͕ൃ঵
ʢͨͿΜʣRVJDLͱ͍͏໋໊͸͔͜͜Β

View Slide

ඪ४ύοέʔδʹ͓͚Δར༻ྫ
37
UFTUJOHRVJDLύοέʔδͷ

View Slide

ᶃ໌നͳ࣮૷ͱͷൺֱ
38

View Slide

39
ᶃ ໌നͳ࣮૷ͱͷൺֱ
• ໌നͳ࣮૷
• ͍͍ͨͯͷ৔߹ɺ஗͍
• ྫɿϑΟϘφον਺ྻΛ࠶ؼͰղ͘
• ͦ͏Ͱͳ͍࣮૷
• ͍͍ͨͯͷ৔߹ɺෳࡶ
• ྫɿϑΟϘφον਺ྻΛ຤ඌ࠶ؼͰղ͘

View Slide

40
ᶃ ໌നͳ࣮૷ͱͷൺֱ
• ໌നͳ࣮૷
• ͍͍ͨͯͷ৔߹ɺ஗͍
• ྫɿϑΟϘφον਺ྻΛ࠶ؼͰղ͘
• ͦ͏Ͱͳ͍࣮૷
• ͍͍ͨͯͷ৔߹ɺෳࡶ
• ྫɿϑΟϘφον਺ྻΛ຤ඌ࠶ؼͰղ͘
ͲͪΒ΋ಉ͡ೖྗʹରͯ͠͸

ඞͣಉ݁͡ՌΛฦ͢͸ͣ

View Slide

DPOTUBOU@UJNFHP
41
DSZQUPTVCUMF

View Slide

42
$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)
}
ςετର৅

View Slide

43
// ConstantTimeByteEq returns 1 if x == y and 0 otherwise.
func ConstantTimeByteEq(x, y uint8) int {
return int((uint32(x^y) - 1) >> 31)
}
YͱZΛఆ਺࣌ؒͰൺֱ͢Δ
Ұக͢Ε͹ɺҰக͠ͳ͚Ε͹Λฦ͢
ςετର৅

View Slide

44
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)
}
}
ςετίʔυ

View Slide

45
if a == b {
return 1
}
return 0
}
if err != nil {
t.Error(err)
}
}
ఆ਺࣌ؒͰ͸ͳ͍໌നͳൺֱؔ਺
ςετίʔυ

View Slide

46
if a == b {
return 1
}
return 0
}
if err != nil {
t.Error(err)
}
}
ςετ༻ͷؔ਺
ςετίʔυ

View Slide

47
if a == b {
return 1
}
return 0
}
if err != nil {
t.Error(err)
}
}
ͭͷؔ਺ʹ͍ͭͯಉ݁͡ՌΛฦ͢͜ͱ
ςετର৅ ໌നͳ࣮૷
ςετίʔυ

View Slide

48
if a == b {
return 1
}
return 0
}
if err != nil {
t.Error(err)
}
}
ͭͷؔ਺ʹ͍ͭͯಉ݁͡ՌΛฦ͢͜ͱ
ςετର৅ ໌നͳ࣮૷
ಉ͡࢓༷ʢͷ͸ͣʣͷؔ਺Ͱ͋Ε͹

CheckEqualؔ਺ͰಉҰੑΛݕূͰ͖Δ
৽چͷΞϧΰϦζϜൺֱʹ΋࢖͑Δ

View Slide

ᶄ'V[[ςετ
49

View Slide

50
ᶄ Fuzz ςετ
• 'V[[ςετ
• ༧ଌෆՄೳͳೖྗσʔλʢGV[[ʣΛ༩͑ɺ 
ෆ۩߹͕ൃੜ͢Δέʔε͕ແ͍͔୳͢

View Slide

51
ᶄ Fuzz ςετ
• 'V[[ςετ
• ༧ଌෆՄೳͳೖྗσʔλʢGV[[ʣΛ༩͑ɺ 
ෆ۩߹͕ൃੜ͢Δέʔε͕ແ͍͔୳͢
ϥϯμϜͳ Fuzz ςετ͸

࣮֬Ͱ͸ͳ͍͕҆৺ײʹͭͳ͕Δ

View Slide

QFNHP
52
FODPEJOHQFN

View Slide

53
&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 {
}
ςετର৅

View Slide

54
&ODPEFؔ਺
//
// -----BEGIN Type-----
// Headers
// -----END Type-----
type Block struct {
Type string
Bytes []byte
}
}
1&.ܗࣜͷσʔλߏ଄
ςετର৅

View Slide

55
&ODPEFؔ਺
//
// -----BEGIN Type-----
// Headers
// -----END Type-----
type Block struct {
Type string
Bytes []byte
}
}
Τϯίʔυ༻ͷؔ਺
ςετର৅

View Slide

56
&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)
}
ςετίʔυ

View Slide

57
&ODPEFؔ਺
return false
}
return false
}
return true
}
}
ςετ༻ͷؔ਺
ςετίʔυ

View Slide

58
&ODPEFؔ਺
return false
}
return false
}
return true
}
}
೚ҙͷσʔλͰΤϯίʔυʹࣦഊ͠ͳ͍͜ͱ
ςετίʔυ

View Slide

59
&ODPEFؔ਺
return false
}
return false
}
return true
}
}
σίʔυͨ͠ΒݩͱҰக͢Δ͜ͱ
Τϯίʔυɾσίʔυͨ݁͠Ռ ݩσʔλ
ςετίʔυ

View Slide

60
&ODPEFؔ਺
return false
}
return false
}
return true
}
}
σίʔυͨ͠ΒݩͱҰக͢Δ͜ͱ
Τϯίʔυɾσίʔυͨ݁͠Ռ ݩσʔλ
ϥϯμϜͳೖྗ஋Ͱ΋ຬͨ͢΂͖ੑ࣭Λ

ςετίʔυͱͯ͠هड़Ͱ͖Δ
ࠓճ͸
ɾΤϥʔʹͳΒͳ͍͜ͱ
ɾΤϯίʔυɾσίʔυͨ͠Βݩʹ໭Δ͜ͱ

View Slide

·ͱΊ
61

View Slide

62
·ͱΊ
• UFTUJOHRVJDL͸ϥϯμϜ஋ʹΑΔςετ
• 1SPQFSUZCBTFE5FTUJOHͱ΋ݴΘΕΔ
• (Pඪ४ύοέʔδͷςετͰ΋࢖ΘΕ͍ͯΔ
ᶄ'V[[ςετ
গͳ͍͚Ͳ

View Slide

63
·ͱΊ
• UFTUJOHRVJDL͸ϥϯμϜ஋ʹΑΔςετ
• 1SPQFSUZCBTFE5FTUJOHͱ΋ݴΘΕΔ
• (Pඪ४ύοέʔδͷςετͰ΋࢖ΘΕ͍ͯΔ
ᶄ'V[[ςετ
গͳ͍͚Ͳ
ར༻γʔϯ͸ଟ͘ͳ͍͕ɺ

దࡐదॴͰ࢖͑͹༗ޮͳख๏Ͱ͸ʁ
ߟ͑ํͱ͓֮ͯ͑ͯ͘͠ͷ΋༗ޮ

View Slide

8F`SF)JSJOH
ςετࣗಈԽʹڵຯ͋Δํͥͻʂ
64
࠙਌ձɾ5XJUUFSͳͲ͓ؾܰʹʂ

View Slide

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

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

Yusuke Hosonuma

More Decks by Yusuke Hosonuma

Other Decks in Programming

Featured

Transcript