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

2023/12/20(水)
https://findy.connpass.com/event/303813/

Transcript

1. 1SPQFSUZCBTFE
   5FTUJOH
   ͷҐஔ෇͚ 📷🙆 🙆 5BLVUP
   8"%"ʢ!U@XBEBʣ ςετઓུ@ fi OEZ rev.3 %FD
   
   
   !
   'JOEZ
2. ,OPXO
   LOPXO
   LOPXO
   VOLOPXO
   VOLOPXO
   VOLOPXO IUUQTQPTUTUBUVTDPNLOPXOLOPXOTLOPXOVOLOPXOTBOEVOLOPXOVOLOPXOT
3. 5%%
   ͷ
   5
   ͸
   ʮςετʯͳͷͩΖ͏͔
4. 5FTUJOH
   WT
   $IFDLJOH IUUQXXXEFWFMPQTFOTFDPNCMPHUFTUJOHWTDIFDLJOH
5. 5IF
   5XP
   4JEFT
   PG
   4PGUXBSF
   5FTUJOH
   $IFDLJOH
   BOE
   &YQMPSJOH IUUQTXXXBHJMFDPOOFDUJPODPNBSUJDMFUXPTJEFTTPGUXBSFUFTUJOHDIFDLJOHBOEFYQMPSJOH
6. 5IF
   5XP
   4JEFT
   PG
   4PGUXBSF
   5FTUJOH
   $IFDLJOH
   BOE
   &YQMPSJOH 5FTUJOH
   
   $IFDLJOH
   
   &YQMPSJOH IUUQTXXXBHJMFDPOOFDUJPODPNBSUJDMFUXPTJEFTTPGUXBSFUFTUJOHDIFDLJOHBOEFYQMPSJOH
7. ιϑτ΢ΣΞ։ൃ͸ະ஌ͱط஌ͷਞऔΓ߹ઓ 5FTUJOH
   
   $IFDLJOH
   
   &YQMPSJOH IUUQTXXXBHJMFDPOOFDUJPODPNBSUJDMFUXPTJEFTTPGUXBSFUFTUJOHDIFDLJOHBOEFYQMPSJOH ,OPXO
   LOPXO
   ˠ
   ,OPXO
   LOPXO
8. ιϑτ΢ΣΞ։ൃ͸ະ஌ͱط஌ͷਞऔΓ߹ઓ 5FTUJOH
   
   $IFDLJOH
   
   &YQMPSJOH IUUQTXXXBHJMFDPOOFDUJPODPNBSUJDMFUXPTJEFTTPGUXBSFUFTUJOHDIFDLJOHBOEFYQMPSJOH ,OPXO
   VOLOPXO
   ˠ
   ,OPXO
   LOPXO
9. ࣗ෼͕஌Βͳ͍΋ͷΛ୳ࡧʢ&YQMPSFʣͰ͖Δ͔ ͋ͳ͕ͨίʔυΛهड़͠ɺςετΛهड़͢Δͱ͍͏৔߹ɺͦͷ૒ํʹޡͬͨԾఆ͕ ·͗Ε͜ΜͰ͠·Θͳ͍ͷͰ͠ΐ͏͔
   ͋ͳͨͷཧղʹج͍ͮͯ΋ͷ͝ͱ͕ਐΉҎ্ɺίʔυ͸ςετΛύε͢Δ͸ͣͰ͢ɻ ʰୡਓϓϩάϥϚʔ
   ୈ൛ʱQQ IUUQTXXXPINTIBDPKQCPPL
10. ࣗ෼͕஌Βͳ͍΋ͷΛ୳ࡧʢ&YQMPSFʣͰ͖Δ͔ 5FTUJOH
    
    $IFDLJOH
    
    &YQMPSJOH IUUQTXXXBHJMFDPOOFDUJPODPNBSUJDMFUXPTJEFTTPGUXBSFUFTUJOHDIFDLJOHBOEFYQMPSJOH ͩΕ͕΍Δ
11. ୳ࡧతςετ
    ະ஌͔Βط஌΁ 63- IUUQTQSBHQSPHDPNUJUMFTFIYUBFYQMPSFJU
