[rtems-docs commit] eng: Use type refinement for validation method

Sebastian Huber sebh at rtems.org
Tue Oct 4 06:28:59 UTC 2022


Module:    rtems-docs
Branch:    master
Commit:    b55c8bf2956ebb1689e9053b22ea58106f9861cd
Changeset: http://git.rtems.org/rtems-docs/commit/?id=b55c8bf2956ebb1689e9053b22ea58106f9861cd

Author:    Sebastian Huber <sebastian.huber at embedded-brains.de>
Date:      Tue Oct  4 08:23:57 2022 +0200

eng: Use type refinement for validation method

Update #3715.

---

 eng/req/items.rst | 40 ++++++++++++++++++++++------------------
 1 file changed, 22 insertions(+), 18 deletions(-)

diff --git a/eng/req/items.rst b/eng/req/items.rst
index 31a98d7..0752617 100644
--- a/eng/req/items.rst
+++ b/eng/req/items.rst
@@ -117,6 +117,8 @@ The specification item types have the following hierarchy:
 
   * :ref:`SpecTypeRequirementValidationItemType`
 
+    * :ref:`SpecTypeRequirementValidationMethod`
+
   * :ref:`SpecTypeRuntimeMeasurementTestItemType`
 
   * :ref:`SpecTypeSpecificationItemType`
@@ -2201,6 +2203,26 @@ text
     * *By review of design*: A rationale shall be provided to demonstrate how
       the requirement is satisfied implicitly by the software design.
 
+This type is refined by the following types:
+
+* :ref:`SpecTypeRequirementValidationMethod`
+
+.. _SpecTypeRequirementValidationMethod:
+
+Requirement Validation Method
+^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
+
+This type refines the following types:
+
+* :ref:`SpecTypeRequirementValidationItemType` through the ``method`` attribute
+  if the value is ``by-analysis``
+
+* :ref:`SpecTypeRequirementValidationItemType` through the ``method`` attribute
+  if the value is ``by-inspection``
+
+* :ref:`SpecTypeRequirementValidationItemType` through the ``method`` attribute
+  if the value is ``by-review-of-design``
+
 .. _SpecTypeRuntimeMeasurementTestItemType:
 
 Runtime Measurement Test Item Type
@@ -4707,24 +4729,6 @@ Requirement Validation Link Role
 This type refines the :ref:`SpecTypeLink` through the ``role`` attribute if the
 value is ``validation``. It defines the requirement validation role of links.
 
-.. _SpecTypeRequirementValidationMethod:
-
-Requirement Validation Method
-^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
-
-The value shall be a string. This value type characterizes a requirement
-validation method (except validation by test). The value shall be an element of
-
-* "``by-analysis``",
-
-* "``by-inspection``", and
-
-* "``by-review-of-design``".
-
-This type is used by the following types:
-
-* :ref:`SpecTypeRequirementValidationItemType`
-
 .. _SpecTypeRuntimeMeasurementEnvironment:
 
 Runtime Measurement Environment



More information about the vc mailing list