Requirement and description to allow multiple derivation techniques for verification

[pahmann]

What

It is nowhere described, that you could combine derivation techniques for testing. This should be added in the guidelines as well as a tooling requirement.

Acceptance Criteria (DoD)

guideline and requirements for verification process area are updated and reflect a multi selection option for test derivation.

How

Update:

• https://github.com/etas-contrib/score_process_description/blob/main/process/process_areas/verification/guidance/verification_process_reqs.rst?plain=1#L124
• https://github.com/etas-contrib/score_process_description/blob/main/process/process_areas/verification/guidance/verification_methods.rst?plain=1#L175

[attifunel]

#714 created