You can download a free version of QuickCheck with unrestricted use, that offers a feature subset comparable to Haskell QuickCheck. QuickCheck Mini makes QuviQ’s technology for simplifying failing test cases available to a wide audience, and it can be freely used for testing personal, open source, or commercial software. We have released it in the hope that it can help the Erlang community discover the benefits of property-based testing, and develop even better software as a result. QuickCheck Mini can be downloaded from QuviQ’s web site here; we show a comparison of features with the full version underneath. Try it out and have fun!


QuickCheck Mini

A free version!

  • Supports property-based testing
  • Offers a rich domain-specific language for test case generation
  • Simplifies failing test cases to minimal examples using Quviq’s proprietary algorithms (“shrinking”)
  • Supports user-programmable shrinking strategies
  • Gathers user-defined statistics on the executed tests
  • Upward compatible with full QuickCheck
  • Free!
  • Tests against state-machine specifications of stateful systems
  • Supports Finite State Machine models, with automated transition weighting
  • Generates and runs parallel test cases to find race conditions
  • Generators for injecting faults into test data
  • Generates test data from yecc grammars
  • Provides a seamless interface for testing C code
  • Includes PULSE, a randomizing scheduler for Erlang
  • Delivered with an Emacs mode to make creating specifications easy
  • Integrates with Common Test
  • Commercially supported
Free
Download

QuickCheck

Full version

  • Supports property-based testing
  • Offers a rich domain-specific language for test case generation
  • Simplifies failing test cases to minimal examples using Quviq’s proprietary algorithms (“shrinking”)
  • Supports user-programmable shrinking strategies
  • Gathers user-defined statistics on the executed tests
  • Upward compatible with full QuickCheck
  • Free!
  • Tests against state-machine specifications of stateful systems
  • Supports Finite State Machine models, with automated transition weighting
  • Generates and runs parallel test cases to find race conditions
  • Generators for injecting faults into test data
  • Generates test data from yecc grammars
  • Provides a seamless interface for testing C code
  • Includes PULSE, a randomizing scheduler for Erlang
  • Delivered with an Emacs mode to make creating specifications easy
  • Integrates with Common Test
  • Commercially supported
Commercial
Contact
Download our one-page Quviq Flyer for more information.