ZAMCOV

ZAMCOV: a non-intrusive coverage tool for OCaml, with MC/DC measurement

ZAMCOV Download Documentation Contact Projet Couverture
Table of Contents

ZAMCOV

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.

MC/DC

MC/DC measurement is widely used in critical software testing. It's a “compromise” between full conditions coverage (2N tests for a decision composed with N conditions) and minimal conditions coverage (2 tests for any decision), by demanding N+1 tests.

Projet Couverture

Couverture” is a project which addresses non-intrusive code coverage measurement and provides free open-source software for this purpose.

ZAMCOV is part of “Couverture”. There are other parts in project “Couverture”, which use QEMU virtual machine and ADA language.

Team

Members and participation periods

  • Emmanuel Chailloux (2008-present)
  • Philippe Wang (2008-present)
  • Adrien Jonquet (2008-2010)
  • Mathias Bourgoin (2009)
  • Alexis Darrasse (2009-present)

Contact

zamcov.txt · Last modified: 2012/03/13 17:46 by philippe
Cette page utilise JavaScript. Si ce texte est visible, c'est que JavaScript est indisponible. Certains contenus ne vous sont alors pas accessibles.
Recent changes RSS feed Donate Powered by PHP Valid XHTML 1.0 Valid CSS Driven by DokuWiki