Skip to content

Improve graph checks - #719

Closed
a-zw wants to merge 3 commits into
eclipse-score:mainfrom
etas-contrib:improve-graph-checks
Closed

a-zw wants to merge 3 commits into
eclipse-score:mainfrom
etas-contrib:improve-graph-checks

Conversation

@a-zw

@a-zw a-zw commented Aug 13, 2026

Copy link
Copy Markdown
Contributor

📌 Description

Resolves one finding from eclipse-score/score#3180

Extend safety/security graph checks to all relation types (M3, M5). The metamodel defines five graph checks; the safety/security-relevant ones constrain only derived_from, fulfils and the safety variant of implements (complies covers the ASPICE-40 workproduct rule, not safety/security). satisfied_by, covers, includes, uses, belongs_to, consists_of, etc. remain unchecked. A safety-relevant element linked to a non-safety one via any relation should be flagged, closing the gap where a wrong classification or disallowed link enters the baseline undetected.

Consolidates four requirements into one.

🚨 Impact Analysis

  • This change does not violate any tool requirements and is covered by existing tool requirements
  • This change does not violate any design decisions
  • Otherwise I have created a ticket for new tool qualification

✅ Checklist

  • Added/updated documentation for new or changed features
  • Added/updated tests to cover the changes
  • Followed project coding standards and guidelines

@github-actions

Copy link
Copy Markdown
Contributor

License Check Results

🚀 The license check job ran with the Bazel command:

bazel run --lockfile_mode=error //src:license-check

Status: ⚠️ Needs Review

Click to expand output
[License Check Output]
Extracting Bazel installation...
Starting local Bazel server (8.6.0) and connecting to it...
INFO: Invocation ID: 25fe9cb0-d414-4c14-b9ba-0c48e082705b
Computing main repo mapping: 
Loading: 
Loading: 0 packages loaded
Loading: 0 packages loaded
Loading: 0 packages loaded
    currently loading: src
WARNING: Target pattern parsing failed.
ERROR: Skipping '//src:license-check': no such target '//src:license-check': target 'license-check' not declared in package 'src' defined by /home/runner/work/docs-as-code/docs-as-code/src/BUILD
ERROR: no such target '//src:license-check': target 'license-check' not declared in package 'src' defined by /home/runner/work/docs-as-code/docs-as-code/src/BUILD
INFO: Elapsed time: 5.512s
INFO: 0 processes.
ERROR: Build did NOT complete successfully
ERROR: Build failed. Not running target

@github-actions

Copy link
Copy Markdown
Contributor

Documentation preview for this pull request is available at:
pr-719: https://eclipse-score.github.io/docs-as-code/pr-719/

@a-zw
a-zw marked this pull request as draft August 13, 2026 15:05
@a-zw a-zw closed this Aug 17, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

Development

Successfully merging this pull request may close these issues.

1 participant