From 084f9dee1f02812ffd708de89ec55966206d0fcb Mon Sep 17 00:00:00 2001 From: Philipp Ahmann Date: Mon, 17 Aug 2026 13:09:27 +0000 Subject: [PATCH 1/2] added multiple derivation techniques notes Also-by: Attilio Stefano Funel Signed-off-by: Philipp Ahmann --- .../guidance/verification_methods.rst | 2 ++ .../guidance/verification_process_reqs.rst | 16 ++++++++++++++++ 2 files changed, 18 insertions(+) diff --git a/process/process_areas/verification/guidance/verification_methods.rst b/process/process_areas/verification/guidance/verification_methods.rst index dfc0a49dc2..94bcdb711a 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 one derivation technique can be used in a single test case + .. _ver_boundary: Boundary Values diff --git a/process/process_areas/verification/guidance/verification_process_reqs.rst b/process/process_areas/verification/guidance/verification_process_reqs.rst index 806cddf9e9..40d6efbced 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] + + It shall be possible to use multiple derivation techniques as one property within a single test case + .. gd_req:: Independence :id: gd_req__verification_independence :status: valid From add183d8ea263d9b84298745ec106af6917cba35 Mon Sep 17 00:00:00 2001 From: Philipp Ahmann <2428012+pahmann@users.noreply.github.com> Date: Mon, 17 Aug 2026 15:15:18 +0200 Subject: [PATCH 2/2] Apply suggestion from @pahmann Signed-off-by: Philipp Ahmann <2428012+pahmann@users.noreply.github.com> --- .../verification/guidance/verification_methods.rst | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/process/process_areas/verification/guidance/verification_methods.rst b/process/process_areas/verification/guidance/verification_methods.rst index 3e6f3a85ed..9130e59845 100644 --- a/process/process_areas/verification/guidance/verification_methods.rst +++ b/process/process_areas/verification/guidance/verification_methods.rst @@ -180,7 +180,7 @@ Derivation Techniques * :ref:`Equivalence Classes ` * :ref:`Fuzzy Testing ` - Note: more than one derivation technique can be used in a single test case + Note: More than one derivation technique can be used in a single test case. .. _ver_req_anal: