Skip to content

Feature/add report contract 684 #86

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Open
FScholPer wants to merge 5 commits into
base: main
Choose a base branch
from
Open

Feature/add report contract 684 #86

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
5 commits
Select commit Hold shift + click to select a range
3472e1f
Add verification report schema sync contract
FScholPer Jun 9, 2026
0175c41
Fix RST indentation for schema contract table
FScholPer Jun 9, 2026
b5ee71d
Normalize schema contract list-table indentation
FScholPer Jun 9, 2026
9538584
changed to new copyright release
FScholPer Jun 9, 2026
ff95b37
Merge branch 'main' into feature/add_report_contract-684
FScholPer Jun 9, 2026
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
2 changes: 1 addition & 1 deletion .github/workflows/copyright.yml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -19,6 +19,6 @@
types: [checks_requested]
jobs:
copyright-check:
uses: eclipse-score/cicd-workflows/.github/workflows/copyright.yml@829b3e11ccbf924a5782f7bfed647cb1619fdf78 # v0.0.1
uses: eclipse-score/cicd-workflows/.github/workflows/copyright.yml@v0.0.2
with:
bazel-target: "run --lockfile_mode=error //:copyright.check"

Check warning

Code scanning / CodeQL

Workflow does not contain permissions Medium

Actions job or workflow does not limit the permissions of the GITHUB_TOKEN. Consider setting an explicit permissions block, using the following as a minimal starting point: {}
34 changes: 34 additions & 0 deletions docs/verification_report/module_verification_report.rst
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -38,6 +38,40 @@ It covers all the components of the above stated module.

Verification Report contains:

.. note:: Schema synchronization contract

The following fields define the canonical section keys and descriptions used for
machine-readable verification report schema synchronization.

.. list-table:: Verification report section contract fields
:header-rows: 1
:widths: 1 2 5

* - section_index
- section_key
- section_description
* - 1
- verification_coverage
- Coverage on requirements, architecture, and detailed design including test and inspection results.
* - 2
- dfa_report
- Report of component DFA results including verdict and open mitigations.
* - 3
- safety_analysis_report
- Report of component safety analysis results including verdict and open mitigations.
* - 4
- unit_verification
- Unit-level verification coverage including structural coverage, static analysis, and manual inspection.
* - 5
- software_component_qualification
- Verification results for qualification of pre-developed software components.
* - 6
- test_results
- Per-testcase execution result status.
* - 7
- test_logs
- Per-testcase execution logs with pass/fail/not_run status context.

**1. Verification Coverage**

**1.1. on Requirements**
Expand Down
Loading