English version
Accueil     À propos     Téléchargement     Ressources     Contactez-nous    

The Caml Hump: Mlcov

Mlcov

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.
Homepage ]
Author:Thomas Moniot.
Last modification date:13-Dec-2010
Version:1.2
Development status:Stable
Kind: Development tools
License: Open Source :: CECILL-B
Topic: Software development :: Testing
Homepage:http://www.algo-prog.info/mlcov/