Property Based Testing in FsCheck

When

Thursday June 20^th, 2024 @ 5:30 PM

Who

Ahmed Hammad

Where

SmartDraw Software

RSVP

Many of us who use automated tests will use Example Based Tests; these are tests in which we provide data – the examples that should pass. However there’s another less known, but very powerful testing style called Property Based Testing. In this style of testing, we provide properties – universal invariants that should hold regardless of input. As a result, we no longer specify examples, but let a framework choose examples for us. This gives us a different way to think about our tests and software.

This talk introduces Property Based Testing using FsCheck. FsCheck is a property based testing framework for .NET. While this talk uses F# for most examples, it will provide some examples in C# as well.

Food / Drinks

Food and drinks will be provided! Please contact us (on meetup) if you have any dietary restrictions/food allergies.

Directions and Parking Instructions

Meeting will be held in the offices of SmartDraw Software, 1780 Hughes Landing Blvd #1100 on the 11th floor.

Enter through the main doors of the building and take the elevator to the 11th floor; the door to SmartDraw’s suite is in the elevator lobby on the 11th floor.

If you arrive at 1780 Hughes Landing after 6pm a member of the SmartDraw team will help you enter the building then travel up to the 11th floor.

Parking:

Park in the garage directly opposite. You’ll need to take a ticket to enter but there is no fee to leave - parking is free.