Frameworks de test basés sur les propriétés
For une bibliothèque de test par propriétés pour identifier les cas limites, the strongest matches are drmaciver/hypothesis (Hypothesis is the premier Python property-based testing library, providing), schemathesis/schemathesis (Schemathesis is a property-based testing library for schema-driven APIs) and dubzzz/fast-check (fast-check is a property-based testing framework for TypeScript/JavaScript that). hypothesisworks/hypothesis and clojure/test.check round out the shortlist. Each is ranked by relevance to your query, popularity and recent activity.
Bibliothèques de test automatisées générant des données d'entrée aléatoires pour découvrir les cas limites et les bugs de logique.
Frameworks de test basés sur les propriétés
Trouvez les meilleurs dépôts grâce à l'IA.Nous recherchons les dépôts les plus pertinents grâce à l'IA.
- drmaciver/hypothesis
DRMacIver/hypothesis
8,702Voir sur GitHubHypothesis is a property-based testing library for Python that automatically generates randomized input data to identify bugs and edge cases. It functions as an automated edge case finder and test data generator, creating diverse synthetic datasets based on defined strategies to stress test application logic. The library includes a failing case shrinker that simplifies complex failing test inputs into the smallest possible examples to accelerate debugging. It also provides a mechanism for bug reproduction simplification by reducing the size of the input that triggers a failure. The project c
Hypothesis is the premier Python property-based testing library, providing automatic input generation, sophisticated shrinking, built-in random seed control, direct integration with pytest and unittest, stateful testing support, and an extensive library of built-in data generators — exactly what this search requires.
PythonTest Case GeneratorsTest Case ShrinkingFailing Case Shrinkers - schemathesis/schemathesis
schemathesis/schemathesis
3,055Voir sur GitHubSchemathesis is a property-based testing tool and fuzzer for schema-based APIs. It analyzes OpenAPI and JSON Schema specifications to automatically generate test cases that identify crashes, schema violations, and validation bypasses. The project functions as a contract validator and security scanner, verifying that a live server strictly adheres to its defined specifications. The framework distinguishes itself through stateful API testing, which chains multiple related requests together to uncover bugs that only emerge during complex, multi-step user workflows. It also utilizes response-driv
Schemathesis is a property-based testing library for schema-driven APIs that automatically generates test cases, shrinks failures, supports stateful multi-step workflows, and integrates with pytest — covering the core sought capabilities with a specialized but comprehensive approach.
PythonTest Case GeneratorsProperty-Based TestingStateful Testing - dubzzz/fast-check
dubzzz/fast-check
4,778Voir sur GitHubfast-check is a property-based testing framework and random data generator designed to verify software invariants by producing a wide range of randomized input data. It functions as a test data fuzzer that executes predicates against high volumes of random inputs to uncover edge cases and critical bugs. The project is distinguished by its ability to perform input-shrinking searches, which reduce complex failing inputs to their simplest form to isolate the exact cause of failure. It provides deterministic seed replay to exactly reproduce specific test failures and includes a concurrency testin
fast-check is a property-based testing framework for TypeScript/JavaScript that automatically generates random test cases, shrinks failures to minimal counterexamples, supports seed replay for deterministic reproduction, and provides extensive built-in data generators—exactly matching the search for a property-based testing library with automatic generation, shrinking, seed control, and integration with test frameworks.
TypeScriptDeterministic Seed ReplaysTest Case GeneratorsTest Case Shrinking - hypothesisworks/hypothesis
HypothesisWorks/hypothesis
8,717Voir sur GitHubHypothesis is a Python property-based testing library and data generation engine. It enables the discovery of edge cases and bugs by generating a wide range of randomized inputs based on defined strategies and shrinking complex failing examples to their smallest possible form. It also functions as a state machine testing framework to verify system behavior across sequences of interdependent operations. The project features a fuzzing integration layer that converts raw byte buffers from coverage-guided fuzzers into structured test cases. It includes a persistence mechanism to store and synchro
Hypothesis is a property-based testing library that automatically generates and shrinks test cases to uncover edge cases, with built-in data generators, random seed control, stateful testing support, and seamless integration with Python test frameworks — exactly what you're looking for.
PythonTest Case ShrinkingFailing Case ShrinkersState Machine Testing - clojure/test.check
clojure/test.check
1,148Voir sur GitHubtest.check is a Clojure property-based testing tool inspired by QuickCheck. The core idea of test.check is that instead of enumerating expected input and output for unit tests, you write properties about your function that should hold true for all inputs. This lets you write concise, powerful tests.
This is a property-based testing library for Clojure, inspired by QuickCheck, that automatically generates test cases and shrinks failures — exactly the kind of automated edge-case discovery tool you are looking for.
ClojureTesting Frameworks - purescript/purescript-quickcheck
purescript/purescript-quickcheck
An implementation of QuickCheck in PureScript.
PureScript-QuickCheck is a direct port of the Haskell QuickCheck library, providing property-based testing with automatic test case generation and shrinking for PureScript code, fitting the search for a property-based testing library.
PureScriptTesting
