Skip to content

Update baselibs feature requirements per inspection findings#3071

Open
4og wants to merge 1 commit into
mainfrom
4og_baselibs_req_inspection_fixes
Open

Update baselibs feature requirements per inspection findings#3071
4og wants to merge 1 commit into
mainfrom
4og_baselibs_req_inspection_fixes

Conversation

@4og

@4og 4og commented Jul 9, 2026

Copy link
Copy Markdown
Member

Applies the fixes for the baselibs feature requirement inspection (#2812), tracked in eclipse-score/baselibs#189.

  • REQ_02_02 (unambiguous): replaced feat_req__baselibs__core_utilities and feat_req__baselibs__safety with a more specific feat_req__baselibs__utils_library; removed feat_req__baselibs__consistent_apis, feat_req__baselibs__maintainable_design, and feat_req__baselibs__security; added feat_req__baselibs__static_reflection_library; pinned containers to the ISO C++17 standard library.
  • REQ_03_01 (linkage): added stkh_req__dependability__automotive_safety to all ASIL-B requirements that lacked it.
  • REQ_04_01 (consistency): normalized titles (JSON/FlatBuffers/Filesystem/Result Library) and unified "base libraries" wording.
  • REQ_07_02 (security): set :security: YES on all requirements to inherit from stkh_req__functional_req__base_libraries.

Fixes eclipse-score/baselibs#189

@4og

4og commented Jul 9, 2026

Copy link
Copy Markdown
Member Author

I'm not sure if these kind of changes in requirements justify bumping to a new need version

@4og 4og requested a review from aschemmel-tech July 9, 2026 12:51
@github-actions

github-actions Bot commented Jul 9, 2026

Copy link
Copy Markdown

The created documentation from the pull request is available at: docu-html

@aschemmel-tech aschemmel-tech left a comment

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.

see inline comments

@@ -35,12 +35,12 @@ Requirements

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.

version needs to be changed, already because of the security attribute change, same for other requirements. There is a description in https://eclipse-score.github.io/process_description/main/process_areas/requirements_engineering/requirements_concept.html#significant-requirement-changes

Copy link
Copy Markdown
Member Author

Choose a reason for hiding this comment

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

Done

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 think we should also set the document version to 2

Comment thread docs/features/baselibs/docs/requirements/index.rst Outdated
Comment thread docs/features/baselibs/docs/requirements/index.rst Outdated
Comment thread docs/features/baselibs/docs/requirements/index.rst Outdated
Comment thread docs/features/baselibs/docs/requirements/index.rst Outdated
Comment thread docs/features/baselibs/docs/requirements/index.rst Outdated
The base libraries shall provide consistent APIs while respecting language-specific idioms.
The base libraries shall provide uniform API design patterns across all components while respecting language-specific idioms.

.. feat_req:: Maintainable Design

Copy link
Copy Markdown
Member Author

Choose a reason for hiding this comment

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

Drop this requirement as well. It is similar to architecture inspection checklist ARC_03_02

@4og 4og force-pushed the 4og_baselibs_req_inspection_fixes branch 2 times, most recently from 99d2ce5 to d6f8bc2 Compare July 13, 2026 12:13

@aschemmel-tech aschemmel-tech left a comment

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.

some fixed, some new comments

:derived_from: stkh_req__functional_req__base_libraries[version==1], stkh_req__dependability__automotive_safety[version==1]
:satisfied_by: feat__baselibs[version==1]
:status: valid
:version: 1

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.

forgot to set one version 1 to 2

Copy link
Copy Markdown
Member Author

Choose a reason for hiding this comment

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

done

Comment thread docs/features/baselibs/docs/requirements/index.rst Outdated
- :need:`feat_req__baselibs__concurrency_library`
- https://github.com/eclipse-score/score/issues/2885
- YES
-

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.

Please keep some explanation why it is "YES" as one for the other entries. E.g. write "Missing links to :need:stkh_req__dependability__automotive_safety added with https://github.com/eclipse-score/score/issues/2885"

Copy link
Copy Markdown
Member Author

Choose a reason for hiding this comment

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

done

- :need:`feat_req__baselibs__containers_library`: "container types not present in the C++ standard library" depends on which C++ standard is used.
- https://github.com/eclipse-score/score/issues/2885
- YES
-

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.

Please keep some explanation why it is "YES" as one for the other entries. E.g. write "Check is supported by tooling and no ambiguities present any more after inspection fixes."

Copy link
Copy Markdown
Member Author

Choose a reason for hiding this comment

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

done

- :need:`feat_req__baselibs__memory_library`: Description uses "baselibs" while all other requirements use "base libraries". Internally inconsistent with naming convention used throughout the document.
- https://github.com/eclipse-score/score/issues/2885
- YES
-

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.

Please keep some explanation why it is "YES" as one for the other entries. E.g. write "No logical inconsistencies, minor naming issues fixed with https://github.com/eclipse-score/score/issues/2885"

Copy link
Copy Markdown
Member Author

Choose a reason for hiding this comment

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

done

- Is the requirement *verifiable*?
- If at the time of the inspection already tests are created for the requirement, the answer is yes. This can be checked via traces, but also :need:`gd_req__req_attr_test_covered` shows this. In case the requirement is not sufficiently traced to test cases already, a test expert is invited to the inspection to give their opinion whether the requirement is formulated in a way that supports test development and the available test infrastructure is sufficient to perform the test.
- YES
- The following feature requirements are high-level and not directly testable

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.

Do not remove this explanation why it is "YES"

Copy link
Copy Markdown
Member Author

Choose a reason for hiding this comment

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

done

- all the feature requirements here inherit from :need:`stkh_req__functional_req__base_libraries`, which has a security set to YES. This means all the requirements here should also set this attribute to YES.
- https://github.com/eclipse-score/score/issues/2885
- YES
-

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.

Please keep some explanation why it is "YES" as one for the other entries. E.g. write "all the feature requirements here inherit from :need:stkh_req__functional_req__base_libraries the security=yes"

Copy link
Copy Markdown
Member Author

Choose a reason for hiding this comment

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

done

- Link ASIL-B requirements to stkh_req__dependability__automotive_safety
- Make titles/naming consistent
- Set :security: YES to inherit from parent stakeholder requirement
- Replace feat_req__baselibs__core_utilities and feat_req__baselibs__safety
  with a more specific feat_req__baselibs__utils_library requirement
- Add feat_req__baselibs__static_reflection_library requirement
- Remove feat_req__baselibs__consistent_apis, feat_req__baselibs__maintainable_design,
  and feat_req__baselibs__security requirements
- Mark all inspection checklist findings as passed
@4og 4og force-pushed the 4og_baselibs_req_inspection_fixes branch from d6f8bc2 to 941290d Compare July 13, 2026 15:23
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

Status: In Progress
Status: Backlog
Status: No status

Development

Successfully merging this pull request may close these issues.

Update Baselibs feature reqs based on inspection results

2 participants