Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with
or
.
Download ZIP
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
test/demo
.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.