Racket QuickCheck

Overview

Racket QuickCheck is a property-testing library for checking program specifications against generated inputs, aimed at Racket programmers. Its appeal is a Racket-native workflow with configurable test counts and counterexamples; the key trade-off is that it does not shrink failing cases.

Key features

Tests are written as ordinary Racket code, so a specification can be expressed in the language of the program rather than as a separate test format. QuickCheck runs the property against generated values and prints the arguments that falsify it, giving developers a concrete starting point for investigating a failure.

The default is 100 successful tests. Helpers allow runs of 1,000 or 10,000 tests, as well as a custom count, which gives teams a way to increase coverage when a property warrants a larger sample. These are configurable sample counts, not a guarantee that every relevant input will be covered.

Built-in generators cover integers, real numbers, characters, lists, vectors, strings, and symbols, and developers can add custom generators for their own data. That combination suits properties over both common values and domain-specific structures. The rackunit/quickcheck integration raises a RackUnit exception on failure and includes the test count and counterexample arguments, making it a practical fit for projects already using RackUnit.

Installation is through raco pkg install quickcheck or DrRacket’s GUI package manager. The package requires Racket 6.0 or newer. The Racket Package Index reports a successful latest build and passing tests, though it also records missing license metadata.

Pricing

Quickcheck costs nothing. The plan is the Racket package itself, with the Racket 6.0-or-newer requirement; there is no free trial because the software is free. There are no paid tiers or plan caps to weigh against the free option.

Platforms

QuickCheck is for Racket, and Racket offers installers for Windows, macOS, and Linux. The download options include Windows x64 and Arm, Intel and Apple Silicon Macs, and several Linux architectures. This makes it a fit across those desktop systems, but not a language-agnostic testing tool.

Who it's for

Choose QuickCheck if you write Racket programs and want to state properties in Racket, exercise them with generated values, and get counterexample arguments when they fail. Its RackUnit integration is useful when property checks need to sit alongside an existing RackUnit test suite. It is less suited to teams that need automatic shrinking to reduce a failing input to a smaller case, or that need a tool for another programming language.

Racket’s community spaces include Discourse and Discord, as well as Slack, Reddit, and mailing lists. That gives Racket users several places to seek community discussion.

Pros and cons

• Pros: Properties use ordinary Racket code, keeping specifications close to the language being tested.
• Pros: Built-in and custom generators support a range of input types, while adjustable test counts let developers run larger samples when appropriate.
• Pros: RackUnit integration reports failure through a RackUnit exception with the count and counterexample arguments.
• Cons: Failing-case shrinking is absent, so developers may have to diagnose a more complicated counterexample themselves.
• Cons: Racket 6.0 or newer is required, ruling out older installations.
• Cons: License metadata is missing from the package index, a drawback for teams that need clear license information when assessing dependencies.

Alternatives

If the language fit is more important than using Racket, these free property-testing libraries target other ecosystems. Browse property-based testing tools for more options.

• ScalaCheck is the free alternative to consider for Scala; it is described as an open-source library under the BSD-3-Clause license.
• FsCheck is a free, BSD-licensed library distributed through NuGet packages.
• fast-check is a free, MIT-licensed JavaScript/TypeScript option with API, Linux, and web platforms.
• Gopter is a free, MIT-licensed Go property-testing library for Linux and self-hosted use.
• JSVerify is a free open-source JavaScript property-testing library for self-hosted and web platforms.
• PropCheck is a free, MIT-licensed Ruby gem for Linux and self-hosted use, requiring Ruby 2.5.1 or newer.
• QCheck is a free OCaml property-testing library for Linux, under the BSD-2-Clause license.
• Scala Hedgehog is a free, open-source Scala testing library for Linux, with no paid plans listed.

Verdict

Racket QuickCheck is a sound choice for Racket programmers who want property checks integrated with their language and RackUnit workflow, without paying for a testing library. Its generated inputs and counterexamples make it useful for exploring properties, but teams that depend on failing-case shrinking should look elsewhere.