Document tree map

This is a general representation of a document tree. All nodes are included, both normative (e.g., REQUIREMENT) and non-normative (e.g., TEXT). The numbers indicate how many nodes each section or node contains.

Requirements coverage with source

This graph shows which requirements are covered by at least one source file. A requirement is also considered covered if it has child requirements that are themselves covered by source files.

• Green – Requirement/section is fully covered with one or more source file.
• Yellow – Section is partially covered with one or more source file.
• Red – Requirement/section is not covered by any source files.

Requirements coverage with test

This graph shows which requirements are covered by at least one test. A requirement is also considered covered if it has child requirements that are themselves covered by tests. A source file is considered a test file if its path contains "tests/".

• Green – Requirement/section is fully covered with one or more tests.
• Yellow – Section is partially covered with one or more test.
• Red – Requirement/section is not covered with by any tests.