Slide 1

Slide 1 text

Tomoki Ota ʲGoݴޠʳςετ

Slide 2

Slide 2 text

ςετͷ෼ྨ go:build γϣʔτϞʔυ -race ςετ࣮ߦϞʔυ ςʔϒϧۦಈςετ setup & teardown Fuzzing ΞδΣϯμ 2

Slide 3

Slide 3 text

ςετͷ෼ྨ

Slide 4

Slide 4 text

ςετͷछྨ 4 ෳࡶɾ஗͍ɾܾఆੑ௿ ؆୯ɾ଎͍ɾܾఆੑߴ

Slide 5

Slide 5 text

E2Eςετ 5 •γεςϜશମͷςετ •Ϣʔεέʔεςετ(Ϣʔβࢹ఺) •staging؀ڥͳͲͰςετ͢Δ

Slide 6

Slide 6 text

౷߹ςετ 6 •αʔϏεʗίϯϙʔωϯτؒͷ૬ޓ࡞༻Λ ςετ͢Δ •γφϦΦςετ •ϞοΫαʔόͳͲΛ༻͍ͯςετ͢Δ

Slide 7

Slide 7 text

ϗϫΠτϘοΫεςετ 7 • ػೳͷϩδοΫ΍ೖग़ྗΛϕʔεʹςετ͢Δ • ͢΂ͯͷϓϩάϥϜ͕ҙਤͨ͠ͱ͓Γʹಈ࡞͍ͯ͠Δ͔Λ֬ೝ͢Δ • ੜ࢈ऀଆࢹ఺ͷςετ

Slide 8

Slide 8 text

ϒϥοΫϘοΫεςετ 8 • ػೳͷ࣮ࡍͷৼΔ෣͍Λϕʔεʹςετ͢Δ • γεςϜࣗମͷ࢓༷Λຬ͍ͨͯ͠Δ͔Ͳ͏͔Λ֬ೝ͢Δ • ΫϥΠΞϯτଆͷςετ

Slide 9

Slide 9 text

ςετύοέʔδ

Slide 10

Slide 10 text

ςετύοέʔδ໊ʹ_testΛ͚ͭΔ΂͖͔ʁ 10 • _testΛ͚ͭͳ͍ : ϗϫΠτϘοΫεςετ • _testΛ͚ͭΔ : ϒϥοΫϘοΫεςετ ͱଏʹݴΘΕͯΔ͚Ͳ… _testΛ͚ͭͳ͍ํ͕Α͘ݟ͑Δ

Slide 11

Slide 11 text

ςετύοέʔδ໊ʹ_testΛ͚ͭΔ΂͖͔ʁ 11 • _testΛ͚ͭͳ͍ : ϓϥΠϕʔτؔ਺ͷςετ͕Ͱ͖Δ • _testΛ͚ͭΔ : ϓϥΠϕʔτؔ਺ͷςετ͕Ͱ͖Δ

Slide 12

Slide 12 text

ͦ΋ͦ΋privateؔ਺Λςετ͢΂͖͔ʁ 12

Slide 13

Slide 13 text

݁࿦ 13 ͪΌΜͱૄ݁߹ͳίʔυΛॻ͍͍ͯΕ͹ privateͳؔ਺Λςετ͢Δඞཁ͸΄ͱΜͲͳ͍

Slide 14

Slide 14 text

14

Slide 15

Slide 15 text

go:build

Slide 16

Slide 16 text

go:buildͱ͸ʁ 16 Ϗϧυλάͱݺ͹ΕɺGoϑΝΠϧͷઌ಄ʹ͋Δಛผͳίϝϯτ Build Constraints ͱ΋ݺ͹ΕΔ ͪͳΈʹGo1.17ҎલͰ͸ //go:build Ͱ͸ͳ͘ɺ //+buildͩͬͨ

Slide 17

Slide 17 text

go:buildͱ͸ʁ 17 ۭߦ͕ඞཁ

Slide 18

Slide 18 text

go:buildͱ͸ʁ 18 ۭߦ͕ඞཁ εϖʔεෆཁ

Slide 19

Slide 19 text

go:buildͱ͸ʁ 19 ಛఆͷϑΝΠϧͷΈΛࢦఆͯ͠Ϗϧυ͍ͨ͠ͱ͖ʹ࢖༻͢Δ

Slide 20

Slide 20 text

go:buildͱ͸ʁ 20 cgo͕༗ޮͳ৔߹ʹͷΈbuild͢Δ

Slide 21

Slide 21 text

go:buildͱ͸ʁ 21 WindowsͰͷΈϏϧυ͞ΕΔ

Slide 22

Slide 22 text

ϏϧυΦϓγϣϯ 22 windowsҎ֎ʹ΋GOOS΍GOARCHʹࢦఆͰ͖ΔΞʔΩςΫνϟɺcgoɺίϯύΠϥɺ goͷϝδϟʔόʔδϣϯΛࢦఆͰ͖Δɻྫ͑͹ओͳྫΛڍ͛ΔͱҎԼͷΑ͏ͳ΋ͷ͕͋Δɻ

