property-based-testing

Open-source projects categorized as property-based-testing

Top 23 property-based-testing Open-Source Projects

  • hypothesis

    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

    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

    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

    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

    Functional programming in Java

  • SwiftCheck

    QuickCheck for Swift

  • junit-quickcheck

    Property-based testing, JUnit-style

  • StreamData

    Data generation and property-based testing for Elixir. 🔮

  • WorkOS

    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

    A unit test-like interface for fuzzing and symbolic execution

  • Norm

    Data specification and generation

  • Deal

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

  • hedgehog

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

  • Expecto

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

  • JQF

    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

    GOlang Property TestER

  • rapid

    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

    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

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

  • propcheck

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

  • scalaprops

    property based testing library for Scala

  • fsharp-hedgehog

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

  • Nyaya

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

  • jsf

    Creates fake JSON files from a JSON schema

  • smallcheck

    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

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

NOTE: The open source projects on this list are ordered by number of github stars. The number of mentions indicates repo mentiontions in the last 12 Months or since we started tracking (Dec 2020). The latest post mention was on 2024-03-21.

property-based-testing related posts

Index

What are some of the best open-source property-based-testing projects? This list will help you:

Project Stars
1 hypothesis 7,225
2 fast-check 4,071
3 Schemathesis 2,058
4 functionaljava 1,584
5 SwiftCheck 1,407
6 junit-quickcheck 951
7 StreamData 832
8 deepstate 805
9 Norm 680
10 Deal 669
11 hedgehog 660
12 Expecto 645
13 JQF 624
14 gopter 582
15 rapid 528
16 elixir-type_check 509
17 fuzzcheck-rs 421
18 propcheck 354
19 scalaprops 277
20 fsharp-hedgehog 270
21 Nyaya 184
22 jsf 150
23 smallcheck 133
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
www.saashub.com