Open Tech Calendar

This event will be a single talk on Property-Based Testing with Lucy Mair

⚠️ This will be an in-person event, the venue is Sheffield Hallam University, Owen Building, Room 942. This is located on the 10th floor.

Agenda:

🍕 Pizza/Drinks (18:15 - 18:30)
🗣 Introduction (18:30)
👉 Property-Based Testing (18:35ish)
🍻 Social @ Pub (after the talk)
👉 Property-Based Testing
This talk aims to introduce property-based testing, why you may want to use it, and real-life use cases for including it in code bases.

How do you unit test a function? Typically, one might identify different sets of inputs (for example, for an integer you may have have sets for positive, negative, and zero) and write a single unit test using a single example from each set. Can you be sure your code is correct for the whole set? Maybe it only works for that particular example?
Property-based testing is an approach to testing that involves specifying statements that should always be true (for example, reversing a list twice will give the original result) rather than relying on specific examples. In this talk, I will be giving an introduction to property-based testing, why you would want to use it, and how you might apply it in the real world.