diff options
Diffstat (limited to 'spec/rtems/timer/req/create.yml')
| -rw-r--r-- | spec/rtems/timer/req/create.yml | 105 |
1 files changed, 49 insertions, 56 deletions
diff --git a/spec/rtems/timer/req/create.yml b/spec/rtems/timer/req/create.yml index 701a9267..f22b6bf6 100644 --- a/spec/rtems/timer/req/create.yml +++ b/spec/rtems/timer/req/create.yml @@ -82,12 +82,12 @@ pre-conditions: test-code: | ctx->name = NAME; text: | - The ${../if/create:/params[0]/name} parameter shall be valid. + While the ${../if/create:/params[0]/name} parameter is valid. - name: Invalid test-code: | ctx->name = 0; text: | - The ${../if/create:/params[0]/name} parameter shall be invalid. + While the ${../if/create:/params[0]/name} parameter is invalid. test-epilogue: null test-prologue: null - name: Id @@ -96,13 +96,13 @@ pre-conditions: test-code: | ctx->id = &ctx->id_value; text: | - The ${../if/create:/params[1]/name} parameter shall reference an object + While the ${../if/create:/params[1]/name} parameter references an object of type ${../../type/if/id:/name}. - name: 'Null' test-code: | ctx->id = NULL; text: | - The ${../if/create:/params[1]/name} parameter shall be + While the ${../if/create:/params[1]/name} parameter is ${/c/if/null:/name}. test-epilogue: null test-prologue: null @@ -110,14 +110,14 @@ pre-conditions: states: - name: 'Yes' test-code: | - /* Nothing to do */ + /* Ensured by the test suite configuration */ text: | - The system shall have at least one inactive timer object available. + While the system has at least one inactive timer object available. - name: 'No' test-code: | ctx->seized_objects = T_seize_objects( Create, NULL ); text: | - The system shall not have an inactive timer object available. + While the system has no inactive timer object available. test-epilogue: null test-prologue: null rationale: null @@ -139,23 +139,32 @@ test-cleanup: | T_surrender_objects( &ctx->seized_objects, rtems_timer_delete ); test-context: -- brief: null +- brief: | + This member is used by the T_seize_objects() and T_surrender_objects() + support functions. description: null member: | void *seized_objects -- brief: null +- brief: | + This member may contain the object identifier returned by + rtems_timer_create(). description: null member: | rtems_id id_value -- brief: null +- brief: | + This member specifies the ${../if/create:/params[0]/name} parameter for the + action. description: null member: | rtems_name name -- brief: null +- brief: | + This member specifies the ${../if/create:/params[1]/name} parameter for the + action. description: null member: | rtems_id *id -- brief: null +- brief: | + This member contains the return status of the action. description: null member: | rtems_status_code status @@ -181,10 +190,7 @@ test-support: | static rtems_status_code Create( void *arg, uint32_t *id ) { - return rtems_timer_create( - rtems_build_name( 'S', 'I', 'Z', 'E' ), - id - ); + return rtems_timer_create( rtems_build_name( 'S', 'I', 'Z', 'E' ), id ); } test-target: testsuites/validation/tc-timer-create.c test-teardown: null @@ -192,47 +198,34 @@ text: ${.:text-template} transition-map: - enabled-by: true post-conditions: - Status: InvName - Name: Invalid - IdVar: Nop - pre-conditions: + Status: + - if: + pre-conditions: + Name: Invalid + then: InvName + - if: + pre-conditions: + Id: 'Null' + then: InvAddr + - if: + pre-conditions: + Free: 'No' + then: TooMany + - else: Ok Name: - - Invalid - Id: all - Free: all -- enabled-by: true - post-conditions: - Status: InvAddr - Name: Invalid - IdVar: Nop + - if: + post-conditions: + Status: Ok + then: Valid + - else: Invalid + IdVar: + - if: + post-conditions: + Status: Ok + then: Set + - else: Nop pre-conditions: - Name: - - Valid - Id: - - 'Null' + Name: all + Id: all Free: all -- enabled-by: true - post-conditions: - Status: TooMany - Name: Invalid - IdVar: Nop - pre-conditions: - Name: - - Valid - Id: - - Valid - Free: - - 'No' -- enabled-by: true - post-conditions: - Status: Ok - Name: Valid - IdVar: Set - pre-conditions: - Name: - - Valid - Id: - - Valid - Free: - - 'Yes' type: requirement |