On 29/10/2011 15:52, Alexander Graf wrote:
> The RTEMS guys use QEMU to do coverage testing of their kernel code.
> They run their test-cases and see if all of their code and branches
> have been hit. Adacore seems to have a patches version of QEMU to
> provide an easily parsable log file for that sort of thing. Might be a
> good idea to consolidate upstream. Patches welcome :)

That's right we do have a coverage analysis solution based on Qemu.
Execution traces generated by Qemu are analyzed by the GNATcoverage
tool to provide object, statement, decision or Modified
Condition/Decision coverage analysis.

The main interest of Qemu is to provide execution traces without
code instrumentation.

Alex, it is of course in our plans to submit patches to the upstream Qemu ;)

I give you some pointers if you want to find more on GNATcoverage (technical stuff :)

 * GNATcoverage is hosted on forge.open-do.org. You can checkout the
   repository with:

     $ svn checkout svn://scm.forge.open-do.org/scmrepos/svn/couverture/trunk/couverture

   From there, you have
     * the tool source tree in "tools"
     * a synthesis article in "publications" : 201005-erts2.pdf

 * GNATcov's documentation attached to this email

Regards,

-- 
Fabien Chouteau