PropCheck vs RapidCheck
PropCheck
github.comRapidCheck
github.comSide by side
| Figure | PropCheck | RapidCheck |
|---|---|---|
| Price from | Free | — |
| Free plan | Yes | — |
| Free trial | — | — |
| Open source | — | — |
| Windows | — | Yes |
| Linux | Yes | Yes |
| Self-hosted | Yes | Yes |
| Plans published | 1 | 0 |
| Spec score · Property-Based Testing Tools | 8.0 (#7) | 7.0 (#21) |
| Generators | It includes generators for common Ruby data types and a DSL for defining custom generators. | RapidCheck includes generators for common types and combinators for building custom generators. |
| License | The project is released under the MIT License. | The repository identifies its license as BSD-2-Clause. |
| Purpose | PropCheck is a Ruby library for property-based testing that checks assertions against generated inputs. | RapidCheck is a C++ framework for property-based testing inspired by QuickCheck and similar frameworks. |
| Shrinking | When a generated case fails, PropCheck attempts to simplify it to a minimal counterexample. | When a property fails, RapidCheck tries to find the smallest failing test case and displays it as a counterexample. |
| Stateful testing | The README lists stateful property testing as a possible future separate add-on library. | The README describes stateful testing based on commands in the style of Erlang QuickCheck. |
| What it does | PropCheck is a Ruby library for property-based testing that generates inputs and checks whether assertions hold across them. | RapidCheck is a C++ framework for property-based testing that generates random test data to find counterexamples to properties. |
Plans
In their own words
PropCheck
PropCheck is a Ruby library for property-based testing: it generates inputs and checks whether assertions hold across them. When a generated example fails, it tries to simplify that case into a smaller counterexample. Built-in generators cover integers, floats, strings, symbols, arrays, hashes, sets, dates, times and datetimes. A generator DSL lets developers define their own, while the API also supports mapping and binding values, alternatives and weighted frequency choices.
Before, after and around hooks provide setup and cleanup around generated examples. The README gives usage examples for RSpec, MiniTest, test-unit and vanilla Ruby, and says the library has no external dependencies. PropCheck requires Ruby 2.5.1 or later and is released under the MIT License. It is available as a free Community library. Installation can be done through a Gemfile or with `gem install prop_check`. For generated examples involving a database, the README recommends cleaning database state around each example and mentions DatabaseCleaner. Stateful property testing is described as a possible future separate add-on.