Changes between Version 12 and Version 13 of TBR/UserManual/RTEMS_Coverage_Analysis


Ignore:
Timestamp:
Aug 24, 2009, 2:27:59 AM (10 years ago)
Author:
JoelSherrill
Comment:

/* BSPs Analyzed */ Simplify structure

Legend:

Unmodified
Added
Removed
Modified
  • TBR/UserManual/RTEMS_Coverage_Analysis

    v12 v13  
    9898
    9999
    100 The [wiki:Developer/Simulators/SkyEye SkyEye] project has added coverage analysis capabilities per our specifications. We are currently using it on some ARM targets to generate coverage reports.
    101 == EDB7312 ==
    102 == GumStix ==
    103 == SMDK2410 ==
     100The [wiki:Developer/Simulators/SkyEye SkyEye] project has added coverage analysis capabilities per our specifications. We are currently using it on the following ARM targets to generate coverage reports:
    104101
     102 *  EDB7312
     103 *  GumStix
     104 *  SMDK2410
     105= Blackfin =
     106
     107
     108Since [wiki:Developer/Simulators/SkyEye SkyEye] supports this target architecture, we hope to one day get coverage results on the following BSPs:
     109
     110 *  eZKit553
    105111= Coldfire =
    106112
    107113
    108 Skyeye supports The MCF5206 but is currently unable to run the RTEMS BSP.  Work to improve Skyeye's Coldfire support is welcomed.
     114[wiki:Developer/Simulators/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.
     115
     116 *  mcf5206elite
    109117= i386 =
    110118
    111 == pc386 ==
    112119
     120We 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.  We anticipate that someday we will be able to do coverage testing using Qemu on the following BSPs:
    113121
    114 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.
     122 *  pc386
    115123= SPARC =
    116124
    117125
    118 We are using TSIM from Gaisler Research on all SPARC CPUs. 
    119 == ERC32 ==
    120 == LEON2 ==
    121 == LEON3 ==
     126We are using TSIM from Gaisler Research on the following BSPs:
    122127
    123 = =Standards and Certifications ==
     128 *  ERC32
     129 *  LEON2
     130 *  LEON3
     131= References =
    124132
    125 
    126  *  FAA DO-178B - United States Aviation Standard
    127 =  ==References===
     133=  ==General Coverage Testing===
    128134
    129135
     
    131137 *  [http://en.wikipedia.org/wiki/Modified_Condition/Decision_Coverage| Modified Condition/Decision Coverage Definition]
    132138 *  [http://googletesting.blogspot.com/2008/03/tott-understanding-your-coverage-data.html| TotT: Understanding Your Coverage Data]
     139
     140===Standards and Certifications===
     141
     142
     143 *  FAA DO-178B - United States Aviation Standard