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. Learn more →
Top 23 property-based-testing Open-Source Projects
-
-
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.
-
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...
-
-
-
-
-
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.
-
-
-
Deal
🤝 Design by contract for Python. Write bug-free code. Add a few decorators, get static analysis and tests for free.
-
-
Expecto
A smooth testing lib for F#. APIs made for humans! Strong testing methodologies for everyone!
-
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
-
-
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:
-
Use this until the one built into the language is ready. It has incredibly low performance impact too.
-
-
-
-
-
-
-
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
-
SaaSHub
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
- Property based testing in Go
- Hypothesis
- Prefer table driven tests (2019)
- Help with stack ghci and LeanCheck
- Generating Well-Typed Terms that are not "Useless" [pdf]
- The 5 principles of Unit Testing
-
A note from our sponsor - InfluxDB
www.influxdata.com | 29 Mar 2024
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 |