Skip to content
Open
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
Original file line number Diff line number Diff line change
Expand Up @@ -131,6 +131,36 @@ Verification Plan Template
These criteria might include code coverage metrics, defect density, or other relevant measures.
The criteria should be defined with quantifiable goals for different ASIL levels.

The strategy on how to achieve the defined coverage goals is described in the below sub-sections.

Coverage of detailed design
^^^^^^^^^^^^^^^^^^^^^^^^^^^

Beside :need:`wp__verification_comp_int_test` and :need:`wp__verification_sw_unit_test` the
following aspects define the coverage of detailed design.

- Statement/Branch/Path coverage as defined by their specific thresholds
- Static analysis and Linting
- :need:`wp__sw_implementation_inspection` for safety-critical implementation

Coverage of architectural design
Copy link
Contributor

Choose a reason for hiding this comment

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

would not agree here with definition of coverage, same for detailed design, e.g. coverage must be measurable, e.g. coupling and cohesion metrics evaluated, complexity and dependency analysis performed?, all funcitonals requirements mapped to architectural components,
FMEA is a verification method, risk assessment, for me it looks like a summary of verification methods

^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

Beside :need:`wp__verification_comp_int_test` and :need:`wp__verification_feat_int_test` the
following aspects define the coverage of the architectural design.

- :need:`wp__sw_arch_verification` - done by walkthrough (QM) or inspection (safety-critical parts)
- :need:`wp__sw_component_fmea` and :need:`wp__sw_component_dfa` for safety-critical parts
- :need:`wp__feature_fmea` and :need:`wp__feature_dfa` for safety-critical parts

Each architectural element has at least one test case linked with attribute `FullyVerified` or
multiple test cases with attribute `PartiallyVerified`.

Coverage of software requirements specifications
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

For a release all `valid` requirements need to have a complete test coverage of linked test cases.

Test Development
----------------

Expand Down Expand Up @@ -180,6 +210,15 @@ Verification Plan Template
verification process. It can refer and should be based on the definition in the
verification process :ref:`verification_roles`.

Independence of verification
^^^^^^^^^^^^^^^^^^^^^^^^^^^^

As there are no separated roles for a software developer and test developer with :need:`rl__contributor` and
:need:`rl__committer` it is important to achieve independence. This is done by having different
people responsible for the test implementation and the actual code which gets tested.

This section describes how independence is achieved in the project.

Tools
-----

Expand Down
Loading