Modelling Dependencies via Generative Properties
"Don’t write tests… generate them!" - John Hughes Property testing is a powerful and fun way to test your code that builds upon and complements unit testing. It finds those obscure, fiddly edge-cases for you whilst automatically simplifying complicated scenarios… and all it requires is thinking hard about the kind of inputs and outputs your code might have to deal with. In this talk I’ll introduce property testing in general and then describe a technique using it to simulate your software’s dependencies (such as network requests or databases) to help make your code more robust in the face of uncertainty.