API Reference PropCheck v1.4.1
Provides the macros and functions for property based testing
proper as base implementation.
PropCheck supports many
PropEr, but the automated generation of test data
generators is only partially supported due to internal features of
PropEr focusing of Erlang only.
This modules contains all basic type generators from PropEr. It is
automatically available by
The finite state machine approach for stateful systems, which is closer
Provides functions and macros for instrument byte code with additional yields and other constructs to ease testing of concurrent programs and state machines.
An agent to gather unique PropCheck-internal output from tests.
This module defines the
:proper_statem behaviour, useful for testing
stateful reactive systems whose internal state and side-effects are
specified via an abstract state machine. Given a callback module
:proper_statem behaviour (i.e. defining an abstract state
machine of the system under test), PropEr can generate random symbolic
sequences of calls to that system.
DEPRECATED : This module is deprecated, please use
This module defines the top-level behaviour for targeted property-based testing (TPBT). Using TPBT the input generation is no longer random, but guided by a search strategy to increase the probability of finding failing input. For this to work the user has to specify a search strategy and also needs to extract utility-values from the system under test that the search strategy then tries to maximize.