GNATcoverage User’s Guide [GNATcoverage 1.2.0w (20130520)]

• Getting Started
  • General Principles
  • Example session
• 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
    • 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
    • Full object coverage considerations
  • Source/Object Coverage Considerations
    • Object vs Source level metrics
    • Exemption Regions
    • Coverage Consolidation
    • Using project files
• Trace Importation with gnatcov convert
  • gnatcov convert command line
  • Nexus Traces from MPC5634M
    • winIDEA Analyzer Settings
• Appendices
  • Sample html index
  • Sample html annotated source
• Glossary of terms & concepts