In praise of property-based testing

This page summarizes the projects mentioned and recommended in the original post on /r/programming
Testing Quickcheck Development tools Fsharp Fscheck

InfluxDB - Power Real-Time Data Analytics at Scale
Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.
www.influxdata.com
featured
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
www.saashub.com
featured

  • tenta

    Discontinued [Moved to: https://github.com/niilohlin/Tenta]

    • https://github.com/niilohlin/tenta I made a Property Based Testing framework for Swift a couple of years ago since I was annoyed with how "haskell-esque" the alternatives were. Hypothesis seems to have a very similar philosophy to mine.

  • CsCheck

    Random testing library for C#

    • CsCheck

  • InfluxDB

    Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.

    InfluxDB logo

  • FsCheck

    Random Testing for .NET

    • FsCheck is probably most popular

  • fsharp-hedgehog

    Release with confidence, state-of-the-art property testing for .NET.

    • Hedgehog

  • quickcheck

    Automated property based testing for Rust (with shrinking).

    • Ok, thanks. I see you've recommended https://github.com/BurntSushi/quickcheck as a Rust option so I'll give it a go.

  • proptest

    Hypothesis-like property testing for Rust

    • I notice that the Rust quickcheck mentions proptest which is inspired by your Hypothesis framework. Had you looked over this project when researching your recommendations?

NOTE: The number of mentions on this list indicates mentions on common posts plus user suggested alternatives. Hence, a higher number means a more popular project.

Suggest a related project

Related posts

  • Property-based tests and clean architecture are perfect fit

    1 project | dev.to | 11 Oct 2022

  • When writing unit tests, what exactly am I looking for?

    1 project | /r/learnprogramming | 6 Jul 2022

  • Does anyone know of a good place to learn and practice some F# preferably F# 6 to be able to use Task.

    1 project | /r/fsharp | 10 Dec 2021

  • How Good Are Your .NET Tests? Test Your Tests With Stryker Mutator

    1 project | /r/dotnet | 21 Mar 2021

  • Is there a tool that could be used to generate fake unit test cases automatically for code coverage? (read description before downvoting)

    2 projects | /r/dotnet | 19 May 2022