diff options
Diffstat (limited to 'spec/rtems/ratemon/req/create.yml')
| -rw-r--r-- | spec/rtems/ratemon/req/create.yml | 15 |
1 files changed, 7 insertions, 8 deletions
diff --git a/spec/rtems/ratemon/req/create.yml b/spec/rtems/ratemon/req/create.yml index 7719e352..c23a7b29 100644 --- a/spec/rtems/ratemon/req/create.yml +++ b/spec/rtems/ratemon/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,14 +96,13 @@ pre-conditions: test-code: | ctx->id = &ctx->id_value; text: | - The ${../if/create:/params[1]/name} parameter shall reference an object - of type ${../../type/if/id:/name}. + 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 - ${/c/if/null:/name}. + While the ${../if/create:/params[1]/name} parameter is ${/c/if/null:/name}. test-epilogue: null test-prologue: null - name: Free @@ -112,12 +111,12 @@ pre-conditions: test-code: | /* Nothing to do */ text: | - The system shall have at least one inactive period object available. + While the system has at least one inactive period object available. - name: 'No' test-code: | ctx->seized_objects = T_seize_objects( Create, NULL ); text: | - The system shall not have an inactive period object available. + While the system has no inactive period object available. test-epilogue: null test-prologue: null rationale: null |