Skip to content
Merged
Changes from all 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
35 changes: 18 additions & 17 deletions docs/platform_management_plan/software_verification.rst
Original file line number Diff line number Diff line change
Expand Up @@ -108,25 +108,26 @@ Levels of integration and verification

There are the following different levels of integration and verification defined:

1. Software unit (incl. detailed design) and component verification to verify the integration of
1. **Software unit verification** (incl. detailed design) and component verification to verify the integration of
units to a component and also the integration of smaller component(s) to a complex component based on

#. detailed design and
#. component architecture and
#. component requirements

2. Software feature verification to verify the integration of components to a feature based on
2. **Software integration verification** on feature level to verify the integration of components to a feature based on

#. feature architecture and
#. feature requirements

3. Platform testing (on reference hardware)
3. **Software platform verification** as Platform Integration Testing of the integrated software element (on reference hardware) based on

#. Stakeholder requirements


**Note:** These three levels translate to the levels of ISO 26262 part 6 clauses 9 to 11. The platform
testing will be executed by the integrator. S-CORE project only executes tests on reference hardware.
**Note:** These three levels translate to the levels of ISO 26262 part 6 clauses 9 to 11, where compliant testing with full coverage is tailored out for the embedded software.
The specific tailoring is described in the :need:`doc__score_platform_safety_plan`.
The full Platform Integration Testing will be executed by the integrator. S-CORE project only executes tests on reference hardware.
These tests serve as an optional base for the integrator and will also be part of the
:need:`wp__verification_platform_ver_report`, but more on an informative character. The full scope
of clause 11 is tailored out accordingly for S-CORE. Practically, this means S-CORE will implement
Expand Down Expand Up @@ -156,35 +157,35 @@ method is to be used as meta data (*TestType* and *DerivationTechnique*).
- Applicable for QM / ASIL B
* - Static Code Analysis
- static-code-analysis
- 1, -, -
- 1 Unit/Component, -, -
- QM & ASIL B
* - Structural Statement Coverage (Code coverage)
- structural-statement-coverage
- 1, -, -
- 1 Unit/Component, -, -
- QM & ASIL B
* - Structural Branch Coverage (Code coverage)
- structural-branch-coverage
- 1, -, -
- 1 Unit/Component, -, -
- QM & ASIL B
* - Walkthrough
- walkthrough
- 1, 2, 3
- All level 1, 2, 3
- QM
* - Inspection
- inspection
- 1, 2, 3
- 1 Unit/Component, 2 Feature Integration, -
- ASIL B
* - Interface Test
- interface-test
- 1, 2, -
- 1 Unit/Component, 2 Feature Integration, -
- QM & ASIL B
* - Requirements-based Test
- requirements-based
- 1, 2, -
- All level 1, 2, 3
- QM & ASIL B
* - Resource Usage Evaluation (only on reference environment)
- resource-usage
- -, 2, -
- -, 2 Feature Integration, -
- QM & ASIL B


Expand Down Expand Up @@ -233,19 +234,19 @@ Test Derivation Methods
- Applicable for QM / ASIL B
* - Analysis of Requirements
- requirements-analysis
- 1, 2, 3
- All level 1, 2, 3
- QM, ASIL B
* - Analysis of Boundary Values
- boundary-values
- 1, 2, -
- 1 Unit/Component, 2 Feature Integration, -
- ASIL B
* - Analysis of Equivalence Classes
- equivalence-classes
- 1, 2, -
- All level 1, 2, 3
- ASIL B
* - Fuzzy Testing (focus security)
- fuzz-testing
- 1, 2, -
- 1 Unit/Component, 2 Feature Integration, -
- QM, ASIL B

The ``fuzz-testing`` should especially be taken into account to increase security of the software.
Expand Down