Upgrade to Pro — share decks privately, control downloads, hide ads and more …
Sign up for free

Property-based testing: The lazy programmer's g...

Avatar for Pierre GOUDJO Pierre GOUDJO
January 20, 2022
Programming
130
0

Property-based testing: The lazy programmer's guide to writing thousands of tests

Avatar for Pierre GOUDJO

Pierre GOUDJO

January 20, 2022

More Decks by Pierre GOUDJO

See All by Pierre GOUDJO
Simplicity matters
Avatar for Pierre GOUDJO pierregoudjo
0
84
Always available workspaces: Dotfiles, Github and other shenanigans
Avatar for Pierre GOUDJO pierregoudjo
0
67
Amazon Virtual Private Cloud
Avatar for Pierre GOUDJO pierregoudjo
0
91
Service Discovery: Fundamentals
Avatar for Pierre GOUDJO pierregoudjo
0
89
Relational Databases on AWS: Amazon RDS and Aurora
Avatar for Pierre GOUDJO pierregoudjo
0
120
Object storage: An exploration of AWS S3
Avatar for Pierre GOUDJO pierregoudjo
0
81
Load Balancing: A strategy for scalable internet applications
Avatar for Pierre GOUDJO pierregoudjo
0
100
Boring Technologies
Avatar for Pierre GOUDJO pierregoudjo
0
66
CDN: Caching and edge computing on AWS
Avatar for Pierre GOUDJO pierregoudjo
0
73

Other Decks in Programming

See All in Programming
Augmenting AI with the Power of Jakarta EE
Avatar for ivargrimstad ivargrimstad
0
350
Embedded Swiftで作る自作USBデバイス によるiOSデバイスの自動テスト / iOSDC Japan 2026 glassfiber
Avatar for glassfiber glassfiber
0
110
手動確認はもう限界 〜XCUITestでCustom URL Schemeの遷移を起動種別ごとに自動テストする〜 / Testing Custom URL Schemes with XCUITest
Avatar for otouto otouto
0
360
速習iPhone Duo対応
Avatar for 野瀬田　裕樹 yuukiw00w
2
910
UnityでSystem.Net.WebSocketsなWebSocketサーバが動かないのでUnity Monoのコードを覗いてみた / about implementing websocket server with unity mono
Avatar for にー兄さん drumath2237
1
500
標準パッケージに uuid が追加された 背景から見る Go らしい意思決定 / go_127_uuid_decision
Avatar for convto convto
5
9.2k
コードレビューのボトルネックを"する側"と"される側"の両面から解消する
Avatar for yub0n yub0n
1
660
[Rails World 2026] Durable orchestration on Rails: from continuation to workflow
Avatar for Vladimir Dementyev palkan
1
390
Vue Fes Japan 2026 タイムテーブル徹底解説
Avatar for 448jp | OKI Yoshiya 448jp
1
570
Apple Intelligence を用いた個人情報誤送信防止、及びユーザーリクエスト体験の改善について
Avatar for Yuki Kuwashima yukiny
0
250
Webの地図
Avatar for Yosuke Furukawa yosuke_furukawa
PRO
6
5k
UPDATE をやめる — EF Core でマスタをバージョン管理する
Avatar for HideyukiKitao panda728
PRO
0
1k

Featured

See All Featured
My Coaching Mixtape
Avatar for mlcsv mlcsv
0
330
Evolution of real-time – Irina Nazarova, EuRuKo, 2024
Avatar for Irina Nazarova irinanazarova
9
1.6k
Why You Should Never Use an ORM
Avatar for John Nunemaker jnunemaker
PRO
61
10k
For a Future-Friendly Web
Avatar for Brad Frost brad_frost
183
10k
VelocityConf: Rendering Performance Case Studies
Avatar for Addy Osmani addyosmani
331
25k
How to Ace a Technical Interview
Avatar for Jacob Kaplan-Moss jacobian
280
24k
Large-scale JavaScript Application Architecture
Avatar for Addy Osmani addyosmani
515
110k
The untapped power of vector embeddings
Avatar for Frank van Dijk frankvandijk
2
1.9k
Darren the Foodie - Storyboard
Avatar for Kevinho.art khoart
PRO
4
4k
We Are The Robots
Avatar for Honza Javorek honzajavorek
0
380
The Pragmatic Product Professional
Avatar for Laura Van Doore lauravandoore
37
7.5k
Evolving SEO for Evolving Search Engines
Avatar for Ryan Jones ryanjones
0
300

Transcript

  1. Pierre Goudjo Property-based testing The lazy programmer's guide to writing

    thousands of tests

  2. “Real-life” Scenario

  3. None
  4. None
  5. None
  6. None
  7. None
  8. None
  9. None
  10. None
  11. None
  12. None
  13. None
  14. None
  15. None
  16. None
  17. None
  18. None
  19. None
  20. None
  21. None
  22. None
  23. None
  24. None
  25. None

  26. Solution

  27. What’s an addition?

  28. None
  29. None

  30. Properties Addition • Associativity: x+(y+z) = (x+y)+z • Commutativity: x

    + y = y + x • Identity Element: x+0 = x

  31. This is property-based testing

  32. for any (x, y, …) such as precondition(x, y, …)

    holds property(x, y, …) is true

  33. Let’s implement this!!!!

  34. Is it useful?

  35. Avg • for any number (a and b ) •

    such a <= b • a <= avg(a, b) and avg(a, b) <= b • for any number (a and b ) • such a <= b • avg(a, b) == avg(a, b)

  36. Zip/Unzip • for any string (x) • such as x

    not “” • unzip(zip(x)) == x is true