Code for Thought
Welcome to Code for Thought, the community podcast for researchers who code and research software engineers. Languages: English, German, French
Code for Thought
[EN] ByteSized RSE: Property Based Testing - Duncan McGregor and Nicholas del Grosso
•
Peter Schmidt
•
Season 7
•
Episode 20
Property based testing can help you make your tests more effective and your code more robust. Together with my guests Duncan McGregor and Nicholas del Grosso we talk about what property based testing is and in particular go into one widely used implementation for Python - the Hypothesis library.
Here are a few links:
- https://increment.com/testing/in-praise-of-property-based-testing/ from David MacIver (creator of hypothesis) about the benefits of property based testing
- https://hypothesis.works/articles/what-is-property-based-testing/ explaining what property based testing is
- https://www.inspiredpython.com/course/testing-with-hypothesis/testing-your-python-code-with-hypothesis Testing your code with Hypothesis
- https://reiddraper.com/writing-simple-check/ Reid Draper (QuickCheck) on shrinking
- https://hackage.haskell.org/package/QuickCheck-1.0 the QuickCheck tool
- https://hypothesis.works/articles/how-many-tests/ How many tests is hypothesis running?
- https://hypothesis.works/articles/quickcheck-in-every-language/ property based testing in other languages (a bit outdated - it's from 2016)
- https://hypothesis.works/articles/integrated-shrinking/ David MacIver on how he implemented shrinking in Hypothesis
- https://hypothesis.works/articles/compositional-shrinking/ and more on shrinking
- https://jqwik.net the property based testing library for Java/Kotlin
- https://en.wikipedia.org/wiki/Functional_programming What is functional programming
- https://www.youtube.com/watch?v=xgDPvlgUSLE Duncan's YouTube episode on property based testing with jqwik (from his channel 'Refactoring to Kotlin')
Thank you for listening! Merci de votre écoute! Vielen Dank für´s Zuhören!
Contact Details/ Coordonnées / Kontakt:
- Email mailto:code4thought@proton.me
- UK RSE Slack (ukrse.slack.com): @code4thought or @piddie
- US RSE Slack (usrse.slack.com): @Peter Schmidt
- Mastodon: https://fosstodon.org/@code4thought or @code4thought@fosstodon.org
- LinkedIn: https://www.linkedin.com/in/pweschmidt/ (personal Profile)
- LinkedIn: https://www.linkedin.com/company/codeforthought/ (Code for Thought Profile)
This podcast is licensed under the Creative Commons Licence: https://creativecommons.org/licenses/by-sa/4.0/