Changes between Version 66 and Version 67 of TBR/UserManual/RTEMS_Coverage_Analysis


Ignore:
Timestamp:
Sep 19, 2009, 8:08:21 PM (10 years ago)
Author:
JoelSherrill
Comment:

/* BSPs Analyzed */ Reorganize.

Legend:

Unmodified
Added
Removed
Modified
  • TBR/UserManual/RTEMS_Coverage_Analysis

    v66 v67  
    174174
    175175QEMU -- project to do MC/DC .. update here
    176 = BSPs Analyzed =
    177 
    178 
    179 If you know of a simulator that includes coverage analysis, please let us know. 
    180 = ARM =
     176= BSPs Analysed =
     177
     178
     179If you know of a simulator that includes coverage analysis, please let us know.
     180= Currently Analyzed =
     181
     182
     183Results may be found at http://www.rtems.org/ftp/pub/rtems/people/joel/coverage/
     184== ARM ==
    181185
    182186
     
    186190 *  GumStix
    187191 *  SMDK2410
     192= i386 =
     193
     194
     195We have identified using Qemu for the information.  This project (http://libre.adacore.com/libre/tools/coverage/) aims to add the necessary 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.
     196
     197 *  pc386
     198= SPARC =
     199
     200
     201We are using TSIM from Gaisler Research on the following BSPs:
     202
     203 *  ERC32
     204 *  LEON2
     205 *  LEON3
     206= Not Currently Analysed =
     207
    188208= Blackfin =
    189209
     
    198218
    199219 *  mcf5206elite
    200 = i386 =
    201 
    202 
    203 We have identified using Qemu for the information.  This project (http://libre.adacore.com/libre/tools/coverage/) aims to add the necessary capabilities to that simulator.  The source code for this project is available from http://forge.open-do.org/scm/?group_id=8.  Now it is up to you.
    204 
    205 We anticipate that someday we will be able to do coverage testing using Qemu on the following BSPs:
    206 
    207  *  pc386
    208 = SPARC =
    209 
    210 
    211 We are using TSIM from Gaisler Research on the following BSPs:
    212 
    213  *  ERC32
    214  *  LEON2
    215  *  LEON3
     220
     221In addition Qemu has support for the Coldfire and we can run the uC5282 BSP on it.  Unfortunately, the Qemu ColdFire support does not yet include tracing.
     222= PowerPC =
     223
     224
     225Qemu includes support for various PowerPC boards.  We have not yet matched a BSP with one of these that works.  The likely solution is to do a minimal BSP based upon the powerpc-elf support being used by the Qemu developers.  This should result in a minimal but functional BSP and be easy to cobble together.
    216226= References =
    217227