Property Based Testing in FsCheck

This is a great opportunity to create community, relationships, and learn about new technology!

SCHEDULE

5:30pm - Arrival/Registration + Food/Drinks + Networking

6:00pm - Speaker/Presentation

7:15pm - Food/Drinks + Networking

8:00pm - End

FOOD/DRINKS

Food and drinks will be provided! Please contact us 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.

Speaker & Talk

Ahmed Hammad

Ahmed Hammad is a full stack software developer with Improving, a technology management and professional consulting services firm.

Ahmed will be discussing the following:

Property Based Testing in FsCheck

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.