Version française
Home     About     Download     Resources     Contact us    

This site is updated infrequently. For up-to-date information, please visit the new OCaml website at

The Caml Hump: Software development :: Testing

Development tools
Bisect [07-Nov-2012, version 1.3, Stable]
Bisect is a coverage tool for the Objective Caml language. It is a camlp4-based tool that allows to instrument your application before running tests. After application execution, it is possible to generate a report in HTML format that is the replica of the application source code annotated with code coverage information.
Author: Xavier Clerc.
Development tools
FORT [21-Aug-2001, version 0.4.1, Alpha]
FORT (Framework for Ocaml Regression Testing) provides an environment for testing programs and Objective Caml modules.
Author: Patrick Doane.
Development tools
Kaputt [30-Aug-2012, version 1.2, Stable]
Kaputt is a testing tool for the Objective Caml language.
Author: Xavier Clerc.
Development tools
Mlcov [13-Dec-2010, version 1.2, Stable] Has a documentation
MLcov is a code coverage tool for Objective Caml programs. It relies on a source code instrumentation technique which allows measuring of Modified Condition/Decision Coverage (MC/DC), the criterion involved in the DO-178B standard to ensure that safety-critical software is tested adequately. The tool is available as a patch against the version 3.12.0 of the Objective Caml compiler sources.
Author: Thomas Moniot.
Native OCaml libraries
OCaml-Benchmark [03-Dec-2004, version 0.6, Beta]
A small module to benchmark running times of code. It supersedes an earlier version by Doug Bagley.
Development tools
Ocuality [23-Oct-2012, version 0.8, Beta] Has a documentation
Integrated Logging, Assertion, and Unit Testing library
Author: Peter Groves.
Native OCaml libraries
OUnit [18-Jun-2012, version 1.1.2, Stable] Has a Godi package
Unit test framework for ocaml. It is based on HUnit, a unit testing framework for Haskell.
Development tools
TestSimple [30-Jan-2007, version 0.01, Alpha]
A unit testing framework for OCaml. It is based heavily on the Perl unit testing framework of the same name, and produces TAP output ( which can be read and analyzed by a wide range of existing Perl tools. The goal of this framework is to make writing unit tests as simple and as easy as possible (hence the name).
Author: Stevan Little.