Most software tests are example driven. Another approach is property based testing which checks the invariants of the code by using generated test data.
Property based testing is widely used in the functional programming community, but mostly unknown in the world of imperative programming. In this presentation I want to introduce you to property based testing. So that you are able to use it in your project, know which are the benefits, and are able to overcome it pitfalls.
Video
Slides
Sources
- Barr, E. T., Harman, M., McMinn, P., Shahbaz, M., & Yoo, S. (2015). The Oracle Problem in Software Testing: A Survey. IEEE Transactions on Software Engineering, 41(5), 507–525.
- Kerr, J. (2014). Property-Based Testing for Better Code.
- MacIver, D. (2016). What is Property Based Testing?.
- Steinhauser, J. (2018). Intro to Property-Based Testing.
- Hughes, J. (2019). How to specify it!.
To the extent possible under law,
Daniel Heinrich
has waived all copyright and related or neighboring rights to
Property Based Testing.
This work is published from:
Germany.