Property Based Testing @ C++ Bay Area Meetup

JFrog is a Proud Sponsor of C++ Bay Area Meetup!

May 9, 2023

< 1 min read

Property Based Testing

Standard unit testing paradigms are effective at finding bugs within the programmer’s mental model of correct operation of the code. However, finding non-model bugs is an essential component of writing highly-reliable code. In this talk, we will discuss property-based testing (PBT), a method of unit testing which focuses on specifying a definition of correct operation of the code and demonstrating these definitions hold for arbitrary input data. We will learn the vocabulary of property-based testing to expand our mental space and improve our mental model of unit testing, and examine libraries like googletest, RapidCheck, and hypothesis which expose the abstractions of PBT.

About the Speaker:
Nick Thompson is a modeling and simulation engineer in Apple’s circuit simulation team. He maintains boost.math, where he wrote the quadrature, differentiation, interpolation, and statistical routines.

Enter for a chance to win an Apple Homepod Mini!