[Caml-list] [ANN] MLcov 1.2

2 views
Skip to first unread message

Thomas Moniot

unread,
Nov 25, 2010, 3:47:13 AM11/25/10
to caml...@yquem.inria.fr
Hi list,

I'm happy to announce a new release of MLcov, a code coverage tool for OCaml
programs.
The principle is pretty simple:
1. instrument your source code
2. run tests
3. generate HTML reports to analyze the code coverage.

More specifically, MLcov allows measuring MC/DC, the criterion used in the
DO-178B standard to ensure that safety-critical software is tested
adequately.
The tool is actually used by Esterel Technologies as a verification tool for
the
certification of a DO-178B level A code generator written in Objective Caml.


It currently works only on a subset of OCaml (core + module language) which
is yet
sufficient to instrument large programs, like the OCaml compiler for
instance.
The new version is mainly a port to OCaml 3.12.0, but also adds
(experimental)
support for labels and optional arguments.

More information on the website:
http://www.algo-prog.info/mlcov/

Enjoy!

--
Thomas Moniot

Reply all
Reply to author
Forward
0 new messages