polygene-dev mailing list archives

Site index · List index
Message view « Date » · « Thread »
Top « Date » · « Thread »
From Marcel Offermans <marcel.offerm...@luminis.nl>
Subject Re: QuickCheck instead of JUnit
Date Fri, 10 Apr 2015 13:43:09 GMT
On 10 Apr 2015 at 13:45:16, Marcel Offermans (marcel.offermans@luminis.nl) wrote:
I’ll start by doing some research to see if anybody started on such an implementation yet.
Did some browsing and kept some notes on potentially interesting sites for this. I’m dumping
it here in case it helps anybody else.

Some research about it on-line, with the goal of a) understanding how it works and b) finding
a good Java implementation:
http://stackoverflow.com/questions/576901/have-you-used-quickcheck-in-a-real-project - especially
the first answer is valuable
There is a Scala implementation called “ScalaCheck” http://www.scalacheck.org/
There is a Java library that supports ScalaCheck/QuickCheck: https://github.com/functionaljava/functionaljava / http://www.functionaljava.org/
Another implementation is: https://bitbucket.org/blob79/quickcheck
Three Java ports are mentioned here: http://stackoverflow.com/questions/22712961/what-is-the-difference-between-agitar-and-quickcheck-property-based-testing
https://bitbucket.org/blob79/quickcheck (as found above)
http://www.jcheck.org/ (on SF, not updated for 2 years now, 0.1 version)
https://github.com/pholser/junit-quickcheck/ looks more promising.
Blog entries, still need to read them:
https://www.uni-marburg.de/fb12/ps/teaching/ss11/sw-analysis/quickcheck.pdf (german, states
that a combination of QuickCheck and Pex (C#) would be ideal)
podcast: http://www.functionalgeekery.com/episode-10-paul-holser/ (the first half is more
interesting than the last, to me at least)
Another Java implementation: http://yaqc4j.sourceforge.net/
Guice based: https://code.google.com/p/guickcheck/ …code seems very basic
Similar, related links:
http://www.bodden.de/clara/ - Clara (CompiLe-time Approximation of Runtime Analyses) is
a novel research framework for the implementation of hybrid typestate analyses, which use
static analyses to partially evaluate runtime monitors for typestate properties. — has plenty
of docs on the site

  • Unnamed multipart/alternative (inline, None, 0 bytes)
View raw message