[rtems-central commit] spec: Specify directive attributes
Sebastian Huber
sebh at rtems.org
Thu Aug 20 14:13:13 UTC 2020
Module: rtems-central
Branch: master
Commit: b9e19eaa1eacc46b4c300a3306713e0bebab3e08
Changeset: http://git.rtems.org/rtems-central/commit/?id=b9e19eaa1eacc46b4c300a3306713e0bebab3e08
Author: Sebastian Huber <sebastian.huber at embedded-brains.de>
Date: Mon Aug 17 15:21:28 2020 +0200
spec: Specify directive attributes
---
spec/req/rtems/attr/bit-set.yml | 15 ++
spec/req/rtems/attr/default.yml | 14 ++
spec/req/rtems/attr/semaphore-class.yml | 17 ++
spec/req/rtems/attr/unique.yml | 14 ++
spec/req/rtems/attr/val/attr.yml | 278 ++++++++++++++++++++++++++++++++
5 files changed, 338 insertions(+)
diff --git a/spec/req/rtems/attr/bit-set.yml b/spec/req/rtems/attr/bit-set.yml
new file mode 100644
index 0000000..a3711c4
--- /dev/null
+++ b/spec/req/rtems/attr/bit-set.yml
@@ -0,0 +1,15 @@
+SPDX-License-Identifier: CC-BY-SA-4.0
+copyrights:
+- Copyright (C) 2020 embedded brains GmbH (http://www.embedded-brains.de)
+enabled-by: true
+links:
+- role: requirement-refinement
+ uid: /if/rtems/attr/group
+non-functional-type: interface
+rationale: null
+references: []
+requirement-type: non-functional
+text: |
+ Each non-default directive attribute constant shall be a power of two
+ representable as an integer of type ${/if/rtems/attr/attribute}.
+type: requirement
diff --git a/spec/req/rtems/attr/default.yml b/spec/req/rtems/attr/default.yml
new file mode 100644
index 0000000..5a628b8
--- /dev/null
+++ b/spec/req/rtems/attr/default.yml
@@ -0,0 +1,14 @@
+SPDX-License-Identifier: CC-BY-SA-4.0
+copyrights:
+- Copyright (C) 2020 embedded brains GmbH (http://www.embedded-brains.de)
+enabled-by: true
+links:
+- role: requirement-refinement
+ uid: /if/rtems/attr/group
+non-functional-type: interface
+rationale: null
+references: []
+requirement-type: non-functional
+text: |
+ Each default directive attribute constant shall have a value of zero.
+type: requirement
diff --git a/spec/req/rtems/attr/semaphore-class.yml b/spec/req/rtems/attr/semaphore-class.yml
new file mode 100644
index 0000000..fa85d7b
--- /dev/null
+++ b/spec/req/rtems/attr/semaphore-class.yml
@@ -0,0 +1,17 @@
+SPDX-License-Identifier: CC-BY-SA-4.0
+copyrights:
+- Copyright (C) 2020 embedded brains GmbH (http://www.embedded-brains.de)
+enabled-by: true
+links:
+- role: requirement-refinement
+ uid: /if/rtems/attr/semaphore-class
+non-functional-type: interface
+rationale: null
+references: []
+requirement-type: non-functional
+text: |
+ The ${/if/rtems/attr/semaphore-class:/name} constant shall be equal to the
+ bitwise or of ${/if/rtems/attr/binary-semaphore:/name},
+ ${/if/rtems/attr/counting-semaphore:/name}, and
+ ${/if/rtems/attr/simple-binary-semaphore:/name}.
+type: requirement
diff --git a/spec/req/rtems/attr/unique.yml b/spec/req/rtems/attr/unique.yml
new file mode 100644
index 0000000..d8da776
--- /dev/null
+++ b/spec/req/rtems/attr/unique.yml
@@ -0,0 +1,14 @@
+SPDX-License-Identifier: CC-BY-SA-4.0
+copyrights:
+- Copyright (C) 2020 embedded brains GmbH (http://www.embedded-brains.de)
+enabled-by: true
+links:
+- role: requirement-refinement
+ uid: /if/rtems/attr/group
+non-functional-type: interface
+rationale: null
+references: []
+requirement-type: non-functional
+text: |
+ The non-default directive attribute constants shall have unique values.
+type: requirement
diff --git a/spec/req/rtems/attr/val/attr.yml b/spec/req/rtems/attr/val/attr.yml
new file mode 100644
index 0000000..22594b1
--- /dev/null
+++ b/spec/req/rtems/attr/val/attr.yml
@@ -0,0 +1,278 @@
+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: []
+test-actions:
+- action: |
+ /* No action */
+ checks:
+ - check: |
+ T_step_true( ${step}, IsPowerOfTwo( RTEMS_BARRIER_MANUAL_RELEASE ) );
+ description: |
+ Check that RTEMS_BARRIER_MANUAL_RELEASE is a power of two.
+ links:
+ - role: validation
+ uid: ../bit-set
+ - role: validation
+ uid: /if/rtems/attr/barrier-manual-release
+ - check: |
+ T_step_true( ${step}, IsPowerOfTwo( RTEMS_BINARY_SEMAPHORE ) );
+ description: |
+ Check that RTEMS_BINARY_SEMAPHORE is a power of two.
+ links:
+ - role: validation
+ uid: ../bit-set
+ - role: validation
+ uid: /if/rtems/attr/binary-semaphore
+ - check: |
+ T_step_true( ${step}, IsPowerOfTwo( RTEMS_FLOATING_POINT ) );
+ description: |
+ Check that RTEMS_FLOATING_POINT is a power of two.
+ links:
+ - role: validation
+ uid: ../bit-set
+ - role: validation
+ uid: /if/rtems/attr/floating-point
+ - check: |
+ T_step_true( ${step}, IsPowerOfTwo( RTEMS_GLOBAL ) );
+ description: |
+ Check that RTEMS_GLOBAL is a power of two.
+ links:
+ - role: validation
+ uid: ../bit-set
+ - role: validation
+ uid: /if/rtems/attr/global
+ - check: |
+ T_step_true( ${step}, IsPowerOfTwo( RTEMS_INHERIT_PRIORITY ) );
+ description: |
+ Check that RTEMS_INHERIT_PRIORITY is a power of two.
+ links:
+ - role: validation
+ uid: ../bit-set
+ - role: validation
+ uid: /if/rtems/attr/inherit-priority
+ - check: |
+ T_step_true(
+ ${step},
+ IsPowerOfTwo( RTEMS_MULTIPROCESSOR_RESOURCE_SHARING )
+ );
+ description: |
+ Check that RTEMS_MULTIPROCESSOR_RESOURCE_SHARING is a power of two.
+ links:
+ - role: validation
+ uid: ../bit-set
+ - role: validation
+ uid: /if/rtems/attr/multiprocessor-resource-sharing
+ - check: |
+ T_step_true( ${step}, IsPowerOfTwo( RTEMS_PRIORITY ) );
+ description: |
+ Check that RTEMS_PRIORITY is a power of two.
+ links:
+ - role: validation
+ uid: ../bit-set
+ - role: validation
+ uid: /if/rtems/attr/priority
+ - check: |
+ T_step_true( ${step}, IsPowerOfTwo( RTEMS_PRIORITY_CEILING ) );
+ description: |
+ Check that RTEMS_PRIORITY_CEILING is a power of two.
+ links:
+ - role: validation
+ uid: ../bit-set
+ - role: validation
+ uid: /if/rtems/attr/priority-ceiling
+ - check: |
+ T_step_true( ${step}, IsPowerOfTwo( RTEMS_SIMPLE_BINARY_SEMAPHORE ) );
+ description: |
+ Check that RTEMS_SIMPLE_BINARY_SEMAPHORE is a power of two.
+ links:
+ - role: validation
+ uid: ../bit-set
+ - role: validation
+ uid: /if/rtems/attr/simple-binary-semaphore
+ - check: |
+ T_step_true( ${step}, IsPowerOfTwo( RTEMS_SYSTEM_TASK ) );
+ description: |
+ Check that RTEMS_SYSTEM_TASK is a power of two.
+ links:
+ - role: validation
+ uid: ../bit-set
+ - role: validation
+ uid: /if/rtems/attr/system-task
+ description: |
+ Validate the non-default attribute constants.
+ links: []
+- action: |
+ /* No action */
+ checks:
+ - check: |
+ T_step_eq_u32( ${step}, RTEMS_APPLICATION_TASK, 0 );
+ description: |
+ Check that RTEMS_APPLICATION_TASK is equal to zero.
+ links:
+ - role: validation
+ uid: ../default
+ - role: validation
+ uid: /if/rtems/attr/application-task
+ - check: |
+ T_step_eq_u32( ${step}, RTEMS_BARRIER_MANUAL_RELEASE, 0 );
+ description: |
+ Check that RTEMS_BARRIER_MANUAL_RELEASE is equal to zero.
+ links:
+ - role: validation
+ uid: ../default
+ - role: validation
+ uid: /if/rtems/attr/barrier-manual-release
+ - check: |
+ T_step_eq_u32( ${step}, RTEMS_COUNTING_SEMAPHORE, 0 );
+ description: |
+ Check that RTEMS_COUNTING_SEMAPHORE is equal to zero.
+ links:
+ - role: validation
+ uid: ../default
+ - role: validation
+ uid: /if/rtems/attr/counting-semaphore
+ - check: |
+ T_step_eq_u32( ${step}, RTEMS_DEFAULT_ATTRIBUTES, 0 );
+ description: |
+ Check that RTEMS_DEFAULT_ATTRIBUTES is equal to zero.
+ links:
+ - role: validation
+ uid: ../default
+ - role: validation
+ uid: /if/rtems/attr/default
+ - check: |
+ T_step_eq_u32( ${step}, RTEMS_FIFO, 0 );
+ description: |
+ Check that RTEMS_FIFO is equal to zero.
+ links:
+ - role: validation
+ uid: ../default
+ - role: validation
+ uid: /if/rtems/attr/fifo
+ - check: |
+ T_step_eq_u32( ${step}, RTEMS_LOCAL, 0 );
+ description: |
+ Check that RTEMS_LOCAL is equal to zero.
+ links:
+ - role: validation
+ uid: ../default
+ - role: validation
+ uid: /if/rtems/attr/local
+ - check: |
+ T_step_eq_u32( ${step}, RTEMS_NO_FLOATING_POINT, 0 );
+ description: |
+ Check that RTEMS_NO_FLOATING_POINT is equal to zero.
+ links:
+ - role: validation
+ uid: ../default
+ - role: validation
+ uid: /if/rtems/attr/no-floating-point
+ - check: |
+ T_step_eq_u32( ${step}, RTEMS_NO_INHERIT_PRIORITY, 0 );
+ description: |
+ Check that RTEMS_NO_INHERIT_PRIORITY is equal to zero.
+ links:
+ - role: validation
+ uid: ../default
+ - role: validation
+ uid: /if/rtems/attr/no-inherit-priority
+ - check: |
+ T_step_eq_u32( ${step}, RTEMS_NO_MULTIPROCESSOR_RESOURCE_SHARING, 0 );
+ description: |
+ Check that RTEMS_NO_MULTIPROCESSOR_RESOURCE_SHARING is equal to zero.
+ links:
+ - role: validation
+ uid: ../default
+ - role: validation
+ uid: /if/rtems/attr/no-multiprocessor-resource-sharing
+ - check: |
+ T_step_eq_u32( ${step}, RTEMS_NO_PRIORITY_CEILING, 0 );
+ description: |
+ Check that RTEMS_NO_PRIORITY_CEILING is equal to zero.
+ links:
+ - role: validation
+ uid: ../default
+ - role: validation
+ uid: /if/rtems/attr/no-priority-ceiling
+ description: |
+ Validate the default attribute constants.
+ links: []
+- action: |
+ attributes = 0;
+ attributes |= RTEMS_BARRIER_AUTOMATIC_RELEASE;
+ attributes |= RTEMS_BINARY_SEMAPHORE;
+ attributes |= RTEMS_FLOATING_POINT;
+ attributes |= RTEMS_GLOBAL;
+ attributes |= RTEMS_INHERIT_PRIORITY;
+ attributes |= RTEMS_MULTIPROCESSOR_RESOURCE_SHARING;
+ attributes |= RTEMS_PRIORITY;
+ attributes |= RTEMS_PRIORITY_CEILING;
+ attributes |= RTEMS_SEMAPHORE_CLASS;
+ attributes |= RTEMS_SIMPLE_BINARY_SEMAPHORE;
+ attributes |= RTEMS_SYSTEM_TASK;
+ checks:
+ - check: |
+ T_step_eq_int( ${step}, PopCount( attributes ), 10 );
+ description: |
+ Check that the count of set bits in the calculated value is equal to the
+ count of non-default attribute constants. Since each non-default
+ attribute constant is a power of two, this proves that each constant has
+ a unique value.
+ links:
+ - role: validation
+ uid: ../unique
+ description: |
+ Calculate the bitwise or of all non-default attribute constants.
+ links: []
+- action: |
+ attributes = 0;
+ attributes |= RTEMS_BINARY_SEMAPHORE;
+ attributes |= RTEMS_COUNTING_SEMAPHORE;
+ attributes |= RTEMS_SIMPLE_BINARY_SEMAPHORE;
+ checks:
+ - check: |
+ T_step_eq_u32( ${step}, RTEMS_SEMAPHORE_CLASS, attributes );
+ description: |
+ Check that the calculated value is equal to RTEMS_SEMAPHORE_CLASS.
+ links:
+ - role: validation
+ uid: ../semaphore-class
+ description: |
+ Calculate the bitwise or of the RTEMS_BINARY_SEMAPHORE,
+ RTEMS_COUNTING_SEMAPHORE, and RTEMS_SIMPLE_BINARY_SEMAPHORE attribute
+ constants.
+ links: []
+test-brief: |
+ Tests the attribute constants of the Classic API.
+test-description: null
+test-epilogue: null
+test-fixture: null
+test-header: null
+test-includes:
+- rtems.h
+test-local-includes: []
+test-prologue: |
+ rtems_attribute attributes;
+test-support: |
+ static bool IsPowerOfTwo( rtems_attribute attribute )
+ {
+ return attribute != 0 && ( attribute & ( attribute - 1 ) ) == 0;
+ }
+
+ static int PopCount( rtems_attribute attributes )
+ {
+ int count;
+
+ count = 0;
+
+ while ( attributes != 0 ) {
+ ++count;
+ attributes &= attributes - 1;
+ }
+
+ return count;
+ }
+test-target: testsuites/validation/tc-attr.c
+type: test-case
More information about the vc
mailing list