Package fj.test

Reductio is a software package that provides automated specification-based testing and is intended to replace traditional testing techniques that have very little automation.

See: Description

Class Summary

Class	Description
Arbitrary<A>	The type used to generate arbitrary values of the given type parameter (A).
Arg<T>	An argument used in a property that may have undergone shrinking following falsification.
Bool	A boolean wrapper that works well with properties.
CheckResult	An enumeration of the possible results after checking a property.
Coarbitrary<A>	Transforms a type and a generator to produce a new generator.
Gen<A>	A generator for values of the type of the given type parameter (A).
Property	Represents an algebraic property about a program that may be checked for its truth value.
Rand	A random number generator.
Result	The result of evaluating a property.
Shrink<A>	Represents a shrinking strategy over the given type parameter if that type can be represented as a tree structure.
Variant	A memoised generator variant.

Package fj.test Description

Reductio is a software package that provides automated specification-based testing and is intended to replace traditional testing techniques that have very little automation. Reductio encourages users to express properties or theorems about their software, and the testing and reporting of the status of those properties occurs by automating various aspects. For example, if a property is found to be false (i.e. a test fails), then the counter-example may be reduced while still falsifying the property so that the reported counter-example is the simplest found (this is called shrinking). The expression of the property also serves as very rigorous documentation for the code under test; far surpassing that provided by traditional testing techniques. Many of the concepts of Reductio originated with a paper called QuickCheck: A Lightweight Tool for Random Testing of Haskell Programs by Koen Claassen and John Hughes from Chalmers University of Technology. Reductio also borrows ideas from ScalaCheck by Rickard Nilsson.