Skip to content
Wrappers for QuickCheck and PropEr testing tools
Erlang Makefile
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Failed to load latest commit information.
doc
include
src
.gitignore
README.md
rebar
rebar.config

README.md

QC - Wrappers for QuickCheck and Proper testing tools

Copyright (c) 2011 by Gemini Mobile Technologies, Inc.

Authors: Joseph Wayne Norton (norton@alum.mit.edu).

QC is an Erlang application that provides a set of wrappers for QuickCheck and Proper testing tools.

This repository is a "work-in-progress" - please contribute if you find QC useful.

##Quick Start Recipe##

To download and build the qc application in one shot, please follow this recipe:

$ mkdir working-directory-name
$ cd working-directory-name
$ git clone git://github.com/norton/qc.git qc
$ cd qc
$ ./rebar get-deps
$ ./rebar clean
$ ./rebar compile
$ ./rebar skip_deps=true doc
##Documentation##

Where should I start?

This README is the only bit of documentation right now.

Please see https://github.com/norton/lets for an Erlang application that has been developed and tested by using only QC.

What is QuickCheck?

QuickCheck is a commercial property-based testing tool for Erlang.

  • A language for stating properties of programs (implemented as a library of functions and macros).

  • A tool for testing properties in randomly generated cases.

See http://www.quviq.com/ for further details.

What is Proper?

PropEr (PROPerty-based testing tool for ERlang) is a QuickCheck-inspired open-source property-based testing tool for Erlang.

See http://proper.softlab.ntua.gr/ for further details.

##Roadmap##

Modules

qc
qc_gen
qc_slave
qc_statem
Something went wrong with that request. Please try again.