2025-10-03 –, Jean-Baptiste Say Amphitheater
Language: English
Software testing is a complicated endeavor, which even with good code coverage often leaves doubts about the quality of the written code when subsequent usage still uncovers bugs. In this talk, we are going to take a look at some problems of traditional testing, challenges when it comes to testing Julia code in particular and how Property Based Testing with Supposition.jl can help with that.
Any experienced developer knows that 100% code coverage doesn't mean code is 0% buggy. A more comprehensive testing method called Property Based Testing (or PBT for short) can help bridge the gap between test cases and reality. Instead of only looking at one input per test with test driven design (TDD), PBT is geared towards looking at ALL possible inputs.
We're going to learn about PBT, how this approach to testing can help uncover hidden assumptions and uncover surprising behavior of well-known & frequently used functions from Base. For this, we'll use functionality from Supposition.jl, showcasing some of its capabilities in the process.
Valentin Bogad is a Software Engineer from Vienna, who has been writing Julia code for close to 9 years. With a keen interest in Programming Language Semantics and too many buggy programs in various languages (among which, Java, C#, C and C++) to be embarrassed about writing buggy code, he is always on the hunt for better techniques to write high-quality software.