forked from functionaljava/functionaljava
-
Notifications
You must be signed in to change notification settings - Fork 0
Expand file tree
/
Copy pathpackage-info.java
More file actions
18 lines (18 loc) · 1.13 KB
/
package-info.java
File metadata and controls
18 lines (18 loc) · 1.13 KB
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
/**
* Reductio is a software package that provides <em>automated specification-based testing</em> and
* is intended to replace traditional testing techniques that have very little automation. Reductio
* encourages users to express <em>properties</em> or <em>theorems</em> 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 {@link Shrink 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.
*
* @version %build.number%
*/
package fj.test;