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

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

,OPXOLOPXO LOPXOVOLOPXO VOLOPXOVOLOPXO IUUQTQPTUTUBUVTDPNLOPXOLOPXOTLOPXOVOLOPXOTBOEVOLOPXOVOLOPXOT

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

5FTUJOHWT$IFDLJOH IUUQXXXEFWFMPQTFOTFDPNCMPHUFTUJOHWTDIFDLJOH

5IF5XP4JEFTPG4PGUXBSF5FTUJOH$IFDLJOHBOE&YQMPSJOH IUUQTXXXBHJMFDPOOFDUJPODPNBSUJDMFUXPTJEFTTPGUXBSFUFTUJOHDIFDLJOHBOEFYQMPSJOH

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

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

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

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

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

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

͔͠͠ʜʜ

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

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

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

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

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

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

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

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