Skip to content

test: fully verify more - #885

Closed
a-zw wants to merge 8 commits into
eclipse-score:mainfrom
etas-contrib:fully-verify
Closed

a-zw wants to merge 8 commits into
eclipse-score:mainfrom
etas-contrib:fully-verify

Conversation

@a-zw

@a-zw a-zw commented Sep 30, 2026

Copy link
Copy Markdown
Contributor

📌 Description

Some tests are already "fully" verifying and some just needed a little bit more.

🚨 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

Hard to argue that unit tests for an extension
provide any meaningful coverage for a tool requirement.
@github-actions

Copy link
Copy Markdown
Contributor

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

Copilot AI left a comment

Copy link
Copy Markdown

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Copilot review overview

🟡 Changes recommended

Several verification mappings overstate coverage, one fixture uses an invalid link type, and malformed milestones can still trigger misleading consistency warnings.

Review effort: Balanced
Findings: 5 Medium severity · 1 Low severity

Open (6)
What changed in this PR

Expands metamodel requirement verification and improves malformed milestone handling.

Changes:

  • Adds and broadens RST-based requirement tests.
  • Reclassifies verification metadata.
  • Prevents some invalid milestones from crashing consistency checks.
File Description
tests/​test_metamodel__init__.py Updates unit-test metadata.
tests/​test_check_options.py Updates option-test metadata.
tests/​rst/​safety/​test_saf_violates.rst Expands safety-link tests.
tests/​rst/​safety/​test_saf_mandatory_attrs.rst Updates mandatory-attribute coverage.
tests/​rst/​options/​test_options_options.rst Adds status and security cases.
tests/​rst/​graph/​test_metamodel_graph.rst Updates graph safety coverage.
tests/​rst/​graph/​test_arch_link_safety.rst Adds architecture safety-link tests.
tests/​rst/​attributes/​test_validity.rst Expands milestone validation tests.
tests/​rst/​attributes/​test_prohibited_words.rst Covers additional prohibited words.
tests/​rst/​attributes/​test_common_attr_description.rst Adds description-presence tests.
tests/​rst/​attributes/​test_attributes_format_id_format.rst Reclassifies ID-format verification.
tests/​rst/​architecture/​test_arch_link_fulfils.rst Adds architecture fulfilment tests.
checks/​check_options.py Handles milestone parsing failures.

💡 Add a code-review agent skill or configure MCP servers for context-aware, tailored reviews. Learn more in the docs.

Comment thread src/extensions/score_metamodel/checks/check_options.py
Comment thread src/extensions/score_metamodel/tests/rst/graph/test_metamodel_graph.rst Outdated
Comment thread src/extensions/score_metamodel/tests/rst/safety/test_saf_mandatory_attrs.rst Outdated

Copilot AI left a comment

Copy link
Copy Markdown

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.


.. test_metadata::
:id: test_metadata__arch_link_fulfils
:fully_verifies_list: tool_req__docs_arch_link_fulfils[version==3]
:partially_verifies_list: tool_req__docs_req_attr_validity_correctness,tool_req__docs_req_attr_validity_consistency
.. test_metadata:: Validity attribute checks
:id: test_metadata__validity_checks
:fully_verifies_list: tool_req__docs_req_attr_validity_correctness, tool_req__docs_req_attr_validity_consistency
Comment thread src/extensions/score_metamodel/tests/rst/options/test_options_options.rst Outdated
.. test_metadata::
:id: test_metadata__saf_violates
:partially_verifies_list: tool_req__docs_saf_attrs_violates[version==2]
:fully_verifies_list: tool_req__docs_saf_attrs_violates[version==2]
AlexanderLanin
AlexanderLanin previously approved these changes Oct 2, 2026
:id: test_metadata__metamodel_graph_checks
:fully_verifies_list: potential_tool_malfunction__docs_as_code__m2
:partially_verifies_list: tool_req__docs_common_attr_safety_link_check
:fully_verifies_list: potential_tool_malfunction__docs_as_code__m2,

Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

follow up cleanup: test cases shall not link malfunctions

Comment thread src/extensions/score_metamodel/tests/rst/options/test_options_options.rst Outdated
@AlexanderLanin

Copy link
Copy Markdown
Member

See copilot feedback, it looks correct

@a-zw
a-zw marked this pull request as draft October 5, 2026 07:50
@a-zw

a-zw commented Oct 5, 2026 •

Copy link
Copy Markdown
Contributor Author

@a-zw a-zw closed this Oct 5, 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.

3 participants