Top 23 property-based-testing Open-Source Projects

• hypothesis

  20 7,275 9.9 Python

  Hypothesis is a powerful, flexible, and easy to use library for property-based testing.

  

Project mention: Hypothesis | news.ycombinator.com | 2024-02-01

• fast-check

  21 4,099 9.8 TypeScript

  Property based testing framework for JavaScript (like QuickCheck) written in TypeScript

Project mention: The 5 principles of Unit Testing | dev.to | 2023-09-14

Libraries like JSVerify or Fast-Check offer essential tools to facilitate property-based testing.

• 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.

  

• Schemathesis

  23 2,091 9.7 Python

  Automate your API Testing: catch crashes, validate specs, and save time

  

Project mention: Ask HN: Any Good Fuzzer for gRPC? | news.ycombinator.com | 2024-03-21

I am not aware of any tools like that, but eventually, I plan to add support for gRPC fuzzing to Schemathesis. There were already some discussions and it is more or less clear how to move forward. See https://github.com/schemathesis/schemathesis/discussions/190...

• functionaljava

  3 1,585 0.0 Java

  Functional programming in Java

  

• SwiftCheck

  0 1,412 0.0 Swift

  QuickCheck for Swift

  

• junit-quickcheck

  5 951 7.3 Java

  Property-based testing, JUnit-style

• StreamData

  0 841 5.5 Elixir

  Data generation and property-based testing for Elixir. 🔮

• 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.

  

• deepstate

  3 807 6.0 Python

  A unit test-like interface for fuzzing and symbolic execution

  

• Deal

  9 690 6.4 Python

  🤝 Design by contract for Python. Write bug-free code. Add a few decorators, get static analysis and tests for free.

  

• Norm

  4 680 0.0 Elixir

  Data specification and generation

  

• hedgehog

  3 661 6.0 Haskell

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

  

• Expecto

  2 654 6.6 F#

  A smooth testing lib for F#. APIs made for humans! Strong testing methodologies for everyone!

• JQF

  3 626 6.3 Java

  JQF + Zest: Coverage-guided semantic fuzzing for Java.

Project mention: CS 6120: Advanced Compilers: The Self-Guided Online Course | news.ycombinator.com | 2024-03-03

We are working on projects related with cybersecurity and compilers. A reference we look at is [1] and [2]. I think we can publish the results in the coming months.

[1] https://github.com/rohanpadhye/jqf/wiki/Fuzzing-a-Compiler

[2] https://news.ycombinator.com/item?id=36373410

• gopter

  3 584 2.7 Go

  GOlang Property TestER

  

• 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:

• elixir-type_check

  5 510 5.9 Elixir

  TypeCheck: Fast and flexible runtime type-checking for your Elixir projects.

Project mention: Elixir and Phoenix can do it all | news.ycombinator.com | 2023-10-28

Use this until the one built into the language is ready. It has incredibly low performance impact too.

https://github.com/Qqwy/elixir-type_check

• fuzzcheck-rs

  8 422 5.5 Rust

  Modular, structure-aware, and feedback-driven fuzzing engine for Rust functions

• propcheck

  0 357 6.8 Elixir

  Property based Testing for Elixir (based upon PropEr) (by alfert)

• scalaprops

  0 275 8.3 Scala

  property based testing library for Scala

  

• fsharp-hedgehog

  5 270 6.7 F#

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

  

• Nyaya

  0 183 0.0 Scala

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

• jsf

  5 154 7.7 Python

  Creates fake JSON files from a JSON schema

• 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

• SaaSHub

  www.saashub.com sponsored

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

  

property-based-testing related posts

• CS 6120: Advanced Compilers: The Self-Guided Online Course
  1 project | news.ycombinator.com | 3 Mar 2024
• Property based testing in Go
  1 project | dev.to | 1 Mar 2024
• Hypothesis
  1 project | news.ycombinator.com | 1 Feb 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
• The 5 principles of Unit Testing
  2 projects | dev.to | 14 Sep 2023
• 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