Skip to content

process: initial documentation of verification #441

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom
Merged
aschemmel-tech merged 34 commits into from
Mar 10, 2025
Merged

process: initial documentation of verification #441

aschemmel-tech merged 34 commits into from
Mar 10, 2025

Conversation

@pahmann
Copy link
Member

@pahmann pahmann commented Feb 21, 2025 •
edited
Loading

This is the porting of the work done in the incubator project.

It includes the following artifacts, adopted to the latest syntax and checks for S-Core:

  • Guidance
  • Work Products
  • Report template
  • Requirement to test linking
  • Test case templates
  • S-Core verification plan draft

Implements: #320

Also-by: @julian711, @aschemmel-tech , @hoe-jo

@pahmann
process: initial documentation of verification
b6d4c8f 
This is the porting of the work done in the incubator project. It includes the following artefacts, adopted to the latest syntax and checks for S-Core:

- Guidance
- Work Products
- Report template
- Requirement to test linking
- Test case templates
- S-Core verification plan draft

Implements: #320

Also-by: @julian711
Signed-off-by: Philipp Ahmann <philipp.ahmann@de.bosch.com>
@pahmann
Merge branch 'main' into pahmann_verification_incubator
03e693c
@pahmann
process: update verification work product definitions
f3b133c 
Implements: #320
Signed-off-by: Philipp Ahmann <philipp.ahmann@de.bosch.com>
@github-actions
Copy link

github-actions bot commented Feb 21, 2025

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

@pahmann pahmann mentioned this pull request Feb 21, 2025
Closed
17 tasks
masc2023
masc2023 reviewed Feb 21, 2025
View reviewed changes
@masc2023 masc2023 added this to the SCORE Process Audit 3 milestone Feb 23, 2025
hoe-jo
hoe-jo reviewed Feb 25, 2025
View reviewed changes
docs/process/process_areas/verification/guidance/verification_guidance.rst Outdated
=====================

This guideline outlines the responsibilities and procedures for developers performing verification activities (test
case creation, inspection, and review) for S-Core documentation, Rust and C/C++ projects of the platform.
Copy link
Contributor

@hoe-jo hoe-jo Feb 25, 2025

Choose a reason for hiding this comment

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

  • should we leave out name "S-Core"?
  • documentation + tooling? We also need some guidance to link our tools to process requirements for Tool Qualification

Copy link
Contributor

@hoe-jo hoe-jo Mar 10, 2025

Choose a reason for hiding this comment

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

process requirements are still missing

Copy link
Member Author

@pahmann pahmann Mar 10, 2025

Choose a reason for hiding this comment

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

last part of process requirements added to issue #623

hoe-jo
hoe-jo reviewed Feb 25, 2025
View reviewed changes
docs/process/process_areas/verification/guidance/verification_guidance.rst Outdated
- valid | invalid
-
-
* - TestType
Copy link
Contributor

@hoe-jo hoe-jo Feb 25, 2025 •
edited
Loading

Choose a reason for hiding this comment

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

Provide more examples including description

Copy link
Member Author

@pahmann pahmann Feb 27, 2025

Choose a reason for hiding this comment

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

Test type descriptions like for boundary analysis is a topic which will be discussed within testing community (and documented in process).

Copy link
Member Author

@pahmann pahmann Mar 10, 2025

Choose a reason for hiding this comment

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

Added this finding to issue #623

aschemmel-tech
aschemmel-tech requested changes Feb 25, 2025
View reviewed changes
Copy link
Contributor

@aschemmel-tech aschemmel-tech left a comment

Choose a reason for hiding this comment

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

see inline comments, first iteration

@pahmann
workproducts: update verification and requirements
9127eae 
Implements: #320
Signed-off-by: Philipp Ahmann <philipp.ahmann@de.bosch.com>
@pahmann
Copy link
Member Author

pahmann commented Feb 25, 2025

@hoe-jo this commit in #441 is for you: workproducts: update verification and requirements

I removed some duplicated items and added the requirements inspection to your work products, as you already have the template for it.

