[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Qemu-devel] GSoC mentor summit QEMU users session
From: |
Fabien Chouteau |
Subject: |
Re: [Qemu-devel] GSoC mentor summit QEMU users session |
Date: |
Wed, 02 Nov 2011 18:39:43 +0100 |
User-agent: |
Mozilla/5.0 (X11; U; Linux i686; en-US; rv:1.9.2.23) Gecko/20110922 Lightning/1.0b2 Mnenhy/0.8.4 Thunderbird/3.1.15 |
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
gnatcov.pdf
Description: Adobe PDF document
- Re: [Qemu-devel] GSoC mentor summit QEMU users session, Alexander Graf, 2011/11/01
- Re: [Qemu-devel] GSoC mentor summit QEMU users session, Gerd Hoffmann, 2011/11/01
- Re: [Qemu-devel] GSoC mentor summit QEMU users session, Andreas Färber, 2011/11/01
- Re: [Qemu-devel] GSoC mentor summit QEMU users session,
Fabien Chouteau <=
- Re: [Qemu-devel] GSoC mentor summit QEMU users session, Stefan Hajnoczi, 2011/11/03
- Re: [Qemu-devel] GSoC mentor summit QEMU users session, Fabien Chouteau, 2011/11/03
- Re: [Qemu-devel] GSoC mentor summit QEMU users session, Stefan Hajnoczi, 2011/11/04
- Re: [Qemu-devel] GSoC mentor summit QEMU users session, Fabien Chouteau, 2011/11/04
- Re: [Qemu-devel] GSoC mentor summit QEMU users session, Stefan Hajnoczi, 2011/11/04
- Re: [Qemu-devel] GSoC mentor summit QEMU users session, Fabien Chouteau, 2011/11/04
- Re: [Qemu-devel] GSoC mentor summit QEMU users session, Lluís Vilanova, 2011/11/04
- Re: [Qemu-devel] GSoC mentor summit QEMU users session, Fabien Chouteau, 2011/11/07
- Re: [Qemu-devel] GSoC mentor summit QEMU users session, Lluís Vilanova, 2011/11/07
- Re: [Qemu-devel] GSoC mentor summit QEMU users session, Fabien Chouteau, 2011/11/07