wiki:Developer/Coverage/Status

Version 17 (modified by shashvat jain, on Dec 9, 2018 at 3:08:56 PM) (diff)

--

An updated wiki page for RTEMS Coverage Analysis can be found here RTEMS Coverage

Code Coverage Status

Results of various Code Coverage runs may be found at http://www.rtems.org/ftp/pub/rtems/people/joel/coverage/. Listed below is some general Code Coverage status information about some of the BSPs supported by RTEMS.

Currently Analyzed

ARM

The SkyEye project has added coverage analysis capabilities per our specifications. We are currently using it on the following ARM targets to generate coverage reports:

  • EDB7312
  • SMDK2410

The graphs below depict the coverage status of the ARM BSPs.

ARM/EDB7312

Imported from old wiki.

ARM/SMDK2410

Imported from old wiki.

i386

The QEMU project (http://libre.adacore.com/libre/tools/coverage/) is working to add the necessary coverage capabilities to that simulator. The source code for this project is available from http://forge.open-do.org/scm/?group_id=8. The following BSP is included in the coverage reports:

  • pc386

The graph below depicts the coverage status of the pc386 BSP.

i386/pc386

The graph below depicts the coverage status of the pc386 BSP.

Imported from old wiki.

M68K/Coldfire

The QEMU project (http://libre.adacore.com/libre/tools/coverage/) is working to add the necessary coverage capabilities to that simulator. The source code for this project is available from http://forge.open-do.org/scm/?group_id=8. The following BSP is included in the coverage reports:

  • uC5282

The graph below depicts the coverage status of the uC5282 BSP.

M68K/uC5282

Imported from old wiki.

PowerPC

The QEMU project (http://libre.adacore.com/libre/tools/coverage/) is working to add the necessary coverage capabilities to that simulator. The source code for this project is available from http://forge.open-do.org/scm/?group_id=8. The following BSP is included in the coverage reports:

  • qemuppc

The graph below depicts the coverage status of the qemuppc BSP.

PowerPC/qemuppc

No image "CodeCoveragepowerpc-qemuppc.png" attached to Developer/Coverage/Status

SPARC

We are using TSIM from Gaisler Research on the following BSPs:

  • ERC32
  • LEON2
  • LEON3

The graphs below depict the coverage status of the SPARC BSPs.

SPARC/ERC32

Imported from old wiki.

SPARC/LEON2

Imported from old wiki.

SPARC/LEON3

Imported from old wiki.

Not Currently Analysed

ARM on Qemu

Qemu has support for the ARM but we do not have a BSP for this configuration. They claim support for the gumstix so that BSP might be close to working on qemu. This would allow us to have trace coverage and do more advanced analysis. The following links may be of help:

Blackfin on Skyeye

Since SkyEye supports this target architecture, we hope to one day get coverage results on the following BSPs:

  • eZKit553

M68K/Coldfire on Skyeye

SkyEye supports the Coldfire but is currently unable to run any RTEMS Coldfire BSP. Work to improve Skyeye's Coldfire support is welcomed. We look forward to being able to use it to perform coverage testing on the following BSPs.

  • mcf5206elite

MIPS on Qemu

Qemu has support for the MIPS but we do not have a BSP for this configuration.

SH on Qemu

Qemu has support for the SuperH but we do not have a BSP for this configuration.

SPARC/LEON2 on Qemu

The Couverture project (http://libre.adacore.com/libre/tools/coverage/) is working to add the necessary coverage capabilities to that simulator. The source code for this project is available from http://forge.open-do.org/scm/?group_id=8

Attachments (7)

Download all attachments as: .zip