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/ |