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
_______________________________________________ Caml-list mailing list. Subscription management: http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list Archives: http://caml.inria.fr Beginner's list: http://groups.yahoo.com/group/ocaml_beginners Bug reports: http://caml.inria.fr/bin/caml-bugs
