spec: Add specification of requirement validation

3 files changed, 87 insertions, 0 deletions

diff --git a/spec/spec/requirement-validation-method.yml b/spec/spec/requirement-validation-method.yml
new file mode 100644
index 00000000..8fbdd4ca
--- /dev/null
+++ b/spec/spec/requirement-validation-method.yml
@@ -0,0 +1,22 @@
+SPDX-License-Identifier: CC-BY-SA-4.0 OR BSD-2-Clause
+copyrights:
+- Copyright (C) 2020 embedded brains GmbH (http://www.embedded-brains.de)
+enabled-by: true
+links:
+- role: spec-member
+  uid: root
+spec-description: null
+spec-example: null
+spec-info:
+  str:
+    assert:
+      in:
+      - by-analysis
+      - by-inspection
+      - by-review-of-design
+    description: |
+      This value type characterizes a requirement validation method (except
+      validation by test).
+spec-name: Requirement Validation Method
+spec-type: requirement-validation-method
+type: spec
diff --git a/spec/spec/requirement-validation-role.yml b/spec/spec/requirement-validation-role.yml
new file mode 100644
index 00000000..ed948838
--- /dev/null
+++ b/spec/spec/requirement-validation-role.yml
@@ -0,0 +1,22 @@
+SPDX-License-Identifier: CC-BY-SA-4.0 OR BSD-2-Clause
+copyrights:
+- Copyright (C) 2020 embedded brains GmbH (http://www.embedded-brains.de)
+enabled-by: true
+links:
+- role: spec-member
+  uid: root
+- role: spec-refinement
+  spec-key: role
+  spec-value: validation
+  uid: link
+spec-description: null
+spec-example: null
+spec-info:
+  dict:
+    attributes: {}
+    description: |
+      It defines the requirement validation role of links.
+    required-attributes: all
+spec-name: Requirement Validation Link Role
+spec-type: requirement-validation-role
+type: spec
diff --git a/spec/spec/requirement-validation.yml b/spec/spec/requirement-validation.yml
new file mode 100644
index 00000000..d021896f
--- /dev/null
+++ b/spec/spec/requirement-validation.yml
@@ -0,0 +1,43 @@
+SPDX-License-Identifier: CC-BY-SA-4.0 OR BSD-2-Clause
+copyrights:
+- Copyright (C) 2020 embedded brains GmbH (http://www.embedded-brains.de)
+enabled-by: true
+links:
+- role: spec-member
+  uid: root
+- role: spec-refinement
+  spec-key: type
+  spec-value: validation
+  uid: root
+spec-description: null
+spec-example: null
+spec-info:
+  dict:
+    attributes:
+      method:
+        description: |
+          Validation by test is done through :ref:`SpecTypeTestCaseItemType`
+          items.
+        spec-type: requirement-validation-method
+      text:
+        description: |
+          It shall provide the validation evidence depending on the validation
+          method:
+
+          * *By analysis*: A statement shall be provided how the requirement is
+            met, by analysing static properties of the software product.
+
+          * *By inspection*: A statement shall be provided how the requirement
+            is met, by inspection of the :term:`source code`.
+
+          * *By review of design*: A rationale shall be provided to demonstrate
+            how the requirement is satisfied implicitly by the software design.
+        spec-type: str
+    description: |
+      This set of attributes provides a requirement validation evidence.  The
+      item shall have exactly one link to the validated requirement with the
+      :ref:`SpecTypeRequirementValidationLinkRole`.
+    required-attributes: all
+spec-name: Requirement Validation Item Type
+spec-type: requirement-validation
+type: spec