diff options
Diffstat (limited to 'spec/rtems/part/val/part.yml')
-rw-r--r-- | spec/rtems/part/val/part.yml | 24 |
1 files changed, 12 insertions, 12 deletions
diff --git a/spec/rtems/part/val/part.yml b/spec/rtems/part/val/part.yml index 413304a0..3b3ad1d6 100644 --- a/spec/rtems/part/val/part.yml +++ b/spec/rtems/part/val/part.yml @@ -4,7 +4,10 @@ copyrights: enabled-by: true links: [] test-actions: -- action: | +- action-brief: | + Create a partition with a buffer area length which is greater than three + times the buffer size and less than four times the buffer size. + action-code: | RTEMS_ALIGNED( RTEMS_PARTITION_ALIGNMENT ) uint8_t buffers[ 4 ][ 2 * sizeof( void * ) ]; void *pointers[ RTEMS_ARRAY_SIZE( buffers ) ]; @@ -23,7 +26,10 @@ test-actions: ); T_step_rsc_success( ${step}, sc ); checks: - - check: | + - brief: | + Check that exactly three buffers can be obtained from the partition for + use in parallel. + code: | pointers[ 0 ] = NULL; sc = rtems_partition_get_buffer( id, &pointers[ 0 ] ); T_step_rsc_success( ${step}, sc ); @@ -43,13 +49,13 @@ test-actions: sc = rtems_partition_get_buffer( id, &pointers[ 3 ] ); T_step_rsc( ${step}, sc, RTEMS_UNSATISFIED ); T_step_null( ${step}, pointers[ 3 ] ); - description: | - Check that exactly three buffers can be obtained from the partition for - use in parallel. links: - role: validation uid: ../req/buffers - - check: | + - brief: | + Return the three buffers in use to the partition and check that they can + be obtained from the partition for use in parallel in FIFO order. + code: | sc = rtems_partition_return_buffer( id, pointers[ 1 ] ); T_step_rsc_success( ${step}, sc ); @@ -85,15 +91,9 @@ test-actions: sc = rtems_partition_delete( id ); T_step_rsc_success( ${step}, sc ); - description: | - Return the three buffers in use to the partition and check that they can - be obtained from the partition for use in parallel in FIFO order. links: - role: validation uid: ../req/fifo - description: | - Create a partition with a buffer area length which is greater than three - times the buffer size and less than four times the buffer size. links: [] test-brief: | Validates some functional requirements of the Partition Manager. |