rtems/rtems-docs
1
0
Fork 0
mirror of https://git.rtems.org/rtems-docs/ synced 2025-05-15 07:16:37 +08:00
Code Issues Packages Projects Releases Wiki Activity

eng: Use type refinement for validation method

Browse Source 
Update #3715.
This commit is contained in:
Sebastian Huber 2022-10-04 08:23:57 +02:00
parent 4966ed0611
commit b55c8bf295
1 changed files with 22 additions and 18 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

40
eng/req/items.rst
View File

@ -117,6 +117,8 @@ The specification item types have the following hierarchy:
* :ref:`SpecTypeRequirementValidationItemType` * :ref:`SpecTypeRequirementValidationItemType`
* :ref:`SpecTypeRequirementValidationMethod`
* :ref:`SpecTypeRuntimeMeasurementTestItemType` * :ref:`SpecTypeRuntimeMeasurementTestItemType`
* :ref:`SpecTypeSpecificationItemType` * :ref:`SpecTypeSpecificationItemType`
@ -2201,6 +2203,26 @@ text
* *By review of design*: A rationale shall be provided to demonstrate how * *By review of design*: A rationale shall be provided to demonstrate how
the requirement is satisfied implicitly by the software design. 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: .. _SpecTypeRuntimeMeasurementTestItemType:
Runtime Measurement Test Item Type 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 This type refines the :ref:`SpecTypeLink` through the ``role`` attribute if the
value is ``validation``. It defines the requirement validation role of links. 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: .. _SpecTypeRuntimeMeasurementEnvironment:
Runtime Measurement Environment Runtime Measurement Environment