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 →
Icontract-hypothesis Alternatives
Similar projects and alternatives to icontract-hypothesis
-
pynguin
The PYthoN General UnIt Test geNerator is a test-generation tool for Python
-
CrossHair
An analysis tool for Python that blurs the line between testing and type systems.
-
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.
-
-
clang-contracts
Experimental support for contracts programming in clang++
-
AlphaCodium
Official implementation for the paper: "Code Generation with AlphaCodium: From Prompt Engineering to Flow Engineering""
-
-
syzkaller
syzkaller is an unsupervised coverage-guided kernel fuzzer
-
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.
-
-
tunnelmole-client
Tunnelmole - Connect to local servers from anywhere
-
-
fuzz-introspector
Fuzz Introspector -- introspect, extend and optimise fuzzers
icontract-hypothesis reviews and mentions
-
Automated Unit Test Improvement Using Large Language Models at Meta
https://github.com/mristin/icontract-hypothesis
Nagini and deal-solver attempt to Formally Verify Python code with or without unit tests: https://news.ycombinator.com/item?id=39139198
Additional research:
"Fuzz target generation using LLMs" (2023)
-
Adding “invariant” clauses to C++ via GCC plugin to enable Design-by-Contract
https://icontract.readthedocs.io/en/latest/usage.html#invari...
For unit testing, there's icontract-hypothesis; with the Preconditions and Postconditions delineated by e.g. decorators, it's possible to generate many of the fuzz tests from the additional Design by Contract structure of the source.
From https://github.com/mristin/icontract-hypothesis :
> icontract-hypothesis combines design-by-contract with automatic testing.
> It is an integration between icontract library for design-by-contract and Hypothesis library for property-based testing.
> The result is a powerful combination that allows you to automatically test your code. Instead of writing manually the Hypothesis search strategies for a function, icontract-hypothesis infers them based on the function’s [sic] precondition
-
Pynguin – Allow developers to generate Python unit tests automatically
Just in case you are looking for an alternative approach: if you write contracts in your code, you might also consider crosshair [1] or icontract-hypothesis [2]. If your function/method does not need any pre-conditions then the the type annotations can be directly used.
(I'm one of the authors of icontract-hypothesis.)
-
A note from our sponsor - InfluxDB
www.influxdata.com | 28 Mar 2024
Stats
mristin/icontract-hypothesis is an open source project licensed under MIT License which is an OSI approved license.
The primary programming language of icontract-hypothesis is Python.