diff options
35 files changed, 153 insertions, 172 deletions
diff --git a/rtemsspec/tests/spec-validation/action2.yml b/rtemsspec/tests/spec-validation/action2.yml index 605f7365..8f7f6907 100644 --- a/rtemsspec/tests/spec-validation/action2.yml +++ b/rtemsspec/tests/spec-validation/action2.yml @@ -75,6 +75,8 @@ pre-conditions: /* Pre B epilogue. */ test-prologue: | /* Pre B prologue. */ +rationale: null +references: [] requirement-type: functional skip-reasons: SkipReason: | @@ -140,6 +142,8 @@ test-teardown: /* Teardown code */ description: | Teardown description. +text: | + Text. transition-map: - enabled-by: true post-conditions: @@ -173,8 +177,4 @@ transition-map: - Y B: - Z -rationale: null -references: [] -text: | - Text. type: requirement diff --git a/rtemsspec/tests/spec-validation/directive.yml b/rtemsspec/tests/spec-validation/directive.yml index 2c8c20fe..71e583f7 100644 --- a/rtemsspec/tests/spec-validation/directive.yml +++ b/rtemsspec/tests/spec-validation/directive.yml @@ -151,6 +151,8 @@ pre-conditions: The id parameter shall point to an object identifier. test-epilogue: null test-prologue: null +rationale: null +references: [] requirement-type: functional skip-reasons: {} test-action: | @@ -188,6 +190,7 @@ test-context: member: | rtems_id id_remote_task test-description: Test rtems_task_ident() description. +test-header: null test-includes: - rtems.h test-local-includes: @@ -213,7 +216,6 @@ test-setup: test-stop: null test-support: | /* Test rtems_task_ident() support */ -test-header: null test-target: tc12.c test-teardown: brief: null @@ -225,6 +227,9 @@ test-teardown: T_rsc_success( sc ); } description: null +text: | + Calling the rtems_task_ident() directive shall yield the specified + post-conditions under the specified pre-conditions. transition-map: - enabled-by: true post-conditions: @@ -293,9 +298,4 @@ transition-map: Node: - SearchOther - Remote -rationale: null -references: [] -text: | - Calling the rtems_task_ident() directive shall yield the specified - post-conditions under the specified pre-conditions. type: requirement diff --git a/rtemsspec/tests/spec-validation/tc.yml b/rtemsspec/tests/spec-validation/tc.yml index bb63ea74..a7359266 100644 --- a/rtemsspec/tests/spec-validation/tc.yml +++ b/rtemsspec/tests/spec-validation/tc.yml @@ -1,13 +1,4 @@ SPDX-License-Identifier: CC-BY-SA-4.0 OR BSD-2-Clause -copyrights: -- Copyright (C) 2020 embedded brains GmbH (http://www.embedded-brains.de) -enabled-by: true -includes: -- a.h -links: [] -local-includes: -- x.h -target: tc12.c actions: - action: | /* Test case action 0 code */ @@ -42,13 +33,22 @@ actions: Test case action 1 description. links: [] brief: Test case brief description. +copyrights: +- Copyright (C) 2020 embedded brains GmbH (http://www.embedded-brains.de) description: Test case description. +enabled-by: true epilogue: | /* Test case epilogue code */ fixture: null +includes: +- a.h +links: [] +local-includes: +- x.h name: Test Case prologue: | /* Test case prologue code */ support: | /* Test case support code */ +target: tc12.c type: test-case diff --git a/rtemsspec/tests/spec-validation/tc2.yml b/rtemsspec/tests/spec-validation/tc2.yml index df236b99..496a27e0 100644 --- a/rtemsspec/tests/spec-validation/tc2.yml +++ b/rtemsspec/tests/spec-validation/tc2.yml @@ -1,13 +1,4 @@ SPDX-License-Identifier: CC-BY-SA-4.0 OR BSD-2-Clause -copyrights: -- Copyright (C) 2020 embedded brains GmbH (http://www.embedded-brains.de) -enabled-by: true -includes: -- b.h -links: [] -local-includes: -- y.h -target: tc12.c actions: - action: | /* Test case 2 action 0 code */ @@ -32,10 +23,19 @@ actions: Test case 2 action 1 description. links: [] brief: Test case 2 brief description. +copyrights: +- Copyright (C) 2020 embedded brains GmbH (http://www.embedded-brains.de) description: Test case 2 description. +enabled-by: true epilogue: null fixture: test_case_2_fixture +includes: +- b.h +links: [] +local-includes: +- y.h name: Test Case 2 prologue: null support: null +target: tc12.c type: test-case diff --git a/rtemsspec/tests/spec-validation/tc3.yml b/rtemsspec/tests/spec-validation/tc3.yml index fd946e3e..44d0ee6c 100644 --- a/rtemsspec/tests/spec-validation/tc3.yml +++ b/rtemsspec/tests/spec-validation/tc3.yml @@ -1,13 +1,4 @@ SPDX-License-Identifier: CC-BY-SA-4.0 OR BSD-2-Clause -copyrights: -- Copyright (C) 2020 embedded brains GmbH (http://www.embedded-brains.de) -enabled-by: true -includes: -- c.h -links: [] -local-includes: -- z.h -target: tc34.c actions: - action: | /* Test case 3 action 0 code */ @@ -21,10 +12,19 @@ actions: Test case 3 action 0 description. links: [] brief: Test case 3 brief description. +copyrights: +- Copyright (C) 2020 embedded brains GmbH (http://www.embedded-brains.de) description: Test case 3 description. +enabled-by: true epilogue: null fixture: null +includes: +- c.h +links: [] +local-includes: +- z.h name: Test Case 3 prologue: null support: null +target: tc34.c type: test-case diff --git a/rtemsspec/tests/spec-validation/tc4.yml b/rtemsspec/tests/spec-validation/tc4.yml index d415ff79..b21b483e 100644 --- a/rtemsspec/tests/spec-validation/tc4.yml +++ b/rtemsspec/tests/spec-validation/tc4.yml @@ -1,18 +1,18 @@ SPDX-License-Identifier: CC-BY-SA-4.0 OR BSD-2-Clause -copyrights: -- Copyright (C) 2020 embedded brains GmbH (http://www.embedded-brains.de) -enabled-by: true -includes: [] -links: [] -local-includes: [] -target: tc34.c actions: [] brief: Test case 4 brief description. +copyrights: +- Copyright (C) 2020 embedded brains GmbH (http://www.embedded-brains.de) description: Test case 4 description. +enabled-by: true epilogue: | /* Test case 4 epilogue code */ fixture: null +includes: [] +links: [] +local-includes: [] name: Test Case 4 prologue: null support: null +target: tc34.c type: test-case diff --git a/rtemsspec/tests/spec-validation/ts.yml b/rtemsspec/tests/spec-validation/ts.yml index ff80e8e8..d5480be3 100644 --- a/rtemsspec/tests/spec-validation/ts.yml +++ b/rtemsspec/tests/spec-validation/ts.yml @@ -1,15 +1,15 @@ SPDX-License-Identifier: CC-BY-SA-4.0 OR BSD-2-Clause +code: | + /* Blue green code */ copyrights: - Copyright (C) 2020 embedded brains GmbH (http://www.embedded-brains.de) +description: The Blue Green description. enabled-by: true includes: - blue.h links: [] local-includes: - green.h -target: ts.c -code: | - /* Blue green code */ -description: The Blue Green description. name: Blue Green +target: ts.c type: test-suite diff --git a/spec/if/acfg/min-task-stack-size.yml b/spec/if/acfg/min-task-stack-size.yml index 034df933..1d0bcaac 100644 --- a/spec/if/acfg/min-task-stack-size.yml +++ b/spec/if/acfg/min-task-stack-size.yml @@ -3,7 +3,7 @@ appl-config-option-type: integer constraints: {} copyrights: - Copyright (C) 1988, 2008 On-Line Applications Research Corporation (OAR) -default-value: '${../impl/cpu/stack-minimum-size:/name}' +default-value: ${../impl/cpu/stack-minimum-size:/name} description: | The value of this configuration option defines the minimum stack size in bytes for every user task or thread in the system. diff --git a/spec/if/rtems/barrier/group.yml b/spec/if/rtems/barrier/group.yml index 9b380543..514dacea 100644 --- a/spec/if/rtems/barrier/group.yml +++ b/spec/if/rtems/barrier/group.yml @@ -14,7 +14,7 @@ links: uid: header - role: interface-ingroup uid: ../group +name: Barrier Manager text: | The Classic API shall provide an interface to the Barrier Manager. -name: Barrier Manager type: interface diff --git a/spec/if/rtems/clock/tick-before.yml b/spec/if/rtems/clock/tick-before.yml index 2abb099f..ef7c69f4 100644 --- a/spec/if/rtems/clock/tick-before.yml +++ b/spec/if/rtems/clock/tick-before.yml @@ -33,8 +33,8 @@ return: - description: | The current ticks counter value indicates a time before the time specified by the tick value. - value: "true" + value: 'true' - description: | Otherwise. - value: "false" + value: 'false' type: interface diff --git a/spec/if/rtems/clock/tick-later-usec.yml b/spec/if/rtems/clock/tick-later-usec.yml index a5a8beca..acb88950 100644 --- a/spec/if/rtems/clock/tick-later-usec.yml +++ b/spec/if/rtems/clock/tick-later-usec.yml @@ -36,6 +36,6 @@ params: name: delta_in_usec return: return: | - The tick counter value delta ticks in the future is returned. + The tick counter value delta ticks in the future is returned. return-values: [] type: interface diff --git a/spec/if/rtems/clock/tick-later.yml b/spec/if/rtems/clock/tick-later.yml index b850f9de..5f56a066 100644 --- a/spec/if/rtems/clock/tick-later.yml +++ b/spec/if/rtems/clock/tick-later.yml @@ -27,6 +27,6 @@ params: name: delta return: return: | - The tick counter value delta ticks in the future is returned. + The tick counter value delta ticks in the future is returned. return-values: [] type: interface diff --git a/spec/if/rtems/event/send.yml b/spec/if/rtems/event/send.yml index e7f5609a..679a7719 100644 --- a/spec/if/rtems/event/send.yml +++ b/spec/if/rtems/event/send.yml @@ -36,7 +36,7 @@ links: uid: group name: rtems_event_send notes: | - Events can be sent by tasks or an ${/glossary/isr:/term}. + Events can be sent by tasks or an ${/glossary/isr:/term}. Specifying ${../tasks/self-define:/name} for ``${.:/params[0]/name}`` results in the event set being sent to the calling task. diff --git a/spec/if/rtems/event/system-server-resume.yml b/spec/if/rtems/event/system-server-resume.yml index 2aec771c..83217d87 100644 --- a/spec/if/rtems/event/system-server-resume.yml +++ b/spec/if/rtems/event/system-server-resume.yml @@ -6,7 +6,7 @@ copyrights: - Copyright (C) 2020 embedded brains GmbH (http://www.embedded-brains.de) - Copyright (C) 1988, 2008 On-Line Applications Research Corporation (OAR) definition: - default: '${event-29:/name}' + default: ${event-29:/name} variants: [] description: null enabled-by: true diff --git a/spec/if/rtems/event/system-server.yml b/spec/if/rtems/event/system-server.yml index b4300340..e628d449 100644 --- a/spec/if/rtems/event/system-server.yml +++ b/spec/if/rtems/event/system-server.yml @@ -6,7 +6,7 @@ copyrights: - Copyright (C) 2020 embedded brains GmbH (http://www.embedded-brains.de) - Copyright (C) 1988, 2008 On-Line Applications Research Corporation (OAR) definition: - default: '${event-30:/name}' + default: ${event-30:/name} variants: [] description: null enabled-by: true diff --git a/spec/if/rtems/event/system-transient.yml b/spec/if/rtems/event/system-transient.yml index 94c618c0..a1b4b9e2 100644 --- a/spec/if/rtems/event/system-transient.yml +++ b/spec/if/rtems/event/system-transient.yml @@ -5,7 +5,7 @@ copyrights: - Copyright (C) 2020 embedded brains GmbH (http://www.embedded-brains.de) - Copyright (C) 1988, 2008 On-Line Applications Research Corporation (OAR) definition: - default: '${event-31:/name}' + default: ${event-31:/name} variants: [] description: null enabled-by: true diff --git a/spec/if/rtems/fatal/panic.yml b/spec/if/rtems/fatal/panic.yml index 255b46ed..2a119147 100644 --- a/spec/if/rtems/fatal/panic.yml +++ b/spec/if/rtems/fatal/panic.yml @@ -8,8 +8,9 @@ definition: body: null params: - const char *${.:/params[0]/name} - - ... - return: ${../basedefs/no-return:/name} ${../basedefs/printflike:/name}( 1, 2 ) void + - '...' + return: | + ${../basedefs/no-return:/name} ${../basedefs/printflike:/name}( 1, 2 ) void variants: [] description: null enabled-by: true @@ -27,7 +28,7 @@ params: name: fmt - description: '%' dir: null - name: ... + name: '...' return: return: null return-values: [] diff --git a/spec/if/rtems/intr/lock-reference.yml b/spec/if/rtems/intr/lock-reference.yml index 502233b3..5e1f6b96 100644 --- a/spec/if/rtems/intr/lock-reference.yml +++ b/spec/if/rtems/intr/lock-reference.yml @@ -4,7 +4,8 @@ copyrights: - Copyright (C) 2020 embedded brains GmbH (http://www.embedded-brains.de) - Copyright (C) 1988, 2008 On-Line Applications Research Corporation (OAR) definition: - default: ${/if/impl/isr/lock-reference:/name}( ${.:/params[0]/name}, ${.:/params[1]/name} ) + default: | + ${/if/impl/isr/lock-reference:/name}( ${.:/params[0]/name}, ${.:/params[1]/name} ) variants: [] description: null enabled-by: true diff --git a/spec/if/rtems/object/get-local-node.yml b/spec/if/rtems/object/get-local-node.yml index 8602257e..1c6dcf87 100644 --- a/spec/if/rtems/object/get-local-node.yml +++ b/spec/if/rtems/object/get-local-node.yml @@ -2,29 +2,6 @@ SPDX-License-Identifier: CC-BY-SA-4.0 OR BSD-2-Clause brief: '%' copyrights: - Copyright (C) 2020 embedded brains GmbH (http://www.embedded-brains.de) -- Copyright (C) 1988, 2008 On-Line Applications Research Corporation (OAR) -definition: - default: ${/if/impl/object/local-node:/name} - variants: [] -description: null -enabled-by: true -interface-type: macro -links: -- role: interface-placement - uid: header -- role: interface-ingroup - uid: group -name: rtems_object_get_local_node -notes: null -params: [] -return: - return: null - return-values: [] -type: interface -SPDX-License-Identifier: CC-BY-SA-4.0 OR BSD-2-Clause -brief: '%' -copyrights: -- Copyright (C) 2020 embedded brains GmbH (http://www.embedded-brains.de) - Copyright (C) 1989, 2008 On-Line Applications Research Corporation (OAR) definition: default: diff --git a/spec/if/rtems/options/no-wait.yml b/spec/if/rtems/options/no-wait.yml index 6fbe7a20..504128c5 100644 --- a/spec/if/rtems/options/no-wait.yml +++ b/spec/if/rtems/options/no-wait.yml @@ -7,7 +7,7 @@ copyrights: definition: default: '0x00000001' variants: [] -description: null +description: | If the resource is not available, then directives shall return immediately with a status to indicate unsatisfied. enabled-by: true diff --git a/spec/if/rtems/ratemon/period-status-define.yml b/spec/if/rtems/ratemon/period-status-define.yml index 20de9dbc..adebb068 100644 --- a/spec/if/rtems/ratemon/period-status-define.yml +++ b/spec/if/rtems/ratemon/period-status-define.yml @@ -1,7 +1,7 @@ SPDX-License-Identifier: CC-BY-SA-4.0 OR BSD-2-Clause brief: | - This constant is the interval passed to the ${period:/name} directive to - obtain status information. + This constant is the interval passed to the ${period:/name} directive to + obtain status information. copyrights: - Copyright (C) 2020 embedded brains GmbH (http://www.embedded-brains.de) - Copyright (C) 1988, 2008 On-Line Applications Research Corporation (OAR) diff --git a/spec/if/rtems/scheduler/get-processor-maximum.yml b/spec/if/rtems/scheduler/get-processor-maximum.yml index 6ab52a55..3c9f6ae4 100644 --- a/spec/if/rtems/scheduler/get-processor-maximum.yml +++ b/spec/if/rtems/scheduler/get-processor-maximum.yml @@ -9,7 +9,7 @@ definition: description: | In uniprocessor configurations, this macro evaluates to a compile time constant of one. - + In SMP configurations, this macro returns the minimum of the processors (physically or virtually) available by the platform and the configured processor maximum. Not all processors in the range from processor index zero diff --git a/spec/if/rtems/timer/service-routine-entry.yml b/spec/if/rtems/timer/service-routine-entry.yml index 4e4fd04e..580f86c5 100644 --- a/spec/if/rtems/timer/service-routine-entry.yml +++ b/spec/if/rtems/timer/service-routine-entry.yml @@ -4,7 +4,8 @@ copyrights: - Copyright (C) 2020 embedded brains GmbH (http://www.embedded-brains.de) - Copyright (C) 1988, 2008 On-Line Applications Research Corporation (OAR) definition: - default: ${service-routine:/name} ( *${.:/name} )( ${../types/id:/name}, void * ) + default: | + ${service-routine:/name} ( *${.:/name} )( ${../types/id:/name}, void * ) variants: [] description: null enabled-by: true diff --git a/spec/req/rtems/barrier/val/ident.yml b/spec/req/rtems/barrier/val/ident.yml index 455dccba..0427764c 100644 --- a/spec/req/rtems/barrier/val/ident.yml +++ b/spec/req/rtems/barrier/val/ident.yml @@ -1,14 +1,4 @@ SPDX-License-Identifier: CC-BY-SA-4.0 OR BSD-2-Clause -copyrights: -- Copyright (C) 2020 embedded brains GmbH (http://www.embedded-brains.de) -enabled-by: true -includes: [] -links: -- role: validation - uid: ../ident -local-includes: -- support-object-ident-local.h -target: testsuites/validation/tc-barrier-ident.c actions: - action: | ${../../ident-local:/test-run}( @@ -21,9 +11,18 @@ actions: objects defined by ${../../ident-local}. links: [] brief: Test the ${/if/rtems/barrier/ident:/name} directive. +copyrights: +- Copyright (C) 2020 embedded brains GmbH (http://www.embedded-brains.de) description: null +enabled-by: true epilogue: null fixture: null +includes: [] +links: +- role: validation + uid: ../ident +local-includes: +- support-object-ident-local.h name: Classic Barrier Ident prologue: | rtems_status_code sc; @@ -44,4 +43,5 @@ support: | { return rtems_barrier_ident( name, id ); } +target: testsuites/validation/tc-barrier-ident.c type: test-case diff --git a/spec/req/rtems/ident-local.yml b/spec/req/rtems/ident-local.yml index 9bb542f9..3dff42a6 100644 --- a/spec/req/rtems/ident-local.yml +++ b/spec/req/rtems/ident-local.yml @@ -82,6 +82,8 @@ pre-conditions: The id parameter shall point to an object identifier. test-epilogue: null test-prologue: null +rationale: null +references: [] requirement-type: functional skip-reasons: {} test-action: | @@ -130,6 +132,7 @@ test-stop: null test-support: null test-target: testsuites/validation/support-object-ident-local.c test-teardown: null +text: ${.:text-template} transition-map: - enabled-by: true post-conditions: @@ -157,7 +160,4 @@ transition-map: - Valid Name: - Valid -rationale: null -references: [] -text: ${.:text-template} type: requirement diff --git a/spec/req/rtems/ident.yml b/spec/req/rtems/ident.yml index 1a9bbfbc..38ad2f71 100644 --- a/spec/req/rtems/ident.yml +++ b/spec/req/rtems/ident.yml @@ -135,6 +135,8 @@ pre-conditions: The id parameter shall point to an object identifier. test-epilogue: null test-prologue: null +rationale: null +references: [] requirement-type: functional skip-reasons: {} test-action: | @@ -179,7 +181,8 @@ test-header: is the action handler. dir: null name: action - specifier: rtems_status_code ( *${.:name} )( rtems_name, uint32_t, rtems_id * ) + specifier: | + rtems_status_code ( *${.:name} )( rtems_name, uint32_t, rtems_id * ) target: testsuites/validation/support-object-ident.h test-includes: [] test-local-includes: @@ -190,6 +193,7 @@ test-stop: null test-support: null test-target: testsuites/validation/support-object-ident.c test-teardown: null +text: ${.:text-template} transition-map: - enabled-by: true post-conditions: @@ -248,7 +252,4 @@ transition-map: Node: - SearchOther - Remote -rationale: null -references: [] -text: ${.:text-template} type: requirement diff --git a/spec/req/rtems/message/val/ident.yml b/spec/req/rtems/message/val/ident.yml index 3d3590c6..0390918f 100644 --- a/spec/req/rtems/message/val/ident.yml +++ b/spec/req/rtems/message/val/ident.yml @@ -1,14 +1,4 @@ SPDX-License-Identifier: CC-BY-SA-4.0 OR BSD-2-Clause -copyrights: -- Copyright (C) 2020 embedded brains GmbH (http://www.embedded-brains.de) -enabled-by: true -includes: [] -links: -- role: validation - uid: ../ident -local-includes: -- support-object-ident.h -target: testsuites/validation/tc-message-ident.c actions: - action: | ${../../ident:/test-run}( @@ -21,9 +11,18 @@ actions: class objects defined by ${../../ident}. links: [] brief: Test the ${/if/rtems/message/ident:/name} directive. +copyrights: +- Copyright (C) 2020 embedded brains GmbH (http://www.embedded-brains.de) description: null +enabled-by: true epilogue: null fixture: null +includes: [] +links: +- role: validation + uid: ../ident +local-includes: +- support-object-ident.h name: Classic Message Ident prologue: | rtems_status_code sc; @@ -46,4 +45,5 @@ support: | { return rtems_message_queue_ident( name, node, id ); } +target: testsuites/validation/tc-message-ident.c type: test-case diff --git a/spec/req/rtems/part/val/ident.yml b/spec/req/rtems/part/val/ident.yml index 51aba7cc..d3aea036 100644 --- a/spec/req/rtems/part/val/ident.yml +++ b/spec/req/rtems/part/val/ident.yml @@ -1,14 +1,4 @@ SPDX-License-Identifier: CC-BY-SA-4.0 OR BSD-2-Clause -copyrights: -- Copyright (C) 2020 embedded brains GmbH (http://www.embedded-brains.de) -enabled-by: true -includes: [] -links: -- role: validation - uid: ../ident -local-includes: -- support-object-ident.h -target: testsuites/validation/tc-part-ident.c actions: - action: | ${../../ident:/test-run}( @@ -21,9 +11,18 @@ actions: objects defined by ${../../ident}. links: [] brief: Test the ${/if/rtems/part/ident:/name} directive. +copyrights: +- Copyright (C) 2020 embedded brains GmbH (http://www.embedded-brains.de) description: null +enabled-by: true epilogue: null fixture: null +includes: [] +links: +- role: validation + uid: ../ident +local-includes: +- support-object-ident.h name: Classic Part Ident prologue: | static long area[32]; @@ -48,4 +47,5 @@ support: | { return rtems_partition_ident( name, node, id ); } +target: testsuites/validation/tc-part-ident.c type: test-case diff --git a/spec/req/rtems/ratemon/val/ident.yml b/spec/req/rtems/ratemon/val/ident.yml index 7561c8c4..4494ecbd 100644 --- a/spec/req/rtems/ratemon/val/ident.yml +++ b/spec/req/rtems/ratemon/val/ident.yml @@ -1,14 +1,4 @@ SPDX-License-Identifier: CC-BY-SA-4.0 OR BSD-2-Clause -copyrights: -- Copyright (C) 2020 embedded brains GmbH (http://www.embedded-brains.de) -enabled-by: true -includes: [] -links: -- role: validation - uid: ../ident -local-includes: -- support-object-ident-local.h -target: testsuites/validation/tc-ratemon-ident.c actions: - action: | ${../../ident-local:/test-run}( @@ -21,9 +11,18 @@ actions: class objects defined by ${../../ident-local}. links: [] brief: Test the ${/if/rtems/part/ident:/name} directive. +copyrights: +- Copyright (C) 2020 embedded brains GmbH (http://www.embedded-brains.de) description: null +enabled-by: true epilogue: null fixture: null +includes: [] +links: +- role: validation + uid: ../ident +local-includes: +- support-object-ident-local.h name: Classic Ratemon Ident prologue: | rtems_status_code sc; @@ -42,4 +41,5 @@ support: | { return rtems_rate_monotonic_ident( name, id ); } +target: testsuites/validation/tc-ratemon-ident.c type: test-case diff --git a/spec/req/rtems/sem/val/ident.yml b/spec/req/rtems/sem/val/ident.yml index b97d470b..b2b23584 100644 --- a/spec/req/rtems/sem/val/ident.yml +++ b/spec/req/rtems/sem/val/ident.yml @@ -1,14 +1,4 @@ SPDX-License-Identifier: CC-BY-SA-4.0 OR BSD-2-Clause -copyrights: -- Copyright (C) 2020 embedded brains GmbH (http://www.embedded-brains.de) -enabled-by: true -includes: [] -links: -- role: validation - uid: ../ident -local-includes: -- support-object-ident.h -target: testsuites/validation/tc-sem-ident.c actions: - action: | ${../../ident:/test-run}( @@ -21,9 +11,18 @@ actions: objects defined by ${../../ident}. links: [] brief: Test the ${/if/rtems/sem/ident:/name} directive. +copyrights: +- Copyright (C) 2020 embedded brains GmbH (http://www.embedded-brains.de) description: null +enabled-by: true epilogue: null fixture: null +includes: [] +links: +- role: validation + uid: ../ident +local-includes: +- support-object-ident.h name: Classic Sem Ident prologue: | rtems_status_code sc; @@ -46,4 +45,5 @@ support: | { return rtems_semaphore_ident( name, node, id ); } +target: testsuites/validation/tc-sem-ident.c type: test-case diff --git a/spec/req/rtems/tasks/ident.yml b/spec/req/rtems/tasks/ident.yml index 3d2d6873..8875f72f 100644 --- a/spec/req/rtems/tasks/ident.yml +++ b/spec/req/rtems/tasks/ident.yml @@ -42,6 +42,8 @@ pre-conditions: The pre-condition status shall be specified by ${../ident}. test-epilogue: null test-prologue: null +rationale: null +references: [] requirement-type: functional skip-reasons: {} test-action: | @@ -102,6 +104,7 @@ test-support: | } test-target: testsuites/validation/tc-task-ident.c test-teardown: null +text: ${.:text-template} transition-map: - enabled-by: true post-conditions: @@ -115,7 +118,4 @@ transition-map: pre-conditions: Pre: - Generic -rationale: null -references: [] -text: ${.:text-template} type: requirement diff --git a/spec/req/rtems/timer/val/ident.yml b/spec/req/rtems/timer/val/ident.yml index 3dee2ec5..86da8531 100644 --- a/spec/req/rtems/timer/val/ident.yml +++ b/spec/req/rtems/timer/val/ident.yml @@ -1,14 +1,4 @@ SPDX-License-Identifier: CC-BY-SA-4.0 OR BSD-2-Clause -copyrights: -- Copyright (C) 2020 embedded brains GmbH (http://www.embedded-brains.de) -enabled-by: true -includes: [] -links: -- role: validation - uid: ../ident -local-includes: -- support-object-ident-local.h -target: testsuites/validation/tc-timer-ident.c actions: - action: | ${../../ident-local:/test-run}( @@ -21,9 +11,18 @@ actions: objects defined by ${../../ident-local}. links: [] brief: Test the ${/if/rtems/timer/ident:/name} directive. +copyrights: +- Copyright (C) 2020 embedded brains GmbH (http://www.embedded-brains.de) description: null +enabled-by: true epilogue: null fixture: null +includes: [] +links: +- role: validation + uid: ../ident +local-includes: +- support-object-ident-local.h name: Classic Timer Ident prologue: | rtems_status_code sc; @@ -42,4 +41,5 @@ support: | { return rtems_timer_ident( name, id ); } +target: testsuites/validation/tc-timer-ident.c type: test-case diff --git a/spec/req/rtems/userext/val/ident.yml b/spec/req/rtems/userext/val/ident.yml index d98298df..78544f2a 100644 --- a/spec/req/rtems/userext/val/ident.yml +++ b/spec/req/rtems/userext/val/ident.yml @@ -1,14 +1,4 @@ SPDX-License-Identifier: CC-BY-SA-4.0 OR BSD-2-Clause -copyrights: -- Copyright (C) 2020 embedded brains GmbH (http://www.embedded-brains.de) -enabled-by: true -includes: [] -links: -- role: validation - uid: ../ident -local-includes: -- support-object-ident-local.h -target: testsuites/validation/tc-userext-ident.c actions: - action: | ${../../ident-local:/test-run}( @@ -21,9 +11,18 @@ actions: class objects defined by ${../../ident-local}. links: [] brief: Test the ${/if/rtems/userext/ident:/name} directive. +copyrights: +- Copyright (C) 2020 embedded brains GmbH (http://www.embedded-brains.de) description: null +enabled-by: true epilogue: null fixture: null +includes: [] +links: +- role: validation + uid: ../ident +local-includes: +- support-object-ident-local.h name: Classic UserExt Ident prologue: | static const rtems_extensions_table table; @@ -44,4 +43,5 @@ support: | { return rtems_extension_ident( name, id ); } +target: testsuites/validation/tc-userext-ident.c type: test-case diff --git a/spec/spec/interface-brief.yml b/spec/spec/interface-brief.yml index 90d1211b..c2101d6d 100644 --- a/spec/spec/interface-brief.yml +++ b/spec/spec/interface-brief.yml @@ -12,7 +12,7 @@ spec-info: str: assert: not: - re: '\n\n' + re: \n\n description: | It shall be the brief description of the interface. It should be a single sentence. diff --git a/spec/system.yml b/spec/system.yml index 3417f3e5..39b2b04b 100644 --- a/spec/system.yml +++ b/spec/system.yml @@ -2,8 +2,8 @@ SPDX-License-Identifier: CC-BY-SA-4.0 OR BSD-2-Clause copyrights: - Copyright (C) 2020 embedded brains GmbH (http://www.embedded-brains.de enabled-by: true -links: [] functional-type: function +links: [] rationale: null references: [] requirement-type: functional |