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

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

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

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

Avatar for Pierre GOUDJO

Pierre GOUDJO

January 20, 2022
Tweet

More Decks by Pierre GOUDJO

See All by Pierre GOUDJO
Simplicity matters
Avatar for Pierre GOUDJO pierregoudjo
0
59
Always available workspaces: Dotfiles, Github and other shenanigans
Avatar for Pierre GOUDJO pierregoudjo
0
48
Amazon Virtual Private Cloud
Avatar for Pierre GOUDJO pierregoudjo
0
72
Service Discovery: Fundamentals
Avatar for Pierre GOUDJO pierregoudjo
0
78
Relational Databases on AWS: Amazon RDS and Aurora
Avatar for Pierre GOUDJO pierregoudjo
0
95
Object storage: An exploration of AWS S3
Avatar for Pierre GOUDJO pierregoudjo
0
60
Load Balancing: A strategy for scalable internet applications
Avatar for Pierre GOUDJO pierregoudjo
0
88
Boring Technologies
Avatar for Pierre GOUDJO pierregoudjo
0
50
CDN: Caching and edge computing on AWS
Avatar for Pierre GOUDJO pierregoudjo
0
59

Other Decks in Programming

See All in Programming
機能追加とリーダー業務の類似性
Avatar for Rinchoku rinchoku
2
1.3k
MCPとデザインシステムに立脚したデザインと実装の融合
Avatar for Yuku Kotani yukukotani
4
1.4k
@Environment(\.keyPath)那么好我不允许你们不知道！ / atEnvironment keyPath is so good and you should know it!
Avatar for Elvis Shi lovee
0
120
奥深くて厄介な「改行」と仲良くなる20分
Avatar for おぐえもん oguemon
1
520
Cache Me If You Can
Avatar for RyuNen344 ryunen344
2
680
Deep Dive into Kotlin Flow
Avatar for Matsuda Jumpei jmatsu
1
310
AIと私たちの学習の変化を考える - Claude Codeの学習モードを例に
Avatar for azukiazusa azukiazusa1
10
3.8k
Android 16 × Jetpack Composeで縦書きテキストエディタを作ろう / Vertical Text Editor with Compose on Android 16
Avatar for cc4966 cc4966
1
190
開発チーム・開発組織の設計改善スキルの向上
Avatar for 増田 亨 masuda220
PRO
20
11k
AIを活用し、今後に備えるための技術知識 / Basic Knowledge to Utilize AI
Avatar for Naoki Kishida kishida
22
5.7k
rage against annotate_predecessor
Avatar for Junichi Kobayashi junk0612
0
170
アルテニア コンサル／ＩＴエンジニア向け 採用ピッチ資料
Avatar for ALTENIR altenir
0
100

Featured

See All Featured
Easily Structure & Communicate Ideas using Wireframe
Avatar for Afnizar Nur Ghifari afnizarnur
194
16k
Building a Modern Day 
E-commerce SEO Strategy
Avatar for Aleyda Solis aleyda
43
7.6k
Designing Experiences People Love
Avatar for Jonathan Moore moore
142
24k
Fashionably flexible responsive web design (full day workshop)
Avatar for Andy Clarke malarkey
407
66k
Embracing the Ebb and Flow
Avatar for Simon Collison colly
87
4.8k
Producing Creativity
Avatar for Steve Smith orderedlist
PRO
347
40k
Code Reviewing Like a Champion
Avatar for maltzj maltzj
525
40k
Making Projects Easy
Avatar for Brett Harned brettharned
117
6.4k
How to Ace a Technical Interview
Avatar for Jacob Kaplan-Moss jacobian
279
23k
Into the Great Unknown - MozCon
Avatar for Noah Learner thekraken
40
2k
Measuring & Analyzing Core Web Vitals
Avatar for Philip Tellis bluesmoon
9
580
Designing for humans not robots
Avatar for Tammie Lister tammielis
253
25k

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