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
Tool Catalog Agent for Bedrock AgentCore Gateway
Avatar for matsukada licux
7
2.5k
Compose Multiplatform × AI で作る、次世代アプリ開発支援ツールの設計と実装
Avatar for Takeshi Hagikura thagikura
0
170
Zendeskのチケットを Amazon Bedrockで 解析した
Avatar for ryokosuge ryokosuge
3
320
テストカバレッジ100%を10年続けて得られた学びと品質
Avatar for もっち mottyzzz
2
610
How Android Uses Data Structures Behind The Scenes
Avatar for HyunWoo Lee l2hyunwoo
0
480
The Past, Present, and Future of Enterprise Java
Avatar for ivargrimstad ivargrimstad
0
410
Azure SRE Agentで運用は楽になるのか？
Avatar for KAMEGAWA Kazushi kkamegawa
0
2.5k
パッケージ設計の黒魔術/Kyoto.go#63
Avatar for kadota kyohei lufia
3
440
「待たせ上手」なスケルトンスクリーン、 そのUXの裏側
Avatar for teamLab teamlab
PRO
0
570
Cache Me If You Can
Avatar for RyuNen344 ryunen344
2
3.1k
Testing Trophyは叫ばない
Avatar for toms toms74209200
0
890
はじめてのMaterial3 Expressive
Avatar for yume ym223
2
900

Featured

See All Featured
Become a Pro
Avatar for Speaker Deck speakerdeck
PRO
29
5.5k
Dealing with People You Can't Stand - Big Design 2015
Avatar for Cassini Nazir cassininazir
367
27k
How to Ace a Technical Interview
Avatar for Jacob Kaplan-Moss jacobian
279
23k
GitHub's CSS Performance
Avatar for Jon Rohan jonrohan
1032
460k
個人開発の失敗を避けるイケてる考え方 / tips for indie hackers
Avatar for panda_program panda_program
113
20k
Writing Fast Ruby
Avatar for Erik Berlin sferik
628
62k
The Straight Up "How To Draw Better" Workshop
Avatar for Dennis Kardys denniskardys
236
140k
Fight the Zombie Pattern Library - RWD Summit 2016
Avatar for Marcelo Somers marcelosomers
234
17k
RailsConf 2023
Avatar for Aaron Patterson tenderlove
30
1.2k
Optimizing for Happiness
Avatar for Tom Preston-Werner mojombo
379
70k
How to train your dragon (web standard)
Avatar for Monica Dinculescu notwaldorf
96
6.2k
For a Future-Friendly Web
Avatar for Brad Frost brad_frost
180
9.9k

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