@pahmann
process: address verifcation process review findings
bd6f7fb 
Implements: #320
Signed-off-by: Philipp Ahmann <philipp.ahmann@de.bosch.com>
@pahmann
Merge branch 'main' into pahmann_verification_incubator
c94158b
@pahmann
verification: fix build warnings
e40ca7b 
Implements: #320
Signed-off-by: Philipp Ahmann <philipp.ahmann@de.bosch.com>
@pahmann pahmann force-pushed the pahmann_verification_incubator branch from 0d24a0a to e40ca7b Compare February 25, 2025 16:10
@pahmann
process: document pre-existing test cases
f4ef54a 
Implements: #320
Signed-off-by: Philipp Ahmann <Philipp.Ahmann@de.bosch.com>
@masc2023 masc2023 linked an issue Mar 10, 2025 that may be closed by this pull request
Epic: (Initial) Processes Verification #611
Closed
@pahmann
process: verification coverage
1bfc92f 
Implements: #320
Signed-off-by: Philipp Ahmann <Philipp.Ahmann@de.bosch.com>
pahmann
pahmann commented Mar 10, 2025
View reviewed changes
pahmann
pahmann commented Mar 10, 2025
View reviewed changes
pahmann
pahmann commented Mar 10, 2025
View reviewed changes
pahmann added 3 commits March 10, 2025 11:10
@pahmann
process: verification spec clarification
11844e8 
Implements: #320
Signed-off-by: Philipp Ahmann <Philipp.Ahmann@de.bosch.com>
@pahmann
process: verification process updates
73cec54 
Implements: #320
Signed-off-by: Philipp Ahmann <Philipp.Ahmann@de.bosch.com>
@pahmann
process: verification review finding fixes
548fd89 
Implements: #320
Signed-off-by: Philipp Ahmann <Philipp.Ahmann@de.bosch.com>
@pahmann
Copy link
Member Author

pahmann commented Mar 10, 2025

@aschemmel-tech kindly do a review on the current state. I should have addressed all your pending concerns.

Missing part for final commit on this PR will be the transfer of TODOs into improvement issue(s).

@pahmann pahmann requested a review from aschemmel-tech March 10, 2025 14:11
masc2023
masc2023 reviewed Mar 10, 2025
View reviewed changes
masc2023
masc2023 reviewed Mar 10, 2025
View reviewed changes
masc2023
masc2023 reviewed Mar 10, 2025
View reviewed changes
masc2023
masc2023 reviewed Mar 10, 2025
View reviewed changes
masc2023
masc2023 reviewed Mar 10, 2025
View reviewed changes
masc2023
masc2023 reviewed Mar 10, 2025
View reviewed changes
@pahmann pahmann mentioned this pull request Mar 10, 2025
Closed
5 tasks
pahmann added 3 commits March 10, 2025 15:07
@pahmann
process: correct typos in verification
1aefc23 
Implements: #320
Signed-off-by: Philipp Ahmann <Philipp.Ahmann@de.bosch.com>
@pahmann
process: create issue from verification todos
381ecb7 
- created issue number is #623

Implements: #320
Signed-off-by: Philipp Ahmann <Philipp.Ahmann@de.bosch.com>
@pahmann
Merge branch 'main' into pahmann_verification_incubator
acb4ad0 
Signed-off-by: Philipp Ahmann <Philipp.Ahmann@de.bosch.com>
@pahmann
Copy link
Member Author

pahmann commented Mar 10, 2025

@aschemmel-tech, from my perspective we are ready to merge. 🎉

aschemmel-tech
aschemmel-tech approved these changes Mar 10, 2025
View reviewed changes
Copy link
Contributor

@aschemmel-tech aschemmel-tech left a comment

Choose a reason for hiding this comment

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

Agree, let's merge

@aschemmel-tech aschemmel-tech merged commit a8f8c84 into main Mar 10, 2025
10 checks passed
@aschemmel-tech aschemmel-tech deleted the pahmann_verification_incubator branch March 10, 2025 16:02
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

@masc2023 masc2023 masc2023 left review comments

@hoe-jo hoe-jo hoe-jo left review comments

@PandaeDo PandaeDo PandaeDo left review comments

@aschemmel-tech aschemmel-tech aschemmel-tech approved these changes

Assignees

@pahmann pahmann

Labels

None yet

Projects

PIM - Process Implementation Community
Status: Done

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

Epic: (Initial) Processes Verification

6 participants

@pahmann @masc2023 @aschemmel-tech @hoe-jo @PandaeDo