Re: [Caml-list] Quick Check like testing for OCaml?

[Simon Cruanes <simon.cruanes.2007@m4x.org>]

[-- Attachment #1: Type: text/plain, Size: 1746 bytes --]

There is also qtest (also called iTeML on github) which is a bit
special: it's a testing framework providing unit testing through OUnit,
and simple random testing; its specificy is that tests can be written in
comments within the module to test, so that the code itself has no additional
dependencies or code bloat due to tests. It is very easy to write new
tests, since you don't have to add specific test modules.
It is used, afaik, at least in Batteries and in containers.

I am probably going to work on making qtest and qcheck a bit closer, if
qtest's developper(s) agree.

Cheers,

Le Sun, 13 Sep 2015, Török Edwin a écrit :
> On 09/13/2015 11:09 AM, Keiko Nakata wrote:
> > Hi,
> > 
> > I am looking for (reasonably matured and hopefully easy to install) QuickCheck-like property based testing software for OCaml code.
> > 
> > Any information is appreciated!
> 
> There is qcheck.0.4, quickcheck.1.0.2 and kaputt.1.2 on opam. 
> qcheck has documentation in the mli, integration with OUnit and quite easy to get started with.
> Kaputt also has reducers (to produce smaller counterexamples), and SmallCheck-like enumeration tests.
> 
> I haven't tried quickcheck, and haven't found an equivalent to SmartCheck's counterexample generalization [1]
> 
> [1] https://www.cs.indiana.edu/~lepike/pubs/smartcheck.pdf
> 
> Best regards,
> --Edwin
> 
> -- 
> Caml-list mailing list.  Subscription management and archives:
> https://sympa.inria.fr/sympa/arc/caml-list
> Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
> Bug reports: http://caml.inria.fr/bin/caml-bugs


-- 
Simon Cruanes

http://weusepgp.info/
key 49AA62B6, fingerprint 949F EB87 8F06 59C6 D7D3  7D8D 4AC0 1D08 49AA 62B6

[-- Attachment #2: signature.asc --]
[-- Type: application/pgp-signature, Size: 819 bytes --]