Slide 23

Slide 23 text

ϏϧυΦϓγϣϯ 23 • windows, linux, darwin • unix • ignore(ͦͷଞಠࣗͷΧελϜλάͰ΋Մೳ) : build࣌ʹແࢹ͍ͨ͠ͱ͖ • cgo : CGO_ENABLED͕1ͷͱ͖ʹbuildର৅ͱͳΔ • linux • unix • darwin • go1.22 (ϚΠφʔόʔδϣϯ͸ࢦఆͰ͖ͳ͍) • gc, gccgo • android, ios • arm,arm.5, arm.6, arm.7 • amd64, amd64.v1, amd64.v2, amd64.v3 • mips64x, ppc64x, wasm

Slide 24

Slide 24 text

Ϗϧυλά࢖༻࣌ͷ஫ҙ 24 go build main.goͷΑ͏ʹςετϑΝΠϧΛࢦఆͯ͠ɺϏϧυͨ͠ͱ͖͸ Ϗϧυλάʹؔ܎ͳ͘ɺϏϧυ͞ΕΔɻ

Slide 25

Slide 25 text

Ϗϧυλάͷԋࢉࢠ 25 ϏϧυλάͰ͸&&, || , !ԋࢉࢠ͕ར༻Ͱ͖Δ

Slide 26

Slide 26 text

Ϗϧυλάͷԋࢉࢠ 26 cgo͕ར༻Ͱ͖ͯɺlinux·ͨ͸ɺdarwinͰ͋Δ࣌ʹϏϧυ͞ΕΔ

Slide 27

Slide 27 text

ϏϧυλάʹΑΔςετͷ෼ྨ 27 ݁߹ςετͱ୯ମςετΛ෼͚͍ͨͱ͖ ౷߹ςετର৅ʹ্هͷΑ͏ͳϏϧυλάΛ͚ͭΔ

Slide 28

Slide 28 text

ϏϧυλάʹΑΔςετͷ෼ྨ 28 1. ౷߹ςετର৅ʹϏϧυλάintegrationΛ͚ͭΔ 2. ݁߹ςετͰಈ͔ͨ͘͠ͳ͍୯ମςετର৅ͷϑΝΠϧʹ͸ !integration ͷϏϧυλάΛࢦఆͯ͠ແޮʹ͢Δ 3. ݁߹ςετͱ୯ମςετΛ෼͚͍ͨͱ͖ͷྫ

Slide 29

Slide 29 text

ϏϧυλάʹΑΔςετͷ෼ྨ 29 ݁߹ςετͰಈ͔ͨ͘͠ͳ͍୯ମςετର৅ͷϑΝΠϧʹ͸ ! ͷϏϧυλάΛࢦఆͯ͠ແޮʹ͢Δ

Slide 30

Slide 30 text

ϏϧυλάʹΑΔςετͷ෼ྨ 30 tagΛࢦఆͯ͠ςετΛ࣮ߦ͢Δ

Slide 31

Slide 31 text

ϏϧυλάʹΑΔςετͷ෼ྨͷ஫ҙ 31 1. //go:build !integration Λ͚ͭͳ͍ͱɺgo test -tags=integration Ͱ λά͕͍͍ͭͯͳ͍΋ͷ΋࣮ߦ͞ΕΔɻ 2. ϏϧυλάͰςετΛεΩοϓͨ͠ࡍɺͲͷςετ͕εΩοϓ͞Ε͔ͨ͸ ग़ྗ͞Εͳ͍ → ؀ڥม਺Λ࢖༻͢Δͱग़ྗͰ͖Δ

Slide 32

Slide 32 text

؀ڥม਺ʹΑΔεΩοϓͷग़ྗ 32 ؀ڥม਺INTEGRATION͕trueʹͳ͍ͬͯΔ৔߹͸ɺςετΛεΩοϓ͢Δɻ

Slide 33

Slide 33 text

γϣʔτϞʔυ

Slide 34

Slide 34 text

γϣʔτϞʔυͱ͸ʁ 34 γϣʔτϞʔυΛ༻͍Δͱɺ଎౓ʹΑͬͯ෼ྨ͢Δ͜ͱ͕Ͱ͖Δɻ

Slide 35

Slide 35 text

γϣʔτϞʔυʹΑΔςετͷ෼ྨ 35 testing.Short Λ༻͍Δͱ γϣʔτϞʔυ͕༗ޮ࣌ʹ SkipͰ͖Δ

Slide 36

Slide 36 text

γϣʔτϞʔυͷ࣮ߦ 36 -short Λ౉͢ͱγϣʔτϞʔυʹͳΔ

Slide 37

Slide 37 text

-race

Slide 38

Slide 38 text

-raceͱ͸ʁ 38 ඪ४ͷrace detector(ڝ߹ݕग़ث)Λ༗ޮʹ͢Δϑϥά σʔλڝ߹Λݕग़Ͱ͖Δ

Slide 39

Slide 39 text

-raceͱ͸ʁ 39

