Skip to content

Conversation

@pahmann
Copy link
Member

@pahmann pahmann commented Dec 16, 2025

Requirement analysis is added as a manual process workflow to verify "non functional" requirements which cannot be checked by test. For this an "analysis specification" template doc__<component|feature>_name_req_analysis is defined and added to the folder template. Alternative is to add this to the requirement inspection template.

Resolves: eclipse-score/score#577

Resolves: eclipse-score/score#577
Signed-off-by: Philipp Ahmann <Philipp.Ahmann@de.bosch.com>
@github-actions
Copy link

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

:tags: verification
:responsible: rl__contributor
:approved_by: rl__committer, rl__testing_community
:supported_by: rl__safety_manager, rl__testing_community
Copy link
Contributor

Choose a reason for hiding this comment

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

rl_testing_community is supporter and approver? Why not supported bs Security Manager?

Copy link
Member Author

Choose a reason for hiding this comment

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

Thanks for spotting this. I will change it.

.. workproduct:: Requirement Analysis
:id: wp__verification_req_analysis
:status: valid
:complies: std_wp__iso26262__software_951
Copy link
Contributor

Choose a reason for hiding this comment

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

Is that no the requirement specification as WP? Should that not part of the verification report?


Tag: **Covered-by-design-review.**
The fulfillment of this requirement shall be verified as part of feature/component design reviews
(for feature/component requirements) respective software architectural design or software detailed design reviews.
Copy link
Contributor

Choose a reason for hiding this comment

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

for architecture we have already other analysis and also for dd we have checklists?

Copy link
Member Author

Choose a reason for hiding this comment

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

Are these analysis types ending up in a traceable artifact which gets linked to requirements and has a status which says that it is properly implemented?

Copy link
Contributor

@masc2023 masc2023 Dec 17, 2025

Choose a reason for hiding this comment

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

Compare meta model, the safety analysis are traceably to architecture to requirements, but in general, you asking for non-functional requirements, architectures and detailed design are not non-functional requirements, and there are always derived from requirements and tested by integration tests. Nevertheless code inspection, review is additionally required

Copy link
Contributor

Choose a reason for hiding this comment

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

Why introducing new documents, and do not add it to they requirements checklists?

Copy link
Member Author

Choose a reason for hiding this comment

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

Do you mean something like: Are all requirements which were not able to be tested with reasonable efforts confirmed by a design and code review? I can add this to the checklist as an alternative to my proposal.

Copy link
Contributor

Choose a reason for hiding this comment

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

No, all requirements needs to be inspected as defined here, https://eclipse-score.github.io/process_description/main/general_concepts/score_review_concept.html, using requirements checklist, which is already part of template folder and rolled out already, why not use this and add rationale to add, what you are requiring, instead of introducing new templates in addition

- Adjust ``safety`` and ``tags`` according to your needs


Rational
Copy link
Contributor

Choose a reason for hiding this comment

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

I think it might be helpful to give some advice here. Some guys as me might start to copy all templates into a new feature description. I would have to look into the processes description what I have to do here. A short summary of the description that's there would be very helpful.

Signed-off-by: Philipp Ahmann <philipp.ahmann@de.bosch.com>
This reverts commit 65ab6c5.

Signed-off-by: Philipp Ahmann <philipp.ahmann@de.bosch.com>
Signed-off-by: Philipp Ahmann <philipp.ahmann@de.bosch.com>
Signed-off-by: Philipp Ahmann <philipp.ahmann@de.bosch.com>
@pahmann pahmann requested a review from masc2023 December 18, 2025 07:39
@masc2023 masc2023 merged commit bccfdca into main Dec 18, 2025
5 checks passed
@masc2023 masc2023 deleted the pahmann/verification-analysis branch December 18, 2025 07:41
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Improvement: Add "Analysis" method to Verification Process Description

4 participants