Property Based Testing
Details
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.
------
We are meeting at the JFrog development office and will have a sign-in process on iPad as people enter which will include: Name, Company (optional), Email and Phone Number, and a community-friendly NDA.
Incredibuild has graciously offered to provide refreshments. Please make sure to RSVP so we can have an accurate number of attendees.
18:30 - 19:00 - Check-in, Networking, and Refreshments!
19:00 - 20:00 - Program Presentation
20:00 - 20:10 - Wrap-up and goodbyes
Please join after the meeting for socializing at a local establishment, location to be announced at the meeting.
An online link for this event will be posted 24 hours before the event.
