EXPERIMENTAL support in Common Test for calling property-based tests.
EXPERIMENTAL support in
Common Test for calling property-based
This module is a first step to run property-based tests in the
Common Test framework. A property testing tool like QuickCheck
or PropEr is assumed to be installed.
The idea is to have a
Common Test test suite calling a property
testing tool with special property test suites as defined by that tool.
The usual Erlang application directory structure is assumed. The tests
are collected in the
test directory of the application. The
test directory has a subdirectory
everything needed for the property tests is collected.
Common Test test suite using
is organized as follows:
-include_lib("common_test/include/ct.hrl"). all() -> [prop_ftp_case]. init_per_suite(Config) -> ct_property_test:init_per_suite(Config). %%%---- test case prop_ftp_case(Config) -> ct_property_test:quickcheck( ftp_simple_client_server:prop_ftp(Config), Config ).
This is experimental code that can be changed or removed anytime without any warning.
Config for property testing.
This function investigates if support is available for either
Quickcheck, PropEr, or Triq. The options
are set in the
The function is intended to be called in function
init_per_suite in the test suite.
The property tests are assumed to be in subdirectory
Calls quickcheck and returns the result in a form suitable for
This function is intended to be called in the test cases in the test suite.