~/talk

Property-Based Testing

Talkat NDC London 2023 · 2023-01-23..01-27· [testing, developer-experience]
name:Lucy Mair
links:none on file
slides:none on file

Introduces property-based testing with concrete results: uses FSCheck (and Fast-check for JS) to run ~100 generated cases, finds real bugs and then shrinking reduces failures to minimal inputs. Shows specific properties like reverse twice equals original, tests randomness by reassembling removed items, verifies sort order pairwise, and checks serializer ↔ deserializer roundtrips. Reports corporate adoption (search found 74 then 129 references), notes tests run ~10–50x slower but still milliseconds, and demonstrates catching issues standard examples miss.

AI-written summary · about

  1. 0:00Start
  2. 1:46Conclusion
  3. 24:29You have forward and reverse functions
  4. 28:03Property-based testing in the wild
  5. 37:23Are there any performance implications?
~/search
type to search 6,249 conferences, 138,987 speakers and 185,172 talks
~/help
cmdctrl k
search every conference, speaker and series
/
focus the filter search
h
home
c
conferences
s
speakers
e
series
t
light / dark — the status bar button does the same
?
this help
esc
close this, then clear every filter — or just the search, while you are typing in it

Ignored while you are typing. Pages without a filter rail have no search to focus.