Changes between Version 10 and Version 11 of TBR/UserManual/RTEMS_Coverage_Analysis
- Timestamp:
- 08/22/09 19:01:24 (15 years ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
TBR/UserManual/RTEMS_Coverage_Analysis
v10 v11 112 112 113 113 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. 114 = =SPARC ==114 = SPARC = 115 115 116 116 117 117 We are using TSIM from Gaisler Research on all SPARC CPUs. 118 118 == ERC32 == 119 = ===LEON2==== 119 == LEON2 == 120 == LEON3 == 120 121 121 = ===LEON3====122 = =Standards and Certifications == 122 123 123 124 124 ===References=== 125 * FAA DO-178B - United States Aviation Standard 126 = ==References=== 125 127 126 128 127 * http://en.wikipedia.org/wiki/Code_coverage 128 * http://en.wikipedia.org/wiki/Modified_Condition/Decision_Coverage 129 * [http://en.wikipedia.org/wiki/Code_coverage| Code Coverage Definition] 130 * [http://en.wikipedia.org/wiki/Modified_Condition/Decision_Coverage| Modified Condition/Decision Coverage Definition] 131 * [http://googletesting.blogspot.com/2008/03/tott-understanding-your-coverage-data.html| TotT: Understanding Your Coverage Data]