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

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

Cc95ef8bf38403916f40854c4ede4853?s=47 Pierre GOUDJO
January 20, 2022
Programming
0
36

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

Cc95ef8bf38403916f40854c4ede4853?s=128

Pierre GOUDJO

January 20, 2022
Tweet

More Decks by Pierre GOUDJO

See All by Pierre GOUDJO
Simplicity matters
Cc95ef8bf38403916f40854c4ede4853?s=48 pierregoudjo
0
3
Always available workspaces: Dotfiles, Github and other shenanigans
Cc95ef8bf38403916f40854c4ede4853?s=48 pierregoudjo
0
17
Amazon Virtual Private Cloud
Cc95ef8bf38403916f40854c4ede4853?s=48 pierregoudjo
0
27
Service Discovery: Fundamentals
Cc95ef8bf38403916f40854c4ede4853?s=48 pierregoudjo
0
21
Relational Databases on AWS: Amazon RDS and Aurora
Cc95ef8bf38403916f40854c4ede4853?s=48 pierregoudjo
0
22
Object storage: An exploration of AWS S3
Cc95ef8bf38403916f40854c4ede4853?s=48 pierregoudjo
0
15
Load Balancing: A strategy for scalable internet applications
Cc95ef8bf38403916f40854c4ede4853?s=48 pierregoudjo
0
23
Boring Technologies
Cc95ef8bf38403916f40854c4ede4853?s=48 pierregoudjo
0
19
CDN: Caching and edge computing on AWS
Cc95ef8bf38403916f40854c4ede4853?s=48 pierregoudjo
0
19

Other Decks in Programming

See All in Programming
ES2022の新機能
A3efba75cfbb0b7d5248eb74d1d29d79?s=48 smt7174
0
270
React Nativeアプリを DDDで開発している話
27bfff305e8067f0fa075a997ca54923?s=48 nihemak
0
150
Reactは何を提供するLibraryなのか？
2801ae8fb5381bcd119805124a5eeaf2?s=48 taro28
3
500
クックパッドマートの失敗したデータ設計 Before / After 大放出
0be62f7ac4cc32f37f02a98aaeb86f5f?s=48 mokuzon
0
180
Angular-basierte Micro Frontends mit Module Federation @API Summit
15934fa2aa7b2ce21f091e9b7cffa856?s=48 manfredsteyer
PRO
0
110
Reactive Java Microservices on Kubernetes with Spring and JHipster
7f408bc67dc9ae3b288ee92d16d3c4c2?s=48 deepu105
1
170
CSE360 Tutorial 07
B546a9b97d993392e4b22b74b99b91fe?s=48 javiergs
PRO
0
100
社用PCのdotfiles管理 / dotfiles-in-company
8c653f1257636312a8e88612ccb27718?s=48 yammerjp
0
140
Android Compose Component - mapping.
7589a5a8fec022e8af4e46525150a291?s=48 taehwandev
0
140
Java アプリとAWS の良い関係 - AWS でJava アプリを実行する一番簡単な方法教えます / AWS for Javarista
1370bcc20551cb822f51b212201de303?s=48 kanamasa
2
1.3k
Let's keep Commodore 64 alive for the next 40 years
85977ebfe59c2ee669f2196930f1a701?s=48 mehowte
1
110
競プロのすすめ
3a10a8f9ae25b2eb5bf3579dd3141dd8?s=48 uya116
0
680

Featured

See All Featured
The Brand Is Dead. Long Live the Brand.
A415db3ac9e9668acbc1fb36eead84ac?s=48 mthomps
46
2.7k
KATA
E9221b172e78e888355fa2fe4541b595?s=48 mclloyd
7
8.7k
From Idea to $5000 a Month in 5 Months
E4f5d494ebdc9e7cce1aecf3ce3e8bc1?s=48 shpigford
373
44k
Gamification - CAS2011
4394ceb8b277f35ee3da7030384efb5d?s=48 davidbonilla
75
3.9k
Refactoring Trust on Your Teams (GOTO; Chicago 2020)
A9a491b0fcbe0fbce3d64063a37add99?s=48 rmw
19
1.4k
How to name files
0a4f62e90c976eeb44d33add75cca5af?s=48 jennybc
40
61k
Building a Scalable Design System with Sketch
1177e050db6bafe62885362edf6e3537?s=48 lauravandoore
448
30k
Design and Strategy: How to Deal with People Who Don’t "Get" Design
95d9f37115fbb0d13135d0f77132f856?s=48 morganepeng
105
16k
The Invisible Side of Design
B3d6434763caa0ef5dc4b792662c49f7?s=48 smashingmag
290
48k
Fight the Zombie Pattern Library - RWD Summit 2016
9fa239b3154a0169d99ab7bf1422dd12?s=48 marcelosomers
226
15k
Stop Working from a Prison Cell
C1daf20e5c49ff910745198ef9869ac2?s=48 hatefulcrawdad
261
17k
Cheating the UX When There Is Nothing More to Optimize - PixelPioneers
F383c6a4dc55e331bbe2987b622cee6b?s=48 stephaniewalter
269
11k

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