SqueakCheck

SqueakCheck project page

SqueakCheck is a port of Haskell's QuickCheck.



QuickCheck provides several independent features:




JUnit 4.0 provides precisely the same features - an @Theory takes data from an @DataPoint source, and a custom test runner repeatedly feeds data until the Theory fails.



In SqueakCheck, a TheoryTestCase provides support for running theories - unary methods marked with the or pragmas.



The TheoryTestCase uses the #ClassName to instantiate a prototype. It uses the prototype to generate test cases using a RandomDataGenerator.



To quickly check out the code, run this:




Installer ss
project: 'SqueakCheck';
install: 'SqueakCheck-Info';
install: 'SqueakCheck-Generators';
install: 'SqueakCheck-SUnit';
install: 'SqueakCheck-Runners'.


"If you'd like to see more complex examples, run the below:"
Installer ss
project: 'Nutcracker';
install: 'AlgebraicDataType'.

Installer ss
project: 'SqueakCheck';
install: 'SqueakCheckForAlgebraicDataType'.

ConfigurationOfSqueakCheck-fbs.11.mcz
SqueakCheck-SUnit-fbs.10.mcz
SqueakCheck-Generators-fbs.6.mcz
SqueakCheck-SUnit-fbs.9.mcz
SqueakCheck-SUnit-fbs.8.mcz
SqueakCheck-Runners-fbs.5.mcz
SqueakCheck-Info-fbs.3.mcz
SqueakCheckForAlgebraicDataType-fbs.3.mcz
SqueakCheck-Generators-fbs.5.mcz
SqueakCheckForNutcracker-fbs.1.mcz
SqueakCheck-SUnit-fbs.7.mcz
SqueakCheck-SUnit-fbs.5.mcz
SqueakCheck-Runners-fbs.4.mcz
SqueakCheck-Info-fbs.2.mcz
SqueakCheck-Generators-fbs.4.mcz
SqueakCheck-Runners-fbs.3.mcz
SqueakCheck-SUnit-fbs.4.mcz
SqueakCheckForAlgebraicDataType-fbs.2.mcz
SqueakCheck-Generators-fbs.3.mcz
SqueakCheck-SUnit-fbs.3.mcz
SqueakCheckForAlgebraicDataType-fbs.1.mcz
SqueakCheck-SUnit-fbs.2.mcz
SqueakCheck-Generators-fbs.2.mcz
SqueakCheck-Runners-fbs.2.mcz
SqueakCheck-SUnit-fbs.1.mcz
SqueakCheck-Generators-Tests-fbs.1.mcz
SqueakCheck-Runners-Tests-fbs.1.mcz
SqueakCheck-Runners-fbs.1.mcz
SqueakCheck-Info-fbs.1.mcz
SqueakCheck-Generators-fbs.1.mcz