QuickCheck

Copyright © Quviq AB, 2006-2015.

Version: 2.01.0

QuickCheck is a specification-based testing tool for Erlang. Programs are tested by writing properties in the source code, such as
prop_reverse() ->
  ?FORALL(Xs,list(int()),
    lists:reverse(lists:reverse(Xs)) == Xs).
Properties are tested by calling
eqc:quickcheck(prop_reverse())

which generates 100 random test cases and checks that the property returns true in every case.

Functions for writing properties are found in module eqc, while functions for writing test data generators (such as list(int()) above) are found in module eqc_gen. Parts of the interface are provided via macros, which are defined in eqc.hrl--this file should be included in every module which uses QuickCheck, normally via

-include_lib("eqc/include/eqc.hrl").
This header file also imports much of the QuickCheck API, so it can be used without explicit module names.

The full version of QuickCheck contains many additional features designed for testing large-scale software. See quviq.com for more information.


Generated by EDoc, Sep 2 2015, 11:03:37.