GNATcoverage User’s Guide [GNATcoverage 1.1.0w (20120524)]

• Getting Started
• Program Execution with gnatcov run
  • gnatcov run command line
  • Trace Contents and Control
    • Trace file contents
    • Trace control for MCDC
• Coverage Assessments with gnatcov coverage
  • 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 (--scos)
    • Inlining & Generic Units
  • Object Coverage Analysis
    • General principles & Compilation requirements
    • Output report formats (--annotate)
    • Object Instruction Coverage analysis (--level=insn)
    • Object Branch Coverage analysis (--level=branch)
    • Focusing on subprograms of interest (--routines)
    • Inlining & Generic units
  • Source/Object Coverage Considerations
    • Object vs Source level metrics
    • Exemption Regions
    • Coverage Consolidation
• Appendices
  • Sample html index
  • Sample html annotated source
• Glossary of terms & concepts