12. ͔͠͠ʜʜ
13. ෼ۀ͢ΔͱࣦΘΕΔ΋ͷ͕͋Δ ͜ͷ໰୊Λճආ͢Δͭͷํ๏͸ɺผͷਓʹςετΛهड़ͯ͠΋Βͬͯίʔυͷςε τΛ࣮ࢪ͢Δͱ͍͏΋ͷͰ͕͢ɺզʑ͸͜ͷํ๏Λ޷·͍͠ͱߟ͍͑ͯ·ͤΜɻ
    ͱ͍͏ͷ΋ɺʮίʔυͷͨΊͷςετʯͰॻ͍ͨΑ͏ʹɺςετʹ͍ͭͯߟ͑Δ͜ͱ Ͱɺهड़͢Δίʔυ͕ద੾ͳ΋ͷʹͳ͍ͬͯ͘ͱ͍͏େ͖ͳར఺͕͋ΔͨΊͰ͢ɻ
    ςετͱίʔσΟϯάΛ෼ׂͯ͠͠·͑͹ɺ͜ͷར఺͕ࣦΘΕͯ͠·͏ͷͰ͢ɻ ʰୡਓϓϩάϥϚʔ
    ୈ൛ʱQ IUUQTXXXPINTIBDPKQCPPL
14. ෼ۀ͢ΔͱࣦΘΕΔ΋ͷ͕͋Δ IUUQTXXXBNB[PODPKQEQ ։ൃऀ͕ςετͷ࡞੒ɾ؅ཧʹؔ༩͢ΔͱɺͭͷॏཁͳޮՌ͕ੜ͡Δ
     ։ൃऀ͕ςετΛ࡞੒͢Δͱίʔυ͕ΑΓςετՄೳͳ΋ͷʹͳΔ
     ࣗಈςετʹର͢Δ੹೚Λ։ൃऀ͕ෛ͏ͱɺςετʹର͢Δҙ͕ࣝߴ·Γɺ ͦͷ؅ཧ΍मਖ਼ʹΑΓ஫ྗ͢Δ͜ͱʹͳΔ ʰ-FBOͱ%FW0QTͷՊֶʱ
    Qʢ˞༁ΛҰ෦มߋʣ
15. ͦ͜Ͱ
    1SPQFSUZCBTFE
    5FTUJOH
    Ͱ͢Α ͦ͏Ͱ͸ͳ͘զʑ͸ɺ͋ͳͨͷ๊͘༧૝Λڞ༗͍ͯ͠ͳ͍ίϯ ϐϡʔλʔ͕ɺ͋ͳͨͷͨΊʹςετΛ࣮ࢪ͢Δͱ͍͏୅ସ͕ ద੾ͩͱߟ͍͑ͯ·͢ɻ ʰୡਓϓϩάϥϚʔ
    ୈ൛ʱQ IUUQTXXXPINTIBDPKQCPPL
16. 1SPQFSUZCBTFE
    5FTUJOH
    ͷҐஔ෇͚ʢࢲݟʣ IUUQTXXXPINTIBDPKQCPPL
17. 1#5
    ͱ
    &#5ʢ&YBNQMFCBTFE
    5FTUJOHʣ
    ͸૬ޓิ׬ͷؔ܎ ϓϩύςΟʔϕʔεͷςετ͸ɺෆมੑͱܖ໿ͱ͍͏؍఺͔Βίʔυʹ͍ͭͯߟ͑ͤͯ͘͞ΕΔ ͷͰ͢ɻͭ·Γɺมߋͯ͠͸͍͚ͳ͍΋ͷ͸Կ͔ͱɺຊ౰ͷ΋ͷ͸Կ͔ͱ͍͏͜ͱΛߟ͑ͤͯ͞ ͘ΕΔΘ͚Ͱ͢ɻ͜͏͍ͬͨಎ࡯ΛՃ͑Δ͜ͱͰɺίʔυʹຐ๏͕͔͔Γɺڥք৚݅ͷᐆດ͕͞ ফ͑ڈΓɺ੔߹ੑͷͳ͍ঢ়ଶʹσʔλΛஔ͘ػೳʹޫ͕౰ͨΔͷͰ͢ɻ
    զʑ͸ϓϩύςΟʔϕʔεͷςετ͕ϢχοτςετΛิ׬͢Δ΋ͷͩͱ֬৴͍ͯ͠·͢ɻϓϩ ύςΟʔϕʔεͷςετ͸͞·͟·ͳݒ೦ʹऔΓ૊ΈɺͦΕͧΕݻ༗ͷར఺Λ΋ͨΒͯ͘͠ΕΔ ͷͰ͢ɻ ʰୡਓϓϩάϥϚʔ
    ୈ൛ʱQ IUUQTXXXPINTIBDPKQCPPL
18. ZNPUPOHQPP͞Μੌ͍ʢϤΠγϣʣ ,OPXO
    VOLOPXO
    ʹ
    Ξϓϩʔν͢Δख๏ 6OLOPXO
    VOLOPXO
    ʹ
    Ξϓϩʔν͢Δख๏
19. ͝ਗ਼ௌ͋Γ͕ͱ͏͍͟͝·ͨ͠ ςετઓུ@ fi OEZ