From 458679662c18ddcc267ae506021795902ecdc91c Mon Sep 17 00:00:00 2001 From: fua1mi Date: Thu, 18 Jun 2026 09:38:27 +0200 Subject: [PATCH 1/2] attifunel: added multiple derivation techniques notes --- .../verification/guidance/verification_methods.rst | 2 ++ 1 file changed, 2 insertions(+) diff --git a/process/process_areas/verification/guidance/verification_methods.rst b/process/process_areas/verification/guidance/verification_methods.rst index dfc0a49dc2..aaf795c5b0 100644 --- a/process/process_areas/verification/guidance/verification_methods.rst +++ b/process/process_areas/verification/guidance/verification_methods.rst @@ -178,6 +178,8 @@ Derivation Techniques * :ref:`Equivalence Classes ` * :ref:`Fuzzy Testing ` + Note: more than a derivation technique can be used in a single test case + .. _ver_boundary: Boundary Values From ad61c5380844a077617c722ff17a2968fb77864e Mon Sep 17 00:00:00 2001 From: fua1mi Date: Thu, 18 Jun 2026 09:39:05 +0200 Subject: [PATCH 2/2] attifunel added multiple derivation techniques - 2 --- .../guidance/verification_process_reqs.rst | 16 ++++++++++++++++ 1 file changed, 16 insertions(+) diff --git a/process/process_areas/verification/guidance/verification_process_reqs.rst b/process/process_areas/verification/guidance/verification_process_reqs.rst index 806cddf9e9..1996e17441 100644 --- a/process/process_areas/verification/guidance/verification_process_reqs.rst +++ b/process/process_areas/verification/guidance/verification_process_reqs.rst @@ -122,6 +122,22 @@ Process Requirements A more detailed description of how to link code to requirements looks like is available in the :ref:`verification_template_rust` +.. gd_req:: Multiple derivation techniques in testing + :id: gd_req__verification_methods_multiple + :status: valid + :version: 1 + :tags: prio_1_automation, verification + :satisfies: wf__verification_unit_test[version==1], + wf__verification_comp_int_test[version==1], + wf__verification_feat_int_test[version==1], + wf__verification_platform_int_test[version==1] + :complies: std_req__iso26262__support_6432[version==1], + std_req__aspice_40__SWE-4-BP4[version==1], + std_req__aspice_40__SWE-5-BP6[version==1], + std_req__aspice_40__SWE-6-BP4[version==1] + + Multiple derivation techniques can be used in a single test case + .. gd_req:: Independence :id: gd_req__verification_independence :status: valid