Bodigrim / Smallcheck
Licence: other
Test your Haskell code by exhaustively checking its properties
Stars: ✭ 114
Programming Languages
haskell
3896 projects
Projects that are alternatives of or similar to Smallcheck
Jqf
JQF + Zest: Coverage-guided semantic fuzzing for Java.
Stars: ✭ 340 (+198.25%)
Mutual labels: property-based-testing
Deepstate
A unit test-like interface for fuzzing and symbolic execution
Stars: ✭ 603 (+428.95%)
Mutual labels: property-based-testing
Elixir Type check
TypeCheck: Fast and flexible runtime type-checking for your Elixir projects.
Stars: ✭ 80 (-29.82%)
Mutual labels: property-based-testing
Quicktheories
Property based testing for Java 8
Stars: ✭ 483 (+323.68%)
Mutual labels: property-based-testing
Haskell Hedgehog
Release with confidence, state-of-the-art property testing for Haskell.
Stars: ✭ 584 (+412.28%)
Mutual labels: property-based-testing
Junit Quickcheck
Property-based testing, JUnit-style
Stars: ✭ 821 (+620.18%)
Mutual labels: property-based-testing
Propcheck
Property based Testing for Elixir (based upon PropEr)
Stars: ✭ 272 (+138.6%)
Mutual labels: property-based-testing
Functionaljava
Functional programming in Java
Stars: ✭ 1,472 (+1191.23%)
Mutual labels: property-based-testing
Stream data
Data generation and property-based testing for Elixir. 🔮
Stars: ✭ 597 (+423.68%)
Mutual labels: property-based-testing
Spec
Data specification conformance and generation for Elixir
Stars: ✭ 72 (-36.84%)
Mutual labels: property-based-testing
Hypothesis
Hypothesis is a powerful, flexible, and easy to use library for property-based testing.
Stars: ✭ 5,571 (+4786.84%)
Mutual labels: property-based-testing
Quick check.js
A JS implementation of quick_check
Stars: ✭ 48 (-57.89%)
Mutual labels: property-based-testing
Discipline
Flexible law checking for Scala
Stars: ✭ 286 (+150.88%)
Mutual labels: property-based-testing
Schemathesis
A modern API testing tool for web applications built with Open API and GraphQL specifications.
Stars: ✭ 768 (+573.68%)
Mutual labels: property-based-testing
Hypothesis Jsonschema
Tools to generate test data from JSON schemata with Hypothesis
Stars: ✭ 112 (-1.75%)
Mutual labels: property-based-testing
Unit Threaded
Advanced unit test framework for D
Stars: ✭ 100 (-12.28%)
Mutual labels: property-based-testing
Qcstm
A simple state-machine framework for OCaml based on QCheck
Stars: ✭ 50 (-56.14%)
Mutual labels: property-based-testing
SmallCheck: a property-based testing library for Haskell
SmallCheck is a testing library that allows to verify properties for all test cases up to some depth. The test cases are generated automatically by SmallCheck.
Usefulness of such an approach to testing is based on the following observation:
If a program fails to meet its specification in some cases, it almost always fails in some simple case.
To get started with SmallCheck:
- Read the documentation
- If you have experience with QuickCheck, read the comparison of QuickCheck and SmallCheck
- Install it and give it a try!
cabal update; cabal install smallcheck
- Read the paper or other materials from the original authors of SmallCheck (note that that information might be somewhat outdated)
- If you see something that can be improved, please submit an issue
- Check out the source code at GitHub
Note that the project description data, including the texts, logos, images, and/or trademarks,
for each open source project belongs to its rightful owner.
If you wish to add or remove any projects, please contact us at [email protected].