Property-based Testing の位置付け / Intro to Property-based Testing

by Takuto Wada

Slide 1

Slide 1 text

1SPQFSUZCBTFE5FTUJOHͷҐஔ෇͚ 📷🙆 🙆 5BLVUP8"%"ʢ!U@XBEBʣ ςετઓུ@ fi OEZ rev.3 %FD !'JOEZ

Slide 2

Slide 2 text

,OPXOLOPXO LOPXOVOLOPXO VOLOPXOVOLOPXO IUUQTQPTUTUBUVTDPNLOPXOLOPXOTLOPXOVOLOPXOTBOEVOLOPXOVOLOPXOT

Slide 3

Slide 3 text

5%%ͷ5͸ ʮςετʯͳͷͩΖ͏͔

Slide 4

Slide 4 text

5FTUJOHWT$IFDLJOH IUUQXXXEFWFMPQTFOTFDPNCMPHUFTUJOHWTDIFDLJOH

Slide 5

Slide 5 text

5IF5XP4JEFTPG4PGUXBSF5FTUJOH$IFDLJOHBOE&YQMPSJOH IUUQTXXXBHJMFDPOOFDUJPODPNBSUJDMFUXPTJEFTTPGUXBSFUFTUJOHDIFDLJOHBOEFYQMPSJOH

Slide 6

Slide 6 text

5IF5XP4JEFTPG4PGUXBSF5FTUJOH$IFDLJOHBOE&YQMPSJOH 5FTUJOH$IFDLJOH&YQMPSJOH IUUQTXXXBHJMFDPOOFDUJPODPNBSUJDMFUXPTJEFTTPGUXBSFUFTUJOHDIFDLJOHBOEFYQMPSJOH

Slide 7

Slide 7 text

ιϑτ΢ΣΞ։ൃ͸ະ஌ͱط஌ͷਞऔΓ߹ઓ 5FTUJOH$IFDLJOH&YQMPSJOH IUUQTXXXBHJMFDPOOFDUJPODPNBSUJDMFUXPTJEFTTPGUXBSFUFTUJOHDIFDLJOHBOEFYQMPSJOH ,OPXOLOPXOˠ,OPXOLOPXO

Slide 8

Slide 8 text

ιϑτ΢ΣΞ։ൃ͸ະ஌ͱط஌ͷਞऔΓ߹ઓ 5FTUJOH$IFDLJOH&YQMPSJOH IUUQTXXXBHJMFDPOOFDUJPODPNBSUJDMFUXPTJEFTTPGUXBSFUFTUJOHDIFDLJOHBOEFYQMPSJOH ,OPXOVOLOPXOˠ,OPXOLOPXO

Slide 9

Slide 9 text

ࣗ෼͕஌Βͳ͍΋ͷΛ୳ࡧʢ&YQMPSFʣͰ͖Δ͔ ͋ͳ͕ͨίʔυΛهड़͠ɺςετΛهड़͢Δͱ͍͏৔߹ɺͦͷ૒ํʹޡͬͨԾఆ͕ ·͗Ε͜ΜͰ͠·Θͳ͍ͷͰ͠ΐ͏͔ ͋ͳͨͷཧղʹج͍ͮͯ΋ͷ͝ͱ͕ਐΉҎ্ɺίʔυ͸ςετΛύε͢Δ͸ͣͰ͢ɻ ʰୡਓϓϩάϥϚʔୈ൛ʱQQ IUUQTXXXPINTIBDPKQCPPL

Slide 10

Slide 10 text

ࣗ෼͕஌Βͳ͍΋ͷΛ୳ࡧʢ&YQMPSFʣͰ͖Δ͔ 5FTUJOH$IFDLJOH&YQMPSJOH IUUQTXXXBHJMFDPOOFDUJPODPNBSUJDMFUXPTJEFTTPGUXBSFUFTUJOHDIFDLJOHBOEFYQMPSJOH ͩΕ͕΍Δ

Slide 11

Slide 11 text

୳ࡧతςετະ஌͔Βط஌΁ 63- IUUQTQSBHQSPHDPNUJUMFTFIYUBFYQMPSFJU

Slide 12

Slide 12 text

͔͠͠ʜʜ

Slide 13

Slide 13 text

