https://github.com/jacquescarette/gencheck

Test.GenCheck Haskell project
https://github.com/jacquescarette/gencheck

Last synced: about 1 year ago
JSON representation

Test.GenCheck Haskell project

• Host: GitHub
• URL: https://github.com/jacquescarette/gencheck
• Owner: JacquesCarette
• License: bsd-3-clause
• Created: 2012-06-15T20:11:27.000Z (almost 14 years ago)
• Default Branch: master
• Last Pushed: 2018-05-17T19:04:34.000Z (about 8 years ago)
• Last Synced: 2025-04-24T00:07:42.216Z (about 1 year ago)
• Language: TeX
• Size: 1.31 MB
• Stars: 18
• Watchers: 6
• Forks: 2
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: License.txt

Awesome Lists containing this project

README

          
GenCheck

========

Test.GenCheck is a Haskell library for *generalized proposition-based testing*.

It simultaneously generalizes both **QuickCheck** and **SmallCheck**.

Its main novel features are:

- introduces a number of *testing strategies* and *strategy combinators*

- introduces a variety of test execution methods

- guarantees uniform sampling (at each rank) for the random strategy

- guarantees both uniqueness and coverage of all structures for the exhaustive strategy

- introduces an *extreme* strategy for testing unbalanced structures

- also introduces a *uniform* strategy which does uniform sampling along

   an enumeration

- allows different strategies to be mixed; for example one can exhaustively

  test all binary trees up to a certain size, filled with random integers.

- complete separation between properties, generators, testing strategies and test execution methods

The package is based on a lot of previous research in combinatorics 

(combinatorial enumeration of structures, as well as the theory of Species),

as well as a number of established concepts in testing (from a software

engineering perspective).  In other words, further to the features already

implemented in this first release, the package contains an extensible,

general framework for generators, test case generation and management.  It can

also be very easily generalized to cover many more combinatorial structures

unavailable as Haskell types.

The package also provides interfaces for different levels of usage.  In other

words, there is a 'simple' interface for dealing with straightforward testing,

a 'medium' interface for those who want to explore different testing strategies,

and an 'advanced' interface for access to the full power of GenCheck.

The file tutorial/reverse/TestReverseList.lhs shows the simplest kinds of tests

(standard and deep for structures, or base for unstructured types) and

reporting (checking, testing and full report) for the classical list reverse

function.  The files in tutorial/list\_zipper show what can be done with

the medium level interface (this tutorial is currently incomplete).  The brave

user can read the source code of the package for the advanced usage -- but

we'll write a tutorial for this too, later.