summaryrefslogtreecommitdiffstats
path: root/spec/req
diff options
context:
space:
mode:
authorSebastian Huber <sebastian.huber@embedded-brains.de>2020-08-19 10:18:31 +0200
committerSebastian Huber <sebastian.huber@embedded-brains.de>2020-08-19 11:29:34 +0200
commit6df984ee5fce8a09f3e98b8bc31268b2fcfa1408 (patch)
tree391f3f9d4fd4293cce66fe336f33b06feddfa4b4 /spec/req
parentcontent: Strip function parameters (diff)
downloadrtems-central-6df984ee5fce8a09f3e98b8bc31268b2fcfa1408.tar.bz2
spec: Fix item format
Diffstat (limited to 'spec/req')
-rw-r--r--spec/req/rtems/barrier/val/ident.yml20
-rw-r--r--spec/req/rtems/ident-local.yml6
-rw-r--r--spec/req/rtems/ident.yml9
-rw-r--r--spec/req/rtems/message/val/ident.yml20
-rw-r--r--spec/req/rtems/part/val/ident.yml20
-rw-r--r--spec/req/rtems/ratemon/val/ident.yml20
-rw-r--r--spec/req/rtems/sem/val/ident.yml20
-rw-r--r--spec/req/rtems/tasks/ident.yml6
-rw-r--r--spec/req/rtems/timer/val/ident.yml20
-rw-r--r--spec/req/rtems/userext/val/ident.yml20
10 files changed, 81 insertions, 80 deletions
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