diff options
| author | Sebastian Huber <sebastian.huber@embedded-brains.de> | 2022-10-04 08:23:57 +0200 |
|---|---|---|
| committer | Sebastian Huber <sebastian.huber@embedded-brains.de> | 2022-10-04 08:39:33 +0200 |
| commit | b55c8bf2956ebb1689e9053b22ea58106f9861cd (patch) | |
| tree | c6a09ca624d5e32d1f92490043df86b50e3d9c6c | |
| parent | eng: Remove appl config group member link role (diff) | |
| download | rtems-docs-b55c8bf2956ebb1689e9053b22ea58106f9861cd.tar.bz2 | |
eng: Use type refinement for validation method
Update #3715.
| -rw-r--r-- | eng/req/items.rst | 40 |
1 files 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 |