Build bravely: Delivering risky projects

on YouTube ↗12m

" summary

Ambitious projects get saved by concrete specs and executable checks not vague examples The session shows how RFC 2119 requirement language combines with QuickCheck style property based testing to create compact executable specs that run thousands of simulated universes and catch regressions early A cited study of 400 Python projects finds property tests are 50× more effective than standard integration suites Examples include service mesh and distributed database scenarios, plus notes on using these specs with LLMs

AI-written summary · about

" chapters (6)

1. 0:00Build bravely intro
2. 1:57Why plans fail
3. 3:01Problem with specs
4. 6:36RFC 2119 specs
5. 9:07Property-based testing
6. 10:54Call to action

" related talks

• 47mTesting the Hard Stuff and Staying SaneJohn Hughes · Clojure/West 2014
• 37mSensible TestingJustin Leitgeb · GoRuCo 2012
• 51mProperty-Based TestingLucy Mair · NDC London 2023
• 01h 06mBeyond Test Driven DevelopmentBurk Hufnagel · Connect.Tech 2022
• 36mProperty Based Testing: From Theory to PracticeNicolas Dubien · Best of Web 2019
• 41mWriting bulletproof code with property-based testingSergio Sastre Flórez · droidcon Berlin 2022
• 45mProperty based tests for the massesRomeu Moura · Code Mesh LDN 2018
• 42mSurprise yourself with Property Based TestingMartin Hellspong · Øredev 2023