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.
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.
Kaputt
[30-Aug-2012, version
1.2,
Stable]
Kaputt is a testing tool for the Objective Caml language.
Mlcov
[13-Dec-2010, version
1.2,
Stable]

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.
Ocuality
[23-Oct-2012, version
0.8,
Beta]

Integrated Logging, Assertion, and Unit Testing library
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 (http://en.wikipedia.org/wiki/Test_Anything_Protocol) 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).
Libraries
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.
OUnit
[18-Jun-2012, version
1.1.2,
Stable]

Unit test framework for ocaml. It is based on HUnit, a unit testing framework for Haskell.