[rtems-docs commit] eng: Use type refinement for validation method
Sebastian Huber
sebh at rtems.org
Fri May 19 05:21:25 UTC 2023
Module: rtems-docs
Branch: master
Commit: 98172bc9a40d1715ff2d03be3d9b5faba19880f6
Changeset: http://git.rtems.org/rtems-docs/commit/?id=98172bc9a40d1715ff2d03be3d9b5faba19880f6
Author: Sebastian Huber <sebastian.huber at embedded-brains.de>
Date: Thu May 4 13:28:32 2023 +0200
eng: Use type refinement for validation method
Update #3715.
---
eng/req/items.rst | 7 +++++--
1 file changed, 5 insertions(+), 2 deletions(-)
diff --git a/eng/req/items.rst b/eng/req/items.rst
index 61ba54d..c5f95b5 100644
--- a/eng/req/items.rst
+++ b/eng/req/items.rst
@@ -2180,8 +2180,9 @@ All explicit attributes shall be specified. The explicit attributes for this
type are:
method
- The attribute value shall be a :ref:`SpecTypeRequirementValidationMethod`.
- Validation by test is done through :ref:`SpecTypeTestCaseItemType` items.
+ The attribute value shall be a :ref:`SpecTypeName`. It shall specify the
+ requirement validation method (except validation by test). Validation by
+ test is done through :ref:`SpecTypeTestCaseItemType` items.
references
The attribute value shall be a list. Each list element shall be an
@@ -4601,6 +4602,8 @@ This type is used by the following types:
* :ref:`SpecTypeRequirementItemType`
+* :ref:`SpecTypeRequirementValidationItemType`
+
* :ref:`SpecTypeRootItemType`
* :ref:`SpecTypeRuntimeMeasurementParameterSet`
More information about the vc
mailing list