Esterel Technologies>Downloads>Free Software

MLcov

MLcov is the first coverage tool to automatically measure the MC/DC rate of Objective Caml programs.

The MC/DC coverage criterion is used in the DO-178B standard to ensure that Level A software is tested adequately.

MLcov is currently used by Esterel Technologies as a verification tool involved the certification process of KCG 6.0 (Level A development tool, written in Objective Caml).

An open-source version of MLcov, under CeCILL-B license, is available at http://mlcov.ortsa.com