Skip to content
Merged
Show file tree
Hide file tree
Changes from 2 commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Original file line number Diff line number Diff line change
Expand Up @@ -134,3 +134,26 @@ Verification types and methods are described in the :need:`gd_meth__verification
derivation techniques in :need:`gd_meth__verification_derivation`. The detailed method guideline
helps to get an understanding what the different methods and derivation techniques mean and how to
create test cases using the same.

Tailoring
=========

.. gd_guidl:: Verification Requirements Tailored
:id: gd_guidl__verification_req_tailored
:status: valid
:complies: std_req__iso26262__software_945,
std_req__iso26262__software_1045, std_req__iso26262__software_1046, std_req__iso26262__software_1047,
std_req__iso26262__software_1141, std_req__iso26262__software_1142, std_req__iso26262__software_1143, std_req__iso26262__software_1144

This part of the guideline links to all the requirements which are not fulfilled by the
verification process. Make sure these are tailored out in the safety/security/quality plans
for your project (documented in the PMP). Reasoning given below must be confirmed there.

The reasoning is:

- For SW requirement 945 & 1047 tests are executed in target environment regarding code and hardware architecture.
An integrator of the software can re-execute them on source or unmodified binary in the product environnment.
- For SW requirement 1045 "Function and call coverage" are not considered explicitly due to lower target safety integrity level (ASIL_B).
- For SW requirement 1046 the software is not a production release, but work for the system integrator or distributor with a production release.
- For SW requirement 1141, 1143, 1144 the SW only points to AoUs, but will not be executed on the final product environment as part of the project scope.
- For SW requirement 1142 there will be :need:`wp__verification_platform_int_test` available for re-use, but they are not supposed to deliver full coverage.
Original file line number Diff line number Diff line change
Expand Up @@ -26,6 +26,7 @@ Methods
.. gd_method:: Verification Methods
:id: gd_meth__verification_methods
:status: valid
:complies: std_req__iso26262__software_942, std_req__iso26262__software_944

Following methods are explained

Expand Down Expand Up @@ -139,6 +140,7 @@ Derivation Techniques
.. gd_method:: Verification Derivation Technique
:id: gd_meth__verification_derivation
:status: valid
:complies: std_req__iso26262__software_943, std_req__iso26262__software_1043

Following derivation techniques are explained

Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -20,7 +20,8 @@ Verification Report Templates
.. gd_temp:: Module Verification Report Template
:id: gd_temp__mod_ver_report
:status: valid
:complies: std_req__iso26262__software_942, std_req__iso26262__software_1042, std_req__iso26262__software_1043,
:complies: std_req__iso26262__software_942, std_req__iso26262__software_943, std_req__iso26262__software_944,
std_req__iso26262__software_1042, std_req__iso26262__software_1043,
std_req__iso26262__support_9431, std_req__iso26262__support_9432, std_req__iso26262__support_9433, std_req__iso26262__support_9434,
std_req__iso26262__support_12422, std_req__iso26262__support_12423, std_req__iso26262__support_12424, std_req__iso26262__support_12425,
std_req__iso26262__support_1243,
Expand Down Expand Up @@ -96,7 +97,7 @@ Verification Report Templates
.. gd_temp:: Platform Verification Report Template
:id: gd_temp__platform_ver_report
:status: valid
:complies: std_req__iso26262__software_1042,
:complies: std_req__iso26262__software_1042, std_req__iso26262__software_1044,
std_req__iso26262__support_9431, std_req__iso26262__support_9432, std_req__iso26262__support_9433, std_req__iso26262__support_9434,
std_req__iso26262__analysis_749, std_req__iso26262__analysis_848

Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -18,7 +18,9 @@ Test Specification Guideline
.. gd_guidl:: Test Specification Guideline
:id: gd_guidl__verification_specification
:status: valid
:complies: std_req__iso26262__support_9421, std_req__iso26262__support_9422, std_req__iso26262__support_9423, std_req__iso26262__support_9424
:complies: std_req__iso26262__software_942, std_req__iso26262__software_943,
std_req__iso26262__support_9421, std_req__iso26262__support_9422,
std_req__iso26262__support_9423, std_req__iso26262__support_9424

Test specification
------------------
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -134,6 +134,7 @@ Component
Unit testing verifies detailed design (traced to).
Respective tooling is defined in :need:`wp__platform_mgmt`, :need:`wp__verification_plan` and integrated in CI/Build.
Unit testing is in responsible of the :need:`rl__contributor` providing the :need:`wp__sw_implementation`.
Unit testing is done in the "target environment" meaning it runs against the actual source code compiled for the component or reference integration.
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 really the plan in S-CORE, my interpretation currently is, that this is not done, just run gTest on Hosts?

Copy link
Member Author

Choose a reason for hiding this comment

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

Will rephrase. This was not what I meant with it. Thanks for the feedback.


Inspection
**********
Expand Down
Loading