rtems/rtems-docs
1
0
Fork 0
mirror of https://git.rtems.org/rtems-docs/ synced 2025-05-15 07:27:26 +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 2023-05-04 13:28:32 +02:00
parent c81a24418a
commit 98172bc9a4
1 changed files with 5 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
eng/req/items.rst
View File

@ -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`