diff options
author | Sebastian Huber <sebastian.huber@embedded-brains.de> | 2021-02-04 13:22:15 +0100 |
---|---|---|
committer | Sebastian Huber <sebastian.huber@embedded-brains.de> | 2021-02-04 14:23:43 +0100 |
commit | f8cd9770fe28836746883a19343508df92c436c8 (patch) | |
tree | 015b14ccdb05000cf6b586de65dc328771b2f345 /spec/rtems/attr/val/attr.yml | |
parent | validation: Do not pass NULL context (diff) | |
download | rtems-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.yml | 160 |
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. |