෼ۀ͢ΔͱࣦΘΕΔ΋ͷ͕͋Δ ͜ͷ໰୊Λճආ͢Δͭͷํ๏͸ɺผͷਓʹςετΛهड़ͯ͠΋Βͬͯίʔυͷςε τΛ࣮ࢪ͢Δͱ͍͏΋ͷͰ͕͢ɺզʑ͸͜ͷํ๏Λ޷·͍͠ͱߟ͍͑ͯ·ͤΜɻ ͱ͍͏ͷ΋ɺʮίʔυͷͨΊͷςετʯͰॻ͍ͨΑ͏ʹɺςετʹ͍ͭͯߟ͑Δ͜ͱ Ͱɺهड़͢Δίʔυ͕ద੾ͳ΋ͷʹͳ͍ͬͯ͘ͱ͍͏େ͖ͳར఺͕͋ΔͨΊͰ͢ɻ ςετͱίʔσΟϯάΛ෼ׂͯ͠͠·͑͹ɺ͜ͷར఺͕ࣦΘΕͯ͠·͏ͷͰ͢ɻ ʰୡਓϓϩάϥϚʔୈ൛ʱQ IUUQTXXXPINTIBDPKQCPPL

Slide 14

Slide 14 text

෼ۀ͢ΔͱࣦΘΕΔ΋ͷ͕͋Δ IUUQTXXXBNB[PODPKQEQ ։ൃऀ͕ςετͷ࡞੒ɾ؅ཧʹؔ༩͢ΔͱɺͭͷॏཁͳޮՌ͕ੜ͡Δ ։ൃऀ͕ςετΛ࡞੒͢Δͱίʔυ͕ΑΓςετՄೳͳ΋ͷʹͳΔ ࣗಈςετʹର͢Δ੹೚Λ։ൃऀ͕ෛ͏ͱɺςετʹର͢Δҙ͕ࣝߴ·Γɺ ͦͷ؅ཧ΍मਖ਼ʹΑΓ஫ྗ͢Δ͜ͱʹͳΔ ʰ-FBOͱ%FW0QTͷՊֶʱQʢ˞༁ΛҰ෦มߋʣ

Slide 15

Slide 15 text

ͦ͜Ͱ1SPQFSUZCBTFE5FTUJOHͰ͢Α ͦ͏Ͱ͸ͳ͘զʑ͸ɺ͋ͳͨͷ๊͘༧૝Λڞ༗͍ͯ͠ͳ͍ίϯ ϐϡʔλʔ͕ɺ͋ͳͨͷͨΊʹςετΛ࣮ࢪ͢Δͱ͍͏୅ସ͕ ద੾ͩͱߟ͍͑ͯ·͢ɻ ʰୡਓϓϩάϥϚʔୈ൛ʱQ IUUQTXXXPINTIBDPKQCPPL

Slide 16

Slide 16 text

1SPQFSUZCBTFE5FTUJOHͷҐஔ෇͚ʢࢲݟʣ IUUQTXXXPINTIBDPKQCPPL

Slide 17

Slide 17 text

1#5ͱʢ&YBNQMFCBTFE5FTUJOHʣ͸૬ޓิ׬ͷؔ܎ ϓϩύςΟʔϕʔεͷςετ͸ɺෆมੑͱܖ໿ͱ͍͏؍఺͔Βίʔυʹ͍ͭͯߟ͑ͤͯ͘͞ΕΔ ͷͰ͢ɻͭ·Γɺมߋͯ͠͸͍͚ͳ͍΋ͷ͸Կ͔ͱɺຊ౰ͷ΋ͷ͸Կ͔ͱ͍͏͜ͱΛߟ͑ͤͯ͞ ͘ΕΔΘ͚Ͱ͢ɻ͜͏͍ͬͨಎ࡯ΛՃ͑Δ͜ͱͰɺίʔυʹຐ๏͕͔͔Γɺڥք৚݅ͷᐆດ͕͞ ফ͑ڈΓɺ੔߹ੑͷͳ͍ঢ়ଶʹσʔλΛஔ͘ػೳʹޫ͕౰ͨΔͷͰ͢ɻ զʑ͸ϓϩύςΟʔϕʔεͷςετ͕ϢχοτςετΛิ׬͢Δ΋ͷͩͱ֬৴͍ͯ͠·͢ɻϓϩ ύςΟʔϕʔεͷςετ͸͞·͟·ͳݒ೦ʹऔΓ૊ΈɺͦΕͧΕݻ༗ͷར఺Λ΋ͨΒͯ͘͠ΕΔ ͷͰ͢ɻ ʰୡਓϓϩάϥϚʔୈ൛ʱQ IUUQTXXXPINTIBDPKQCPPL

Slide 18

Slide 18 text

ZNPUPOHQPP͞Μੌ͍ʢϤΠγϣʣ ,OPXOVOLOPXOʹ Ξϓϩʔν͢Δख๏ 6OLOPXOVOLOPXOʹ Ξϓϩʔν͢Δख๏

Slide 19

Slide 19 text

͝ਗ਼ௌ͋Γ͕ͱ͏͍͟͝·ͨ͠ ςετઓུ@ fi OEZ