Skip to content

test: fully verify common status/security attribute requirements - #906

Open
a-zw wants to merge 2 commits into
eclipse-score:mainfrom
etas-contrib:fully-verify-common-attr-status-security
Open

a-zw wants to merge 2 commits into
eclipse-score:mainfrom
etas-contrib:fully-verify-common-attr-status-security

Conversation

@a-zw

@a-zw a-zw commented Oct 5, 2026

Copy link
Copy Markdown
Contributor

📌 Description

Improves coverage.

🚨 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

github-actions Bot commented Oct 5, 2026

Copy link
Copy Markdown
Contributor

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

@@ -0,0 +1,603 @@
..

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

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

I wonder if it makes sense to fully tests all permutations in RST, or if we have additional unit tests that tests the logic, and then just have 1 type that has positive/negative/edgecase?

Not sure if that is better or worse.

@a-zw @AlexanderLanin thoughts?


.. test_metadata::
:id: test_metadata__common_attrs
:fully_verifies_list: tool_req__docs_common_attr_status[version==2], tool_req__docs_common_attr_security[version==1]

Copy link
Copy Markdown
Contributor Author

Choose a reason for hiding this comment

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

Test tool_req__docs_common_attr_status and tool_req__docs_common_attr_security in separate files.

Comment on lines +119 to +123
.. logic_arc_int:: Support logical interface
:id: logic_arc_int__attrs_support
:security: NO
:safety: QM
:status: valid

Copy link
Copy Markdown
Contributor Author

Choose a reason for hiding this comment

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

Try to reduce the number directive via equivalence classes?

Every directive has its own metamodel regex,
so each one gets at least one invalid-value (negative) case;
the missing-value cases cover the mandatory-attribute mechanism
for all four requirement types.

Copy link
Copy Markdown
Contributor Author

Choose a reason for hiding this comment

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

Write down the permutation generation as pseudo-code?

@a-zw
a-zw force-pushed the fully-verify-common-attr-status-security branch from 6bd89cc to 12bc1ea Compare October 6, 2026 07:49
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

Status: No status

Development

Successfully merging this pull request may close these issues.

2 participants