Coverage Assessments with gnatcov coverageΒΆ
Once a program was run and execution traces are available, the gnatcov coverage command line allows assessing the achieved coverage with respect to a range of possible criteria, producing reports in a variety of possible formats.
- gnatcov coverage command line
- Source Coverage Analysis
- General principles & Compilation requirements
- Output report formats (
--annotate
) - Statement Coverage analysis (
--level=stmt
) - Decision Coverage analysis (
--level=stmt+decision
) - Modified Condition/Decision Coverage analysis (
--level=stmt+mcdc
) - Specifying the units of interest
- Inlining & Ada Generic Units
- Handling Ada assertions and contracts
- Processing of C macros
- Optimization and non-coverable items
- Object Coverage Analysis
- Object/Source level metrics considerations
- Coverage Consolidation
- Coverage State Checkpoints
- Coverage Exemptions
- Using project files