6 PM - 6:45 PM "Introduction to stateful property based testing"
Property-based testing is a technique for writing tests that use a framework for creating test inputs and user-defined properties for validating outputs. Generating data allows for finding bugs that would be impossible to catch by regular unit tests: e.g. too big to encode by hand. This talk will explain why it is worth getting into PBT by introducing successful usages of PBT for testing AUTOSAR, LevelDB, and Dropbox. All these examples use stateful testing, so the second half of the talk describes steps to create a stateful test for a simple key-value store.
Introductory materials for PBT often focus on straightforward cases which are great for teaching but fail to show the true potential of PBT. The goal of this talk is a high-level overview that is both encouraging for beginners but also maps the road to mastering Property-Based Testing.
Developers who have heard about Property-Based Testing but are not convinced yet about its usefulness.
Speaker: Tomasz Kowal
Tomasz has worked with functional languages for over eight years and loves learning and teaching about concepts and techniques.
6:45 PM - 7 PM Networking break
7 PM - 7:45 PM "Property-Based Testing 101"
We test on every level, writing a lot of unit, integration, e2e, etc tests. It's repetitive and boring, but very useful. But with all this test coverage - we still get errors. Can we protect ourselves from hard-to-find bugs? Can testing be less time-consuming? In this presentation, I'll show another way of writing tests that will answer those questions.
Speaker: Łukasz Skotarek
OOP dev during work, FP dev after work.
My main hobbies are programming, music and programming music.