ςετΛॻ͔ͳ͍ ݴ͍༁Λͨ݁͠Ռᶄ -ෛ࠴ʹͳΒͳ͍ςετΛٻΊͯ- by. 2017/7/26 iOS Test Night #5 1

takasek iOS Developer @takasek OSS ActionClosurable Notifwift౳ 2

લճ·Ͱͷ ͋Β͢͡ 3

iOS Test Night #3 ʹͯൃද 4

5

ςετॻ͖ͨ ͘ͳ͍ཧ༝ᶃ ςετϑΝΠϧ΁ ͷڑ཭͕ԕ͍ 6

ଓฤൃදͰղܾ (iOS Test Night #4) 7

ςετϑΝΠϧ΁ͷڑ཭͕ԕ͍ͷͳΒ ςετͱ࣮૷ͷڑ཭Λ ͚ۙͮΔεΫϦϓτΛ ࡞Δ! 8

https://github.com/takasek/XCJumpToTests 9

͜ΕͰ࣮૷ϑΝΠϧͱςετϑΝΠϧΛҰൃͰ੾Γସ͑ΒΕΔʂ 10

ৄ͘͠͸લճൃදͷSpeakerDeckͰ https://speakerdeck.com/takasek/tesutowoshu-kanaiyan-iyi-wositajie- guo-wwwwwww 11

! 12

ςετॻ͖ͨ͘ͳ͍ཧ༝ᶄ ෛ࠴ʹͳΓ΍͍͢ "The dependencies between packages should be in the direction of the stability of the packages. A package should only depend upon packages that are more stable than it is. " 1 ύοέʔδͷґଘؔ܎͸ɺ҆ఆੑͷํ޲ʹґΒͳ͚Ε͹ͳΒͳ͍ɻ ύοέʔδ͸ɺΑΓ҆ఆͨ͠ύοέʔδʹͷΈґଘ͢΂͖ͩɻ ɹɹɹɹɹɹɹɹɹɹɹɹɹɹɹɹɹɹɹɹɹɹɹɹɹɹɹ- Robert C. Martin 1 Stable Dependencies Principle http://wiki.c2.com/?StableDependenciesPrinciple 13

14

ࠓճ͸ ͪ͜Βʹ͍ͭͯൃද͠·͢ 15

ڭ͑ͯ΋Βͬͨ "ςετ͕ෛ࠴ʹͳΓ΍͍͢" ໰୊΁ͷղ 4 doctest 4 ϓϩύςΟϕʔεͷςετ 16

doctest 17

doctest ͱ͸ 2 doctest Ϟδϡʔϧ͸ɺର࿩త Python ηογϣϯͷΑ͏ʹݟ͑ΔςΩετΛ୳͠ग़͠ɺη ογϣϯͷ಺༰Λ࣮ߦͯ͠ɺͦ͜ʹॻ͔Ε͍ͯΔ௨Γʹৼ෣͏͔Λௐ΂·͢ɻ doctest ͸Ҏ ԼͷΑ͏ͳ༻్ʹΑ͘࢖ΘΕ͍ͯ·͢: 4 Ϟδϡʔϧͷ docstring (υΩϡϝϯςʔγϣϯจࣈྻ) தʹ͋Δର࿩࣮ߦྫͷ͢΂͕ͯ ॻ͔Ε͍ͯΔ௨Γʹಈ࡞͢Δ͔ݕূ͢Δ͜ͱͰɺdocstring ͷ಺༰͕࠷৽͔Ͳ͏͔νΣο Ϋ͢Δɻ 4 ςετϑΝΠϧ΍ςετΦϒδΣΫτதͷର࿩࣮ߦྫ͕ظ଴௨Γʹಈ࡞͢Δ͔Λݕূ͢Δ ͜ͱͰɺճؼςετΛ࣮ݱ͠·͢ɻ 4 ೖग़ྗྫΛ๛෋ʹ࢖ͬͨύοέʔδͷνϡʔτϦΞϧυΩϡϝϯτ͕ॻ͚·͢ɻೖग़ྗྫ ͱղઆจͷͲͪΒʹ஫໨͢Δ͔ʹΑͬͯɺυΩϡϝϯτ͸ʮಡΊΔςετʯʹ΋ʮ࣮ߦͰ ͖ΔυΩϡϝϯτʯʹ΋ͳΓ·͢ɻ 2 https://docs.python.jp/3/library/doctest.html 18

doctest αϯϓϧίʔυ(python) def hoge(): """ >>> hoge() 'Hello World' """ return "Hello world" if __name__ == "__main__": import doctest doctest.testmod() 19

doctest ࣮ߦ݁Ռ [demo] % python example.py ********************************************************************** File "example.py", line 4, in __main__.hoge Failed example: hoge() Expected: 'Hello World' Got: 'Hello world' ********************************************************************** 1 items had failures: 1 of 1 in __main__.hoge ***Test Failed*** 1 failures. 20

doctest ݕূ݁Ռ def hoge(): """ >>> hoge() 'Hello World' """ return "Hello world"ɹ! w ͕খจࣈʹͳͬͯΔʂʂ if __name__ == "__main__": import doctest doctest.testmod() 21

ର࿩؀ڥΛ ͦͷ··ίϐϖͨ͠Β ςετʹͳΔͷ ͍͍Ͷ ! 22

OSSͰSwift༻ͷ doctestπʔϧ ͳ͍͔ͳ…ʁ 23

https://github.com/x007th/SwiftDocTest ! Starͷ਺ɺ3೥લ͔Βߋ৽͕ࢭ·ͬͯΔɺ౳ ؾʹͳΔ… 24

SwiftDocTest ͸͜Μͳײ͡Ͱ࢖͏Β͍͠! /** :test: floor(CGPoint(x:10.9, y:-10.5)) :result: CGPoint(x:10, y:-11) */ public func floor(value:CGPoint) -> CGPoint { return value.map(floor) } /** :test: ceil(CGPoint(x:10.9, y:-10.5)) :result: CGPoint(x:11, y:-10) */ public func ceil(value:CGPoint) -> CGPoint { return value.map(ceil) } ίϐϖͮ͠Βͦ͏… 25

Swift/Xcode΋ doctest తͳ΋ͷ ಋೖͯ͘͠Εͯ΋ ͍͍ͷͰ͸ 26

Swift/Xcode΋ doctest తͳ΋ͷ ಋೖͯ͘͠Εͯ΋ ͍͍ͷͰ͸ document comments ॆ࣮ͤ͞Α͏ͬͯ API guideline Ͱ΋ ݴͬͯΔΜͩ͠ 27

! 28

ϓϩύςΟϕʔεͷ ςετ (QuickCheck) 29

QuickCheck ͱ͸ 3 QuickCheckʢΫΠοΫνΣοΫʣ͸ɺ(...) HaskellͰॻ͔Εͨί ϯϏωʔλϥΠϒϥϦͰ͋Δɻ QuickCheckͰ͸ϓϩάϥϚ͸ؔ਺͕ຬͨ͢΂͖࿦ཧతੑ࣭ΛΞα ʔγϣϯͱͯ͠ॻ͘ɻςετ͸ؔ਺ͷҾ਺ͷܕ͕औΓಘΔ஋Λϥϯ μϜʹؔ਺ʹ༩͑Δ͜ͱͰɺΞαʔγϣϯ͕ࣦഊ͢Δ৚݅Λ୳ͦ͏ ͱࢼΈΔɻ(...) QuickCheck͸௨ৗͷϓϩάϥϜͷςετʹՃ͑ɺ ؔ਺࢓༷ͷࡦఆɺؔ਺͕͢Δ΂͖ڍಈΛυΩϡϝϯτͱͯࣔ͢͠ɺ ίϯύΠϥͷ࣮૷Λςετ͢Δɺͱ͍ͬͨ͜ͱʹ΋༗༻Ͱ͋Δɻ 3 https://ja.wikipedia.org/wiki/QuickCheck 30

https://github.com/typelift/SwiftCheck Star΋ଟ͘ɺܧଓͯ͠։ൃ͞Ε͍ͯΔɻΑͦ͞͏ɻ 31

SwiftCheck ͷ࢖͍ํ ϥϯμϜͳ஋͕ Generate Ͱ͖ΔͷͰ… 32

૊Έ߹ΘͤͯδΣωϨʔλΛ࡞ͬͯ… let localEmail = allowedLocalCharacters .proliferateNonEmpty .suchThat({ $0[$0.index(before: $0.endIndex)] != "." }) .map { String($0) } let hostname = Gen.one(of: [ lowerCaseLetters, numeric, Gen.pure("-"), ]).proliferateNonEmpty.map { String($0) } let tld = lowerCaseLetters .proliferateNonEmpty .suchThat({ $0.count > 1 }) .map { String($0) } let emailGen = glue([ localEmail, Gen.pure("@"), hostname, Gen.pure("."), tld ]) emailGen.generate // "q13vS#@s409pwr-plv90-w40--91-.ijtgmvoiljnticlggqlpw" emailGen.generate // "!'[email protected]" emailGen.generate // "46n}ZmEDg760&4L4RR#.Q'b{}[email protected]" 33

ςετσʔλΛੜ੒͢ΔArbitraryΛ༻ҙͯ͠ struct ArbitraryEmail : Arbitrary { let email : String static var arbitrary : Gen { return emailGen.map(ArbitraryEmail.init) } } 34

ͦͷੑ࣭ΛνΣοΫ property("τοϓϨϕϧυϝΠϯͷμϝͳϝΞυ") <- forAll { (arbitrary : ArbitraryEmail) in ! arbitrary.email.contains(".") }.expectFailure // +++ OK, failed as expected. Proposition: τοϓϨϕϧυϝΠϯͷͳ͍ϝΞυ // Falsifiable (after 1 test): // ArbitraryEmail(email: "{@3.ae") 35

ςετσʔλ͕ ൒ࣗಈͰ࡞ΒΕΔͷ ͍͍Ͷ ! 36

΋ͬͱৄ͘͠ Property-Based Testing https://news.realm.io/news/tryswift-tj-usiyan-property-based-testing-swiftcheck/ 37

ࠓ೔ͷ·ͱΊ ςετΛॻ͔ͳ͍ݴ͍༁Λ ͨ݁͠Ռ… 38

ࠓ೔ͷ·ͱΊ ςετΛॻ͔ͳ͍ݴ͍༁Λ ͨ݁͠Ռ… ෛ࠴ʹͳΓʹ͍͘ςετํ ๏ͷ஌ݟ͕ू·ͬͨ ! 39