Framework-uri pentru testare bazată pe proprietăți
For librărie de property-based testing pentru identificarea cazurilor limită, 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.
Biblioteci de testare automatizată care generează date de intrare aleatorii pentru a descoperi edge case-uri și bug-uri de logică.
Framework-uri pentru testare bazată pe proprietăți
Găsește cele mai bune repo-uri cu AI.Vom căuta cele mai potrivite repository-uri folosind AI.
- drmaciver/hypothesis
DRMacIver/hypothesis
8,702Vezi pe 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,055Vezi pe 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,778Vezi pe 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,717Vezi pe 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,148Vezi pe 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