Slide 40

Slide 40 text

-raceͷ஫ҙ 40 ڝ߹ݕग़ث͕༗ޮ࣌ʹɺίϯύΠϥ͸σʔλڝ߹Λݕग़͢ΔͨΊʹ ίʔυʹରͯ͠instrumentationΛ࣮ߦ͢Δ

Slide 41

Slide 41 text

-raceͷ஫ҙ 41 instrumentation : ίϯύΠϥ͕௥Ճͷ໋ྩΛੜ੒͢Δ͜ͱ

Slide 42

Slide 42 text

-raceͷ஫ҙ 42 ࣮ߦ࣌ͷΦʔόϔου͕͋Δ • ϝϞϦ࢖༻ྔ : 5ʙ10ഒ૿͑ΔՄೳੑ͕͋Δ • ࣮ߦ࣌ؒ : 2ʙ20ഒ௕͘ͳΔՄೳੑ͕͋Δ

Slide 43

Slide 43 text

-raceͷ஫ҙ 43 CI΍ϩʔΧϧͰͷςετͰͷΈ༗ޮʹ͢Δ ຊ൪؀ڥͰ͸࢖Θͳ͍(΋͘͠͸ΧφϦΞϦϦʔεͰͷΈ࢖͏)

Slide 44

Slide 44 text

ڝ߹ݕग़͔Βআ֎͢Δ 44

Slide 45

Slide 45 text

ςετ࣮ߦϞʔυ

Slide 46

Slide 46 text

ςετ࣮ߦϞʔυ 46 • -parallel : ฒྻ࣮ߦϞʔυ • -shuf f le : ࣮ߦॱংΛϥϯμϜʹ͢Δ

Slide 47

Slide 47 text

-parallel 47 σϑΥϧτͰಉ࣮࣌ߦͰ͖Δςετͷ࠷େ਺͸GOMAXPROCSͱಉ͡஋

Slide 48

Slide 48 text

-shuf f le 48 Go 1.17͔ΒઃఆͰ͖Δɻ ϥϯμϜʹ͢Δ͜ͱͰɺݸʑͷςετΛಠཱͰ͖Δ

Slide 49

Slide 49 text

-shuf f le 49 on/offΛࢦఆͰ͖ΔɻσϑΥϧτ͸off

Slide 50

Slide 50 text

-shuf f le 50 -vΛ͚ͭΔ͜ͱͰɺ৑௕ϞʔυͱͳΓɺγϟοϑϧ͞ΕͨςετΛ࣮ߦ͢Δࡍʹ ͦͷγʔυ஋Λ஌Δ͜ͱ͕Ͱ͖Δɻˠ ಉ͡ॱংͰ࠶࣮ߦͰ͖Δ

Slide 51

Slide 51 text

-shuf f le 51

Slide 52

Slide 52 text

ςʔϒϧۦಈςετ

Slide 53

Slide 53 text

ςʔϒϧۦಈςετ 53 ܾ·Γ͖ͬͨςετϩδοΫΛڞ௨Խ͢Δ

Slide 54

Slide 54 text

No content

Slide 55

Slide 55 text

ςʔϒϧۦಈςετ 55 ςετέʔε

Slide 56

Slide 56 text

interfaceΛ༻͍ͯDIʹΑͬͯૄ݁߹͠ͳ͍ͱɺ ςετͰ͖ͳ͍৔߹΋͋Δ

Slide 57

Slide 57 text

setup&teardown

Slide 58

Slide 58 text

setup & teardown 58 • ࣄલ४උ : setup • ࣄޙॲཧ : teardown

Slide 59

Slide 59 text

59 ࣄલ४උؔ਺Λલॲཧͱͯ͠ ࣄޙॲཧؔ਺Λdeferͱͯ͠ݺͼग़͢ɻ setup & teardown

Slide 60

Slide 60 text

60 t.CleanupΛ࢖͏ͱ͡͝ॲཧؔ਺Λొ࿥Ͱ͖Δɻ setup & teardown

Slide 61

Slide 61 text

Fuzzing

Slide 62

Slide 62 text

Fuzzing 62

Slide 63

Slide 63 text

Fuzzing 63

Slide 64

Slide 64 text

Fuzzing 64 Fuzzςετ͸ɺ*_test.goϑΝΠϧͰͳ͍ͱ࣮ߦͰ͖ͳ͍ ϑΝζςετʹ͖ͭɺϑΝζλʔήοτ͸ਖ਼֬ʹ1ͭͰͳ͚Ε͹ͳΒͳ͍

Slide 65

Slide 65 text

Fuzzing 65 -fuzz=ͷ͋ͱʹɺਖ਼نදݱͰςετ͢Δؔ਺Λࢦఆ͢Δ

Slide 66

Slide 66 text

Fuzzing 66 Fuzzingςετ͸ςετ͕ࣦഊ͢Δ·Ͱ࣮ߦ͠ଓ͚ΔͷͰɺλΠϜΞ΢τͷ࣌ؒΛઃఆ͢Δ