Skip to main content

Property based testing in C#–Part 2

In this multipart blog post I want to introduce you in the world of property-based testing and how to do this in C#.

In the first part, I gave you an introduction on what property-based testing is, why it useful and how it can help you write better code. In this second post, I’ll show you a concrete example on how to start writing property-based tests in C#.

Writing the tests

Let’s start with the same example as in our previous post and write corresponding tests that checks the properties we have identified.

Here is the Add method we wanted to test:

These were the properties we identified:

  • Property 1: It doesn’t matter in which order we provide the x and y input, the output is the same.
    • E.g. 1+7 is the same as 7+1
  • Property 2: Having zero as either the x or y input is the same as doing nothing (the output doesn’t change).
    • E.g. 7+0 =  7 or 0+7 =
  • Property 3: If I call the add method multiple times, the order in which I do them doesn’t matter.
    • E.g. 7+(4+5) = (7+4)+5

And here are 3 parameterized unit tests that validate these properties:

Remark: I’m using XUnit for this example but in a later post I’ll give an example using NUnit.

So far this doesn’t look that different in the way we write example based test and indeed if we now provide some example input, it is not so different. The challenge now is to generate proper pseudo-random values that can be used as input.

Time to introduce FsCheck to help us with this…

Introducing FsCheck

FsCheck is a property-based testing framework made for F#. Thanks to the fact that it compiles to the same IL as C# code, we can use this library as well in C#.

From the website:

FsCheck is a tool for testing .NET programs automatically. The programmer provides a specification of the program, in the form of properties which functions, methods or objects should satisfy, and FsCheck then tests that the properties hold in a large number of randomly generated cases. While writing the properties, you are actually writing a testable specification of your program. Specifications are expressed in F#, C# or VB, using combinators defined in the FsCheck library. FsCheck provides combinators to define properties, observe the distribution of test data, and define test data generators. When a property fails, FsCheck automatically displays a minimal counter example.

To make our live even easier,, an XUnit plugin exists for FsCheck. To use it, install the FsCheck.Xunit NuGet package:

dotnet add package FsCheck.XUnit

Now we can replace the [Theory] attribute with the [Property] attribute:

If we now run our tests, we see that they succeed:

FsCheck stops by default after 100 test runs:

If you want to know the values that are used during the tests, you can set the Verbose property to true on the [Property] attribute:

And here is (part of) the output:

Of course this is quite an easy example. Stay tuned for the next post where I’ll show you a more realistic example.

Remark: The full source code is available here:

Popular posts from this blog

DevToys–A swiss army knife for developers

As a developer there are a lot of small tasks you need to do as part of your coding, debugging and testing activities.  DevToys is an offline windows app that tries to help you with these tasks. Instead of using different websites you get a fully offline experience offering help for a large list of tasks. Many tools are available. Here is the current list: Converters JSON <> YAML Timestamp Number Base Cron Parser Encoders / Decoders HTML URL Base64 Text & Image GZip JWT Decoder Formatters JSON SQL XML Generators Hash (MD5, SHA1, SHA256, SHA512) UUID 1 and 4 Lorem Ipsum Checksum Text Escape / Unescape Inspector & Case Converter Regex Tester Text Comparer XML Validator Markdown Preview Graphic Color B

Help! I accidently enabled HSTS–on localhost

I ran into an issue after accidently enabling HSTS for a website on localhost. This was not an issue for the original website that was running in IIS and had a certificate configured. But when I tried to run an Angular app a little bit later on http://localhost:4200 the browser redirected me immediately to https://localhost . Whoops! That was not what I wanted in this case. To fix it, you need to go the network settings of your browser, there are available at: chrome://net-internals/#hsts edge://net-internals/#hsts brave://net-internals/#hsts Enter ‘localhost’ in the domain textbox under the Delete domain security policies section and hit Delete . That should do the trick…

Azure DevOps/ GitHub emoji

I’m really bad at remembering emoji’s. So here is cheat sheet with all emoji’s that can be used in tools that support the github emoji markdown markup: All credits go to rcaviers who created this list.