..
   # *******************************************************************************
   # Copyright (c) 2025 Contributors to the Eclipse Foundation
   #
   # See the NOTICE file(s) distributed with this work for additional
   # information regarding copyright ownership.
   #
   # This program and the accompanying materials are made available under the
   # terms of the Apache License Version 2.0 which is available at
   # https://www.apache.org/licenses/LICENSE-2.0
   #
   # SPDX-License-Identifier: Apache-2.0
   # *******************************************************************************

.. _verification_report_templates:

Verification Report Templates
=============================

.. gd_temp:: Module Verification Report Template
    :id: gd_temp__mod_ver_report
    :status: valid
    :complies: std_req__iso26262__software_942, std_req__iso26262__software_1042, std_req__iso26262__software_1043,
      std_req__iso26262__support_9431, std_req__iso26262__support_9432, std_req__iso26262__support_9433, std_req__iso26262__support_9434,
      std_req__iso26262__support_12422, std_req__iso26262__support_12423, std_req__iso26262__support_12424, std_req__iso26262__support_12425,
      std_req__iso26262__support_1243,
      std_req__iso26262__analysis_749, std_req__iso26262__analysis_848

    This document implements :need:`wp__verification_module_ver_report`.

      | Place the document header here following the definitions in template
      | :need:`gd_temp__documentation`.
      |
      | This verification report is based on the :need:`wp__verification_plan`.
      | It covers all the components of the above stated module.
      |
      | Verification Report contains:
      |
      | **1. Verification Coverage**
      |
      | **1.1. on Requirements**
      | - Lists of component requirements (incl. AoU satisfied by the component) tested by which test case, passed/failed/not_run and completeness verdict
      |   (this shall be generated by tools and accompanied by progress charts to be usable also for project steering)
      | - For external component Assumptions of Use: coverage by platform safety manual or feature/components incl. test case, passed/failed and completeness verdict
      | - This is split in a list of QM requirements tested and a separate list of tests for ASIL rated requirements.
      | - List of component requirements (ASIL rated) linked to inspection checklist and verdict (derived from PR export)
      |
      | **1.2. on Architecture**
      | - List of component architecture tags tested by which test case, passed/failed and completeness verdict
      |   (this shall be generated by tools and accompanied by progress charts to be usable also for project steering)
      | - This is split in a list of QM components tested and a separate list of tests for ASIL rated components.
      | - List of component architecture tags (ASIL rated) linked to inspection checklist and verdict (derived from PR export)
      |
      | **1.3. on Detailed Design**
      | - List of detailed design tags tested by which test case, passed/failed and completeness verdict
      |   (this shall be generated by tools and accompanied by progress charts to be usable also for project steering)
      | - This is split in a list of QM components tested and a separate list of tests for ASIL rated components.
      | - List of detailed design tags (ASIL rated) linked to inspection checklist and verdict (derived from PR export)
      |
      | - The lists may also contain other verification methods like "Analysis" - process tbd
      |
      | **2. DFA Report**
      | - List of the performed component DFA, pass/fail with open mitigations
      |
      | **3. Safety Analysis Report**
      | - List of the performed component Safety Analysis, pass/fail with open mitigations
      |
      | **4. Unit Verification Coverage**
      |
      | **4.1. Structural Coverage**
      | - List of the units with C0(line) and C1(branch) coverage absolute and percentage
      |   (this shall be generated by tools and accompanied by progress charts to be usable also for project steering)
      | - List includes a column for the safety rating of each unit.
      |
      | **4.2. Static Code Analysis**
      | - List of the units with compiler warning numbers and coding rule violation numbers
      |   (this shall be generated by tools and accompanied by progress charts to be usable also for project steering)
      | - List includes a column for the safety rating of each unit.
      |
      | **4.3. Manual Code Inspection**
      | - List of components (ASIL rated) linked to inspection checklist and verdict (derived from PR export)
      |
      | **5. Software component qualification verification report**
      | - Contains the needed verification results if for some components a qualification of pre-developed SW is performed.
      |
      | **6. Test results**
      | - Test result per test case with status passed/failed/not_run
      |
      | **7. Test logs**
      | - Test log per test case with status passed/failed/not_run

    **Note1:** The verification report is valid for the module version tagged together with the report

    **Note2:** All the above lists are generated automatically

.. gd_temp:: Platform Verification Report Template
    :id: gd_temp__platform_ver_report
    :status: valid
    :complies: std_req__iso26262__software_1042,
      std_req__iso26262__support_9431, std_req__iso26262__support_9432, std_req__iso26262__support_9433, std_req__iso26262__support_9434,
      std_req__iso26262__analysis_749, std_req__iso26262__analysis_848

    This document implements :need:`wp__verification_platform_ver_report`.

      | Place the document header here following the definitions in template
      | :need:`gd_temp__documentation`.
      |
      | This verification report is based on the :need:`wp__verification_plan`.
      | It covers all the selected features of the SW platform.
      |
      | Verification Report contains:
      |
      | **1. Verification Coverage**
      |
      | **1.1. on Requirements**
      | - Lists of feature requirements tested by which test case, passed/failed/not_run and completeness verdict
      |   (this shall be generated by tools and accompanied by progress charts to be usable also for project steering)
      | - For external component Assumptions of Use: coverage by platform safety manual or feature
      | - This is split in a list of QM requirements tested and a separate list of tests for ASIL rated requirements.
      | - List of feature requirements (ASIL rated) linked to inspection checklist and verdict (derived from PR export)
      |
      | **1.2. on Architecture**
      | - List of feature architecture tags tested by which test case, passed/failed and completeness verdict
      |   (this shall be generated by tools and accompanied by progress charts to be usable also for project steering)
      | - This is split in a list of QM features tested and a separate list of tests for ASIL rated features.
      | - List of feature architecture tags (ASIL rated) linked to inspection checklist and verdict (derived from PR export)
      |
      | - The lists may also contain other verification methods like "Analysis" - process tbd
      |
      | **2. DFA Report**
      | - List of the performed Feature DFA, pass/fail with open mitigations
      |
      | **3. Safety Analysis Report**
      | - List of the performed Feature Safety Analysis, pass/fail with open mitigations
      |
      | **4. Test results**
      | - Test result per test case with status passed/failed/not_run
      |
      | **5. Test logs**
      | - Test log per test case with status passed/failed/not_run

    **Note1:** The verification report is valid for the platform version tagged together with the report

    **Note2:** All the above lists are generated automatically