Upgrade to Pro — share decks privately, control downloads, hide ads and more …

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

Avatar for Takuto Wada Takuto Wada
PRO
December 20, 2023
Programming
11
6.8k

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

2023/12/20(水)
https://findy.connpass.com/event/303813/
Avatar for Takuto Wada

Takuto Wada
PRO

December 20, 2023
Tweet

More Decks by Takuto Wada

See All by Takuto Wada
The Clean ArchitectureがWebフロントエンドでしっくりこないのは何故か / Why The Clean Architecture does not fit with Web Frontend
Avatar for Takuto Wada twada
PRO
79
28k
組織に自動テストを書く文化を根付かせる戦略（2024冬版） / Building Automated Test Culture 2024 Winter Edition
Avatar for Takuto Wada twada
PRO
32
10k
ピラミッド、アイスクリームコーン、SMURF: 自動テストの最適バランスを求めて / Pyramid Ice-Cream-Cone and SMURF
Avatar for Takuto Wada twada
PRO
10
2k
組織に自動テストを書く文化を根付かせる戦略（2024秋版） / Building Automated Test Culture 2024 Autumn Edition
Avatar for Takuto Wada twada
PRO
14
6.6k
これまでと違う学び方をしたら挫折せずにRustを学べた話 / Programming Rust techramen24conf LT
Avatar for Takuto Wada twada
PRO
32
28k
開発生産性の観点から考える自動テスト（2024/06版） / Automated Test Knowledge from Savanna 202406 Findy dev-prod-con edition
Avatar for Takuto Wada twada
PRO
36
26k
自動テスト実行結果の目的を整理する / Organizing objectives of automated test results
Avatar for Takuto Wada twada
PRO
14
3.3k
変更容易性と理解容易性を支える自動テスト（2024/02版） / Automated Test Knowledge from Savanna 202402 YAPC::Hiroshima edition
Avatar for Takuto Wada twada
PRO
22
14k
実録レガシーコード改善 / Working with Legacy Code: the True Record
Avatar for Takuto Wada twada
PRO
111
52k

Other Decks in Programming

See All in Programming
Storybookの情報をMCPサーバー化する
Avatar for Shota Iwamatsu shota_tech
3
1.2k
Rubyの!メソッドをちゃんと理解する
Avatar for Yuto Urushima alstrocrack
1
310
Носок на сок
Avatar for Bo0oM bo0om
0
1.3k
リアーキテクチャの現場で向き合う 既存サービスの読み解きと設計判断
Avatar for ymiyamu ymiyamu
0
130
インプロセスQAにおいて大事にしていること / In-process QA Meetup
Avatar for MEDLEY, INC. medley
0
170
flutter_kaigi_mini_4.pdf
Avatar for Hiroki Nobuta nobu74658
0
150
読書シェア会 vol.4 『ダイナミックリチーミング 第2版』
Avatar for Kotaro Kamashima kotaro666
0
110
LRパーサーはいいぞ
Avatar for ydah ydah
7
1.4k
知識0からカンファレンスやってみたらこうなった！
Avatar for syossan27 syossan27
5
270
ウォンテッドリーの「ココロオドル」モバイル開発 / Wantedly's "kokoro odoru" mobile development
Avatar for Masatoshi Kubode kubode
2
600
Road to Ruby for A Linguistics Nerd
Avatar for Hayato Ishida hayat01sh1da
PRO
0
310
実践Webフロントパフォーマンスチューニング
Avatar for しーぴー cp20
45
10k

Featured

See All Featured
Dealing with People You Can't Stand - Big Design 2015
Avatar for Cassini Nazir cassininazir
367
26k
Rebuilding a faster, lazier Slack
Avatar for samanthasiow samanthasiow
81
9k
Docker and Python
Avatar for Tania Allard trallard
44
3.4k
Building an army of robots
Avatar for Kyle Neath kneath
305
45k
How to Ace a Technical Interview
Avatar for Jacob Kaplan-Moss jacobian
276
23k
Fashionably flexible responsive web design (full day workshop)
Avatar for Andy Clarke malarkey
407
66k
Evolution of real-time – Irina Nazarova, EuRuKo, 2024
Avatar for Irina Nazarova irinanazarova
8
700
Product Roadmaps are Hard
Avatar for C. Todd Lombardo iamctodd
PRO
53
11k
[Rails World 2023 - Day 1 Closing Keynote] - The Magic of Rails
Avatar for Eileen M. Uchitelle eileencodes
34
2.2k
Building a Scalable Design System with Sketch
Avatar for Laura Van Doore lauravandoore
462
33k
The Cost Of JavaScript in 2023
Avatar for Addy Osmani addyosmani
49
7.8k
10 Git Anti Patterns You Should be Aware of
Avatar for Lemi Orhan Ergin lemiorhan
PRO
656
60k

Transcript

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

  2. ,OPXOLOPXO LOPXOVOLOPXO VOLOPXOVOLOPXO IUUQTQPTUTUBUVTDPNLOPXOLOPXOTLOPXOVOLOPXOTBOEVOLOPXOVOLOPXOT

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

  4. 5FTUJOHWT$IFDLJOH IUUQXXXEFWFMPQTFOTFDPNCMPHUFTUJOHWTDIFDLJOH

  5. 5IF5XP4JEFTPG4PGUXBSF5FTUJOH$IFDLJOHBOE&YQMPSJOH IUUQTXXXBHJMFDPOOFDUJPODPNBSUJDMFUXPTJEFTTPGUXBSFUFTUJOHDIFDLJOHBOEFYQMPSJOH

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

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

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

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

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

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

  12. ͔͠͠ʜʜ

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

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

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

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

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

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

  19. ͝ਗ਼ௌ͋Γ͕ͱ͏͍͟͝·ͨ͠ ςετઓུ@ fi OEZ

OSZAR »