Coverage PDF Report

Overview

Coverage PDF Report contains all coverage information under almost non-modifiable PDF format. It is intended for end customers. It proves the coverage rate.

Format

The format is PDF with bookmarks and internal links.

The sections are:

• The pie chart presents the share of each status. Pie char colors can be customized.
• The first page presents the statement and coverage syntax and the active filters.
• The section FILES lists of analyzed files present each input file, its size and CRC code at read time.
• The section SUMMARY list all requirements with status, ID, Version and Title. The ID is an hyper-link to the requirement details below in the report.
• The sections CORRECT, PARTIAL etc. present the details of each requirement grouped by status.

Each detail presents:

• Status presents the requirement overall status
• Stat. Version presents the value of the version for which the requirement has been created of updated
• Management Rate presents the management rate for this requirement (see Coverage Rate, Management Rate)
• Coverage Rate presents the coverage rate for this requirement (see Coverage Rate, Management Rate)
• Text presents the requirement text
• Statement presents the location where the requirement is defined
• Coverage presents the location where the requirement is covered. A required can be covered at several location.