summaryrefslogtreecommitdiffstats
path: root/spec/rtems/attr/val/attr.yml
diff options
context:
space:
mode:
authorSebastian Huber <sebastian.huber@embedded-brains.de>2021-02-04 13:22:15 +0100
committerSebastian Huber <sebastian.huber@embedded-brains.de>2021-02-04 14:23:43 +0100
commitf8cd9770fe28836746883a19343508df92c436c8 (patch)
tree015b14ccdb05000cf6b586de65dc328771b2f345 /spec/rtems/attr/val/attr.yml
parentvalidation: Do not pass NULL context (diff)
downloadrtems-central-f8cd9770fe28836746883a19343508df92c436c8.tar.bz2
spec: Rename test case action attributes
The new attribute keys make it easier to write test cases.
Diffstat (limited to 'spec/rtems/attr/val/attr.yml')
-rw-r--r--spec/rtems/attr/val/attr.yml160
1 files changed, 80 insertions, 80 deletions
diff --git a/spec/rtems/attr/val/attr.yml b/spec/rtems/attr/val/attr.yml
index 1e2b58ab..eea9f10f 100644
--- a/spec/rtems/attr/val/attr.yml
+++ b/spec/rtems/attr/val/attr.yml
@@ -4,202 +4,204 @@ copyrights:
enabled-by: true
links: []
test-actions:
-- action: |
+- action-brief: |
+ Validate the non-default attribute constants.
+ action-code: |
/* No action */
checks:
- - check: |
- T_step_true( ${step}, IsPowerOfTwo( RTEMS_BARRIER_AUTOMATIC_RELEASE ) );
- description: |
+ - brief: |
Check that RTEMS_BARRIER_AUTOMATIC_RELEASE is a power of two.
+ code: |
+ T_step_true( ${step}, IsPowerOfTwo( RTEMS_BARRIER_AUTOMATIC_RELEASE ) );
links:
- role: validation
uid: ../req/bit-set
- role: validation
uid: ../if/barrier-automatic-release
- - check: |
- T_step_true( ${step}, IsPowerOfTwo( RTEMS_BINARY_SEMAPHORE ) );
- description: |
+ - brief: |
Check that RTEMS_BINARY_SEMAPHORE is a power of two.
+ code: |
+ T_step_true( ${step}, IsPowerOfTwo( RTEMS_BINARY_SEMAPHORE ) );
links:
- role: validation
uid: ../req/bit-set
- role: validation
uid: ../if/binary-semaphore
- - check: |
- T_step_true( ${step}, IsPowerOfTwo( RTEMS_FLOATING_POINT ) );
- description: |
+ - brief: |
Check that RTEMS_FLOATING_POINT is a power of two.
+ code: |
+ T_step_true( ${step}, IsPowerOfTwo( RTEMS_FLOATING_POINT ) );
links:
- role: validation
uid: ../req/bit-set
- role: validation
uid: ../if/floating-point
- - check: |
- T_step_true( ${step}, IsPowerOfTwo( RTEMS_GLOBAL ) );
- description: |
+ - brief: |
Check that RTEMS_GLOBAL is a power of two.
+ code: |
+ T_step_true( ${step}, IsPowerOfTwo( RTEMS_GLOBAL ) );
links:
- role: validation
uid: ../req/bit-set
- role: validation
uid: ../if/global
- - check: |
- T_step_true( ${step}, IsPowerOfTwo( RTEMS_INHERIT_PRIORITY ) );
- description: |
+ - brief: |
Check that RTEMS_INHERIT_PRIORITY is a power of two.
+ code: |
+ T_step_true( ${step}, IsPowerOfTwo( RTEMS_INHERIT_PRIORITY ) );
links:
- role: validation
uid: ../req/bit-set
- role: validation
uid: ../if/inherit-priority
- - check: |
+ - brief: |
+ Check that RTEMS_MULTIPROCESSOR_RESOURCE_SHARING is a power of two.
+ code: |
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: ../req/bit-set
- role: validation
uid: ../if/multiprocessor-resource-sharing
- - check: |
- T_step_true( ${step}, IsPowerOfTwo( RTEMS_PRIORITY ) );
- description: |
+ - brief: |
Check that RTEMS_PRIORITY is a power of two.
+ code: |
+ T_step_true( ${step}, IsPowerOfTwo( RTEMS_PRIORITY ) );
links:
- role: validation
uid: ../req/bit-set
- role: validation
uid: ../if/priority
- - check: |
- T_step_true( ${step}, IsPowerOfTwo( RTEMS_PRIORITY_CEILING ) );
- description: |
+ - brief: |
Check that RTEMS_PRIORITY_CEILING is a power of two.
+ code: |
+ T_step_true( ${step}, IsPowerOfTwo( RTEMS_PRIORITY_CEILING ) );
links:
- role: validation
uid: ../req/bit-set
- role: validation
uid: ../if/priority-ceiling
- - check: |
- T_step_true( ${step}, IsPowerOfTwo( RTEMS_SIMPLE_BINARY_SEMAPHORE ) );
- description: |
+ - brief: |
Check that RTEMS_SIMPLE_BINARY_SEMAPHORE is a power of two.
+ code: |
+ T_step_true( ${step}, IsPowerOfTwo( RTEMS_SIMPLE_BINARY_SEMAPHORE ) );
links:
- role: validation
uid: ../req/bit-set
- role: validation
uid: ../if/simple-binary-semaphore
- - check: |
- T_step_true( ${step}, IsPowerOfTwo( RTEMS_SYSTEM_TASK ) );
- description: |
+ - brief: |
Check that RTEMS_SYSTEM_TASK is a power of two.
+ code: |
+ T_step_true( ${step}, IsPowerOfTwo( RTEMS_SYSTEM_TASK ) );
links:
- role: validation
uid: ../req/bit-set
- role: validation
uid: ../if/system-task
- description: |
- Validate the non-default attribute constants.
links: []
-- action: |
+- action-brief: |
+ Validate the default attribute constants.
+ action-code: |
/* No action */
checks:
- - check: |
- T_step_eq_u32( ${step}, RTEMS_APPLICATION_TASK, 0 );
- description: |
+ - brief: |
Check that RTEMS_APPLICATION_TASK is equal to zero.
+ code: |
+ T_step_eq_u32( ${step}, RTEMS_APPLICATION_TASK, 0 );
links:
- role: validation
uid: ../req/default
- role: validation
uid: ../if/application-task
- - check: |
- T_step_eq_u32( ${step}, RTEMS_BARRIER_MANUAL_RELEASE, 0 );
- description: |
+ - brief: |
Check that RTEMS_BARRIER_MANUAL_RELEASE is equal to zero.
+ code: |
+ T_step_eq_u32( ${step}, RTEMS_BARRIER_MANUAL_RELEASE, 0 );
links:
- role: validation
uid: ../req/default
- role: validation
uid: ../if/barrier-manual-release
- - check: |
- T_step_eq_u32( ${step}, RTEMS_COUNTING_SEMAPHORE, 0 );
- description: |
+ - brief: |
Check that RTEMS_COUNTING_SEMAPHORE is equal to zero.
+ code: |
+ T_step_eq_u32( ${step}, RTEMS_COUNTING_SEMAPHORE, 0 );
links:
- role: validation
uid: ../req/default
- role: validation
uid: ../if/counting-semaphore
- - check: |
- T_step_eq_u32( ${step}, RTEMS_DEFAULT_ATTRIBUTES, 0 );
- description: |
+ - brief: |
Check that RTEMS_DEFAULT_ATTRIBUTES is equal to zero.
+ code: |
+ T_step_eq_u32( ${step}, RTEMS_DEFAULT_ATTRIBUTES, 0 );
links:
- role: validation
uid: ../req/default
- role: validation
uid: ../if/default
- - check: |
- T_step_eq_u32( ${step}, RTEMS_FIFO, 0 );
- description: |
+ - brief: |
Check that RTEMS_FIFO is equal to zero.
+ code: |
+ T_step_eq_u32( ${step}, RTEMS_FIFO, 0 );
links:
- role: validation
uid: ../req/default
- role: validation
uid: ../if/fifo
- - check: |
- T_step_eq_u32( ${step}, RTEMS_LOCAL, 0 );
- description: |
+ - brief: |
Check that RTEMS_LOCAL is equal to zero.
+ code: |
+ T_step_eq_u32( ${step}, RTEMS_LOCAL, 0 );
links:
- role: validation
uid: ../req/default
- role: validation
uid: ../if/local
- - check: |
- T_step_eq_u32( ${step}, RTEMS_NO_FLOATING_POINT, 0 );
- description: |
+ - brief: |
Check that RTEMS_NO_FLOATING_POINT is equal to zero.
+ code: |
+ T_step_eq_u32( ${step}, RTEMS_NO_FLOATING_POINT, 0 );
links:
- role: validation
uid: ../req/default
- role: validation
uid: ../if/no-floating-point
- - check: |
- T_step_eq_u32( ${step}, RTEMS_NO_INHERIT_PRIORITY, 0 );
- description: |
+ - brief: |
Check that RTEMS_NO_INHERIT_PRIORITY is equal to zero.
+ code: |
+ T_step_eq_u32( ${step}, RTEMS_NO_INHERIT_PRIORITY, 0 );
links:
- role: validation
uid: ../req/default
- role: validation
uid: ../if/no-inherit-priority
- - check: |
- T_step_eq_u32( ${step}, RTEMS_NO_MULTIPROCESSOR_RESOURCE_SHARING, 0 );
- description: |
+ - brief: |
Check that RTEMS_NO_MULTIPROCESSOR_RESOURCE_SHARING is equal to zero.
+ code: |
+ T_step_eq_u32( ${step}, RTEMS_NO_MULTIPROCESSOR_RESOURCE_SHARING, 0 );
links:
- role: validation
uid: ../req/default
- role: validation
uid: ../if/no-multiprocessor-resource-sharing
- - check: |
- T_step_eq_u32( ${step}, RTEMS_NO_PRIORITY_CEILING, 0 );
- description: |
+ - brief: |
Check that RTEMS_NO_PRIORITY_CEILING is equal to zero.
+ code: |
+ T_step_eq_u32( ${step}, RTEMS_NO_PRIORITY_CEILING, 0 );
links:
- role: validation
uid: ../req/default
- role: validation
uid: ../if/no-priority-ceiling
- description: |
- Validate the default attribute constants.
links: []
-- action: |
+- action-brief: |
+ Calculate the bitwise or of all non-default attribute constants.
+ action-code: |
rtems_attribute attributes;
attributes = 0;
@@ -215,20 +217,22 @@ test-actions:
attributes |= RTEMS_SIMPLE_BINARY_SEMAPHORE;
attributes |= RTEMS_SYSTEM_TASK;
checks:
- - check: |
- T_step_eq_int( ${step}, PopCount( attributes ), 10 );
- description: |
+ - brief: |
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.
+ code: |
+ T_step_eq_int( ${step}, PopCount( attributes ), 10 );
links:
- role: validation
uid: ../req/unique
- description: |
- Calculate the bitwise or of all non-default attribute constants.
links: []
-- action: |
+- action-brief: |
+ Calculate the bitwise or of the RTEMS_BINARY_SEMAPHORE,
+ RTEMS_COUNTING_SEMAPHORE, and RTEMS_SIMPLE_BINARY_SEMAPHORE attribute
+ constants.
+ action-code: |
rtems_attribute attributes;
attributes = 0;
@@ -236,17 +240,13 @@ test-actions:
attributes |= RTEMS_COUNTING_SEMAPHORE;
attributes |= RTEMS_SIMPLE_BINARY_SEMAPHORE;
checks:
- - check: |
- T_step_eq_u32( ${step}, RTEMS_SEMAPHORE_CLASS, attributes );
- description: |
+ - brief: |
Check that the calculated value is equal to RTEMS_SEMAPHORE_CLASS.
+ code: |
+ T_step_eq_u32( ${step}, RTEMS_SEMAPHORE_CLASS, attributes );
links:
- role: validation
uid: ../req/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.