Introduction to fast-check

Lightning talk on fast-check, a javascript/typescript library for property based testing.

Transcript

1. fast-check When you really need to get your code right @jovaneyck@mastodon.social
5. https://en.wikipedia.org/wiki/Hoare_logic
6. https://en.wikipedia.org/wiki/Hoare_logic
7. Program verification spectrum
8. Program verification spectrum
9. https://dubzzz.github.io/fast-check.github.com/
12. https://labs.spotify.com/2015/06/25/rapid-check/
13. https://jessitron.com/2013/04/25/property-based-testing-what-is-it/ “See how much thought goes into a property-based test? and this is a simple specification! I don’t recommend writing these for all your code – only the really important stuff.”
14. https://jessitron.com/2013/04/25/property-based-testing-what-is-it/ “See how much thought goes into a property-based test? and this is a simple specification! I don’t recommend writing these for all your code – only the really important stuff.” “Property-based tests are best combined with example-based tests. Examples help you start organizing your thoughts, and they’re easier for future-you to read and understand when you come back to this code later. Humans think in examples. Programs don’t extrapolate. Property-based thinking and property-based testing can bridge between us and the computer. Math, it’s a tool.”
15. DIY @ TD 8/12/2022
16. https://bit.ly/fastcheck-lightningtalk • https://dubzzz.github.io/fast-check.github.com/ • https://github.com/dubzzz/fast-check