New QuickCheck release
supports race condition and C-code testing
10th October, 2009Coincidental with the Erlang User Conference, Quviq
is releasing a major new version of QuickCheck, release 1.18. The new
features in this release include:
- PULSE, a randomising scheduler for Erlang, which can be used to
provoke race conditions in Erlang code during unit testing,
- an interface to C, making it easy to test C code with a
specification written in Erlang without writing glue code,
- grammar-based test case generation that can turn a yecc grammar
into a QuickCheck generator.
A trial version is available for download
here.
|
|