FsCheck A tool for testing F# programs automatically
Download

FsCheck Ranking & Summary

FsCheck Tags

generator Library Framework automatically update programs class generator Testing Library Testing Framework

FsCheck Description

FsCheck was designed to be a tool for testing F# programs automatically. The programmer provides a specification of the program, in the form of properties which functions, methods or objects should satisfy, and FsCheck then tests that the properties hold in a large number of randomly generated cases. While writing the properties, you are actually writing a testable specification of your program. Specifications are expressed in F#, using combinators defined in the FsCheck library. FsCheck provides combinators to define properties, observe the distribution of test data, and define test data generators. When a property fails, FsCheck automatically displays a minimal counter example. FsCheck test cases and specifications are currently best written using F#. Non-functional languages like C# and VB.net lack the language features necessary to use FsCheck effectively. FsCheck still might be useful for testing programs written in other languages. The generator combinators can be used in any testing framework to easily generate a number of random values for many types.

FsCheck Related Software