ZAMCOV : ZAMCOV

Team : APR

ZAMCOV is a set of tools that allow to generate MC/DC measurement for OCaml programs. The main particularity of ZAMCOV is the non-intrusive aspect. This means that ZAMCOV doesn't rewrite the program to generate traces, as opposed to more classical tools such as MLcov or Bisect. Instead, ZAMCOV uses a modified OCaml virtual machine (also called ZAM or ZAM2) to generate traces, which are then analyzed to produce a coverage report. ZAMCOV generates uses HTML/CSS to format the coverage reports, which consist in the source code annotated with coverage information, including MC/DC measurement.

Software leader : Philippe WANG
http://www.algo-prog.info/zamcov