Process Requirements#

Linking Requirements to Tests
status: valid
tags: prio_1_automation, verification, verification_process
contained by: wf__verification_unit_test, wf__verification_comp_int_test, wf__verification_feat_int_test, wf__verification_platform_int_test
complies: std_req__iso26262__support_6432
satisfies: wf__verification_unit_test, wf__verification_comp_int_test, wf__verification_feat_int_test, wf__verification_platform_int_test

For linking test suites to requirements following metadata shall be used:

  • Verifies

    • PartiallyVerifies

    • FullyVerifies

  • Description

  • TestType

    • Fault Injection (fault-injection)

    • Interface Test (interface-test)

    • Requirements-based Test (requirements-based)

    • Resource Usage Evaluation (resource-usage)

  • DerivationTechnique

    • Analysis of requirements (requirements-analysis)

    • Analysis of design (design-analysis)

    • Analysis of boundary values (boundary-values)

    • Analysis of equivalence classes (equivalence-classes)

    • Fuzzy testing (fuzz-testing)

    • Error guessing based on knowledge or experience (error-guessing)

    • Explorative testing (explorative-testing)

More information can be found in the Verification Guideline (gd_guidl__verification_guide), Verification Concept (doc_concept__verification_process), and Test Specification Guideline (gd_guidl__verification_specification) .
gd_req__verification_link_tests
Process Requirements
Linking Requirements to Tests (C++)
status: valid
tags: prio_1_automation, verification, verification_process
contained by: wf__verification_unit_test, wf__verification_comp_int_test, wf__verification_feat_int_test, wf__verification_platform_int_test
complies: std_req__iso26262__support_6432
satisfies: wf__verification_unit_test, wf__verification_comp_int_test, wf__verification_feat_int_test, wf__verification_platform_int_test

For linking C++ tests to requirements record properties shall be used. Attributes which are common for all test cases can be specified in the Setup Function (SetUp()), the other attributes which are specific for each test case need to be specified within the test case:

A more detailed description of how to link code to requirements looks like is available in the C++ Properties Template
gd_req__verification_link_tests_cpp
Process Requirements
Linking Requirements to Tests (Python)
status: valid
tags: prio_1_automation, verification, verification_process
contained by: wf__verification_unit_test, wf__verification_comp_int_test, wf__verification_feat_int_test, wf__verification_platform_int_test
complies: std_req__iso26262__support_6432
satisfies: wf__verification_unit_test, wf__verification_comp_int_test, wf__verification_feat_int_test, wf__verification_platform_int_test

For linking python tests to requirements metadata shall be used. For this the ‘add_test_properties’ decorator has been provided. You need to add it to the test and fill out:

  • partially_verifies OR fully_verifies

  • test_type

  • derivation_technique

For allowed values for test_type & derivation_technique please check Linking Requirements to Tests (gd_req__verification_link_tests) Further more, this decorator will also check if your test has a docstring which should act as the description of the test.

A more detailed description of how to link code to requirements looks like is available in the Python Properties Template
gd_req__verification_link_tests_python
Process Requirements
Linking Requirements to Tests (Rust)
status: valid
tags: prio_1_automation, verification, verification_process
contained by: wf__verification_unit_test, wf__verification_comp_int_test, wf__verification_feat_int_test, wf__verification_platform_int_test
complies: std_req__iso26262__support_6432
satisfies: wf__verification_unit_test, wf__verification_comp_int_test, wf__verification_feat_int_test, wf__verification_platform_int_test

For linking Rust tests to requirements #[record_property] shall be used:

A more detailed description of how to link code to requirements looks like is available in the Rust Properties Template
gd_req__verification_link_tests_rust
Process Requirements
Independence
status: valid
tags: done_automation, verification, verification_process
contained by: wf__verification_unit_test, wf__verification_comp_int_test, wf__verification_feat_int_test, wf__verification_platform_int_test
satisfies: wf__verification_unit_test, wf__verification_comp_int_test, wf__verification_feat_int_test, wf__verification_platform_int_test

The approver of a pull request shall differ from the author(s) of the pull request in all pull requests.
gd_req__verification_independence
Process Requirements
Verification Reporting
status: valid
tags: prio_1_automation, verification, verification_process
satisfies: wf__verification_mod_ver_report

The tool automation shall automatically generate the Verification reports. These may be independent documents (i.e. not integrated into docs-as-code based repositories). The content of the reports is specified in Platform Verification Repor... (gd_temp__platform_ver_report) and Module Verification Report ... (gd_temp__mod_ver_report).
gd_req__verification_reporting
Process Requirements
Verification Report Archiving
status: valid
tags: prio_1_automation, verification, verification_process
satisfies: wf__verification_mod_ver_report

The tool automation shall automatically archive the Verification reports for releases. The reports are generated according to Verification Reporting (gd_req__verification_reporting).
gd_req__verification_report_archiving
Process Requirements
Verification Documentation Checks
status: valid
tags: prio_1_automation, verification, verification_process
satisfies: wf__verification_unit_test, wf__verification_comp_int_test, wf__verification_feat_int_test, wf__verification_platform_int_test

The following checks shall be implemented on test metadata:

  • TestType and DerivationTechnique shall be set

  • Description shall not be empty

  • In a Platform Integration Test Partially/FullyVerifies shall be set to a Platform Requirement

  • If Partially/FullyVerifies are set in Feature Integration Test these shall link to Feature Requirements

  • If Partially/FullyVerifies are set in Component Integration Test these shall link to Component Requirements

  • If Partially/FullyVerifies are set in Unit Test these shall link to Component Requirements
gd_req__verification_checks
Process Requirements
Verification Documentation Checks Extended
status: draft
tags: verification, verification_process
satisfies: wf__verification_unit_test, wf__verification_comp_int_test, wf__verification_feat_int_test, wf__verification_platform_int_test

The following checks shall be implemented on test metadata:

  • If TestType is set to requirements-based then PartiallyVerifies or FullyVerifies shall contain a link to at least one requirement

  • If TestType is set to interface-test then PartiallyVerifies or FullyVerifies shall contain a link to at least one interface
gd_req__verification_checks_extended
Process Requirements