Top 17 property-testing Open-Source Projects

• Kotest

  17 4,282 9.4 Kotlin

  Powerful, elegant and flexible test framework for Kotlin with additional assertions, property testing and data driven testing

  

Project mention: AocKt: Test-driven Advent of Code in Kotlin | /r/Kotlin | 2023-11-29

As you might know, Advent of Code will begin this Friday! If, like me, you want to have a go at solving the puzzles in Kotlin, I would like to share with you a little library I've developed to reduce boilerplate and solve the puzzles in a test-driven approach. It is based on Kotest, a modern and Kotlin-first test framework.

• ScalaCheck

  3 1,932 8.3 Scala

  Property-based testing for Scala

  

Project mention: How to Survive Your Project's First 100k Lines | news.ycombinator.com | 2023-05-04

Regarding numbers 2 and 3, I believe you are describing "property-based testing"[0]. A Scala version of this is ScalaCheck and can be found here[1].

There appears to be at least one Rust library which claims to provide same, but I am not a Rust developer so cannot recommend any for fitness of purpose.

0 - https://hypothesis.works/articles/what-is-property-based-tes...

1 - https://github.com/typelevel/scalacheck/blob/main/doc/UserGu...

• InfluxDB

  www.influxdata.com sponsored

  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.

  

• StreamData

  0 841 5.5 Elixir

  Data generation and property-based testing for Elixir. 🔮

• hedgehog

  3 661 6.0 Haskell

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

  

• rapid

  4 538 6.4 Go

  Rapid is a modern Go property-based testing library

Project mention: Property based testing in Go | dev.to | 2024-03-01

You can check the package here, in official GitHub repo. I recently found this amazing testing framework and now I can't imagine developing tests without it. Let's try to refactor our previous example with this package:

• fsharp-hedgehog

  5 270 6.7 F#

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

  

• kotlinfixture

  1 246 1.7 Kotlin

  Fixtures for Kotlin providing generated values for unit testing

  

• WorkOS

  workos.com sponsored

  The modern identity platform for B2B SaaS. The APIs are flexible and easy-to-use, supporting authentication, user identity, and complex enterprise features like SSO and SCIM provisioning.

  

• Nyaya

  0 183 0.0 Scala

  Random Data Generation and/or Property Testing in Scala & Scala.JS.

• bolero

  2 167 7.5 C

  property testing and verification front-end for Rust (by camshaft)

• smallcheck

  3 133 4.2 Haskell

  Test your Haskell code by exhaustively checking its properties

Project mention: Generating Well-Typed Terms that are not "Useless" [pdf] | news.ycombinator.com | 2023-10-27

Using laziness to avoid generating parts of an expression until it's needed is a really nice idea. The LazySmallCheck package[1] took this approach, but was limited in the types of data it could produce (e.g. it couldn't generate functions). This was extended by LazySmallCheck2012[2], but that seems to be unmaintained and doesn't work with more recent GHC versions.

(Note that these are named in reference to SmallCheck[3], which takes the approach of enumerating concrete values in order of "size"; as an alternative to the more widely-used QuickCheck[4], which generates concrete values at random, and tries to "shrink" those which trigger a failure)

[1] https://hackage.haskell.org/package/lazysmallcheck

[2] https://github.com/UoYCS-plasma/LazySmallCheck2012

[3] https://hackage.haskell.org/package/smallcheck

[4] https://hackage.haskell.org/package/QuickCheck

• fitspec

  0 74 6.7 Haskell

  refine properties for testing Haskell programs

• leancheck

  5 51 8.6 Haskell

  enumerative property-based testing for Haskell

Project mention: Help with stack ghci and LeanCheck | /r/haskell | 2023-12-11

Hey, I am an IT student, and was given the task to install Leancheck. I managed to do that by following the instructions on: https://github.com/rudymatela/leancheck/blob/master/README.md Now it works if I do "ghci" and then "import Test.LeanCheck".

• pbt-frameworks

  1 43 0.0

  An overview of property-based testing functionality

• speculate

  0 30 9.0 Haskell

  Speculate laws about Haskell functions

• hedgehog-gen

  0 1 0.0 Haskell

  Customizable Gen for ADT using Generics

  

• Mecha

  1 1 9.5 C#

  Mecha is a library designed to test your code in ways you probably never thought of before. It automatically finds edge cases and exceptions in your code with no input needed. Just point it at a class or method and fire away. It's even better than a cat laying on your keyboard at finding weird data for your tests. (by JaCraig)

• leancheck-instances

  0 1 6.5 Haskell

  Common LeanCheck instances

• SaaSHub

  www.saashub.com sponsored

  SaaSHub - Software Alternatives and Reviews. SaaSHub helps you find the best software and product alternatives

  

property-testing related posts

• Property based testing in Go
  1 project | dev.to | 1 Mar 2024
• Prefer table driven tests (2019)
  6 projects | news.ycombinator.com | 1 Feb 2024
• Help with stack ghci and LeanCheck
  2 projects | /r/haskell | 11 Dec 2023
• Generating Well-Typed Terms that are not "Useless" [pdf]
  2 projects | news.ycombinator.com | 27 Oct 2023
• [ANN] LeanCheck v1.0.0 – Enumerative Property Testing
  5 projects | /r/haskell | 22 Aug 2022
• Property-based testing #1: What is it anyway?
  1 project | dev.to | 9 Jun 2022
• [release] Fazi - a drop-in replacement for libfuzzer
  5 projects | /r/rust | 11 Apr 2022
• A note from our sponsor - WorkOS
  workos.com | 25 Apr 2024

  The APIs are flexible and easy-to-use, supporting authentication, user identity, and complex enterprise features like SSO and SCIM provisioning. Learn more →

Index

Sponsored

SaaSHub - Software Alternatives and Reviews

SaaSHub helps you find the best software and product alternatives

www.saashub.com