|
Copyright 2008 - 2009 Tony Morris, Runar Bjarnason, Tom Adams, Brad Clow, Ricky Clarkson, Nick Partridge, Jason Zaugg This software is released under an open source BSD licence. |
||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |
See:
Description
Class Summary | |
---|---|
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. |
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.
|
Copyright 2008 - 2009 Tony Morris, Runar Bjarnason, Tom Adams, Brad Clow, Ricky Clarkson, Nick Partridge, Jason Zaugg This software is released under an open source BSD licence. |
||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |