Property Based Testing Python Packages

hypothesis

The property-based testing library for Python

schemathesis

Catch API bugs before your users do

jsf

Creates fake JSON files from a JSON schema

deal

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

conformly

Generate valid & invalid test data from your typed schemas

hypothesis-pytest

The property-based testing library for Python

hypothesis-django

The property-based testing library for Python

tstl

Template Scripting Testing Language tool: automated test generation for Python

minigun-soren-n

A library for property-based testing of Python programs. Please read the documentation to learn more: https://minigun.readthedocs.io/en/latest/

lawcheck

Property-based algebraic law testing for Python: Hypothesis-driven law suites for semigroups, monoids, functors, applicatives, monads, equivalence relations, and total orders, with a pluggable equality oracle.

hypothesis-numpy

Adds support for generating datetime to Hypothesis

hypothesis-datetime

The property-based testing library for Python

hypothesis-fakefactory

Adds support for generating fake-factory data to Hypothesis

swagger-conformance

Python based tool for testing whether your API conforms to its Swagger schema

hypothesis-gufunc

Extension to hypothesis to generate inputs for general universal (GU) numpy functions.

nightjar-verify

Math doesn't hallucinate. Formal verification for AI-generated Python code.

python-proptest

python-proptest: A comprehensive Python property-based testing library with pytest and unittest integration

lark-grammars

Grammars suitable for lark parser and Hypothesis

pbt4automata

Property-based testing utilities for finite automata and context-free grammars.

hypothesislegacysupport

The property-based testing library for Python

nightjarzzz

Math doesn't hallucinate. Formal verification for AI-generated Python code.

hypothesis-csv

Extension for the hypothesis framework to support the generative testing with CSV input

snekspec

Validate data & generate test examples from schema

quick-py

Property-based testing library for Python