22. Tü.λ – Property-Based Testing

# Schedule

18:45 Doors Open & Welcome

19:00 Introduction to Property-Based Testing (Stefan)

How can we test our software, find bugs and make sure that it works as intended – without time-consumingly hand-crafting example-based tests, which are still likely to miss important cases?
Originating from Haskell's QuickCheck and the world of functional programming, property-based testing is one interesting approach to this problem: Instead of writing individual tests, inputs are automatically generated and the implementation is verified by checking expected relationships between inputs and outputs (properties).
This introduction will cover the basics:
Starting from testing purely functional code, we'll discuss strategies for expressing properties without actually knowing the correct solution beforehand and without having to duplicate implementation logic.
This will be most useful during development.
From there on, we'll also take a look into model-based/stateful property tests, which can be used when you are not in full control of the system-under-test, e.g. for testing non-functional stateful code/interfaces and already-existing real-world systems.
Afterwards I'd like to hear from YOU:
When did you use property testing?
What was a surprising or interesting property that helped you specify system behavior?
Can you share further strategies for expressing properties?

Food, Talking, Coding

22:00 End

# Sign Up

If you want to attend the meetup, please sign up for it so that we can plan accordingly (i.e. order enough pizza!) 🙂
If you want to give a talk at one of the next meetups, please add them as an issue to this GitHub Repo here.
In case you need some inspiration, either take a look at all the previous talks on this website, or take a look at all the talks suggested so far here.

# Contact

Do you want to keep posted about the next event or continue the discussion? Maybe you even want to contribute a talk yourself?
Join our Matrix Room