FsCheck vs RapidCheck
FsCheck
fscheck.github.ioRapidCheck
github.comSide by side
| Figure | FsCheck | RapidCheck |
|---|---|---|
| Price from | Free | — |
| Free plan | Yes | — |
| Free trial | — | — |
| Open source | — | — |
| Windows | Yes | Yes |
| macOS | Yes | — |
| Linux | Yes | Yes |
| Self-hosted | — | Yes |
| Plans published | 1 | 0 |
| Spec score · Property-Based Testing Tools | 8.4 (#3) | 7.0 (#21) |
| Counterexamples | When a property fails, FsCheck displays a minimal counterexample. | When it finds a failing case, RapidCheck tries to shrink it to a smaller counterexample. |
| Documentation status | The site warns that its documentation covers version 2.x while version 3.x is maintained and receives new features and fixes. | The User Guide says it is a work in progress and that some parts are still missing. |
| Generators | Users can define custom test data generators and shrinkers, and package them together in Arbitrary instances. | RapidCheck includes generators for common types and combinators for building custom generators. |
| Integrations | The project documents integrations with xUnit.net and NUnit, and user-created integrations with Expecto, Fuchu, AutoFixture and MSTest. | The README lists integrations with Boost Test, Google Test and Google Mock. |
| License | The project says its BSD license permits modification and redistribution for commercial and non-commercial purposes. | The repository identifies its license as BSD-2-Clause. |
| Purpose | FsCheck automatically tests .NET programs by checking properties against randomly generated cases. | RapidCheck is a C++ framework for property-based testing inspired by QuickCheck and similar frameworks. |
| Stateful testing | Model-based testing for stateful systems and objects is in the Experimental namespace, where semantic-versioning promises do not apply. | The README describes stateful testing based on commands in the style of Erlang QuickCheck. |
Plans
In their own words
FsCheck
FsCheck checks properties of.NET programs against randomly generated cases. Developers can express properties in F#, C# or VB, then run them with the built-in runner from an interactive session, a command-line program or a test framework. Integrations are documented for xUnit.net and NUnit, with user-created integrations for Expecto, Fuchu, AutoFixture and MSTest. When a property fails, FsCheck shrinks the input and shows a minimal counterexample. Developers can also define custom generators and shrinkers and group them in Arbitrary instances. The library supports parameterized cases and parallel execution, and its packages and NUnit and xUnit.NET plugins are available from NuGet. FsCheck is free: its listed plan is free, with a BSD license permitting commercial and non-commercial modification and redistribution. It runs on Linux, macOS and Windows. The project maintains version 3.x, but its documentation covers 2.x and is described as out of date and incomplete. Its model-based testing API is experimental and exempt from semantic-versioning guarantees.