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

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

Sponsored · Ship Features Fearlessly Turn features on and off without deploys. Used by thousands of Ruby developers. →
Avatar for Pierre GOUDJO Pierre GOUDJO
January 20, 2022
Programming
110
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
79
Always available workspaces: Dotfiles, Github and other shenanigans
Avatar for Pierre GOUDJO pierregoudjo
0
60
Amazon Virtual Private Cloud
Avatar for Pierre GOUDJO pierregoudjo
0
87
Service Discovery: Fundamentals
Avatar for Pierre GOUDJO pierregoudjo
0
87
Relational Databases on AWS: Amazon RDS and Aurora
Avatar for Pierre GOUDJO pierregoudjo
0
110
Object storage: An exploration of AWS S3
Avatar for Pierre GOUDJO pierregoudjo
0
77
Load Balancing: A strategy for scalable internet applications
Avatar for Pierre GOUDJO pierregoudjo
0
100
Boring Technologies
Avatar for Pierre GOUDJO pierregoudjo
0
64
CDN: Caching and edge computing on AWS
Avatar for Pierre GOUDJO pierregoudjo
0
65

Other Decks in Programming

See All in Programming
依存関係から依存物へ―Dependencyという言葉の歴史をひも解く
Avatar for j_lee_inst j_lee
0
120
軽量Java基盤の設計 DIコンテナに頼らない、長期保守と1秒起動の実現 JJUG CCC 2026 Spring
Avatar for Masaaki Takahashi macha64
0
510
Datadog × OpenTelemetry 入門と実践のあいだ
Avatar for Max Kento kn_to_maxpno
1
150
TypeScript+Orvalで実現する型安全かつ堅牢でスケーラブルなマルチチャネル通知基盤 / TSKaigi Night talks ~after conference~
Avatar for doriven d0riven
0
330
Vite+ Unified Toolchain for the Web
Avatar for Naoki Haba naokihaba
0
290
AI 時代のソフトウェア設計の学び方
Avatar for 増田 亨 masuda220
PRO
29
12k
A2UI という光を覗いてみる
Avatar for SatohJohn satohjohn
1
130
例外の正しい扱い方 そのエラー try-catchして大丈夫？
Avatar for Watanabe Jin jinwatanabe
0
230
AI時代の仕事技芸論 — ソフトウェア開発で「遊ぶように働く」職人的熟達のすすめ
Avatar for Yoshihito Kuranuki / 倉貫義人 kuranuki
2
670
ローカルLLMを使ってB2Bサービスを作っていての学び
Avatar for Hiroshige Umino yaotti
0
170
Lessons from Spec-Driven Development
Avatar for Simon Martinelli simas
PRO
0
190
IBM Bobを活用したレガシーアプリの最新化
Avatar for Akira Onishi (IBM) oniak3ibm
PRO
1
190

Featured

See All Featured
svc-hook: hooking system calls on ARM64 by binary rewriting
Avatar for Akira Moroo retrage
2
300
The Mindset for Success: Future Career Progression
Avatar for Greg Gifford greggifford
PRO
0
360
How to Build an AI Search Optimization Roadmap - Criteria and Steps to Take #SEOIRL
Avatar for Aleyda Solis aleyda
1
2.1k
Six Lessons from altMBA
Avatar for Skipper Chong Warson skipperchong
29
4.3k
I Don’t Have Time: Getting Over the Fear to Launch Your Podcast
Avatar for Joe Casabona jcasabona
34
2.8k
Thoughts on Productivity
Avatar for Jon Yablonski jonyablonski
76
5.2k
Impact Scores and Hybrid Strategies: The future of link building
Avatar for Tamara Novitovic tamaranovitovic
0
310
The Organizational Zoo: Understanding Human Behavior Agility Through Metaphoric Constructive Conversations (based on the works of Arthur Shelley, Ph.D)
Avatar for Dr. Kim W Petersen kimpetersen
PRO
0
360
ピンチをチャンスに：未来をつくるプロダクトロードマップ #pmconf2020
Avatar for Aki / @LoveIdahoBurger aki_iinuma
128
56k
Un-Boring Meetings
Avatar for Sebastian Deterding codingconduct
0
310
Leading Effective Engineering Teams in the AI Era
Avatar for Addy Osmani addyosmani
9
2k
Beyond borders and beyond the search box: How to win the global "messy middle" with AI-driven SEO
Avatar for David Carrasco davidcarrasco
3
160

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