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

Integrated Logging, Assertion, and Unit Testing library
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.
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).