diff options
author | Frank Kühndel <frank.kuehndel@embedded-brains.de> | 2021-10-08 09:24:37 +0200 |
---|---|---|
committer | Sebastian Huber <sebastian.huber@embedded-brains.de> | 2021-10-08 16:10:13 +0200 |
commit | 16599e3e3060c26905fe4b775abcce5a93137852 (patch) | |
tree | dd50f416ae6648b2225d630e6d423088c9d5e1a4 | |
parent | spec: Ratemon: add unittest for code coverage (diff) | |
download | rtems-central-16599e3e3060c26905fe4b775abcce5a93137852.tar.bz2 |
spec: ratemon: add glossery links in timeout
-rw-r--r-- | spec/rtems/ratemon/req/timeout.yml | 60 | ||||
-rw-r--r-- | spec/rtems/ratemon/unit/statistics.yml | 2 |
2 files changed, 39 insertions, 23 deletions
diff --git a/spec/rtems/ratemon/req/timeout.yml b/spec/rtems/ratemon/req/timeout.yml index 83854631..8dccab62 100644 --- a/spec/rtems/ratemon/req/timeout.yml +++ b/spec/rtems/ratemon/req/timeout.yml @@ -13,12 +13,14 @@ post-conditions: test-code: | T_eq_u32( ctx->period->postponed_jobs, ctx->postponed_jobs ); text: | - The count of postponed jobs of the period shall not be modified. + The count of ${../glossary/postponedjob:/plural} of the period shall + not be modified. - name: PlusOne test-code: | T_eq_u32( ctx->period->postponed_jobs, ctx->postponed_jobs + 1 ); text: | - The count of postponed jobs of the period shall be incremented by one. + The count of ${../glossary/postponedjob:/plural} of the period shall + be incremented by one. test-epilogue: null test-prologue: null - name: ReleaseJob @@ -27,14 +29,16 @@ post-conditions: test-code: | T_eq_u32( ctx->release_job_counter, 1 ); text: | - The owner of the period shall release a job with a deadline equal to the + The ${../glossary/ownertask:/term} of the period shall release a + ${../glossary/job:/term} with a ${../glossary/deadline:/term} equal to the ${/glossary/clock-tick:/term} plus the next period length by the timeout - operation. + operation. - name: 'No' test-code: | T_eq_u32( ctx->release_job_counter, 0 ); text: | - The owner of the period shall not release a job by the timeout operation. + The ${../glossary/ownertask:/term} of the period shall not release a + ${../glossary/job:/term} by the timeout operation. test-epilogue: null test-prologue: null - name: Unblock @@ -43,12 +47,14 @@ post-conditions: test-code: | T_eq_u32( ctx->unblock_counter, 1 ); text: | - The owner of the period shall be unblocked by the timeout operation. + The ${../glossary/ownertask:/term} of the period shall be unblocked + by the timeout operation. - name: 'No' test-code: | T_eq_u32( ctx->unblock_counter, 0 ); text: | - The owner of the period shall not be unblocked by the timeout operation. + The ${../glossary/ownertask:/term} of the period shall not be + unblocked by the timeout operation. test-epilogue: null test-prologue: null - name: PeriodState @@ -105,7 +111,8 @@ post-conditions: ctx->period->cpu_usage_period_initiated ); text: | - The period initiated CPU usage of the owner value shall not be modified. + The period initiated CPU usage of the ${../glossary/ownertask:/term} + value shall not be modified. - name: Set test-code: | T_ne_i64( @@ -113,8 +120,10 @@ post-conditions: ctx->period->cpu_usage_period_initiated ); text: | - The period initiated CPU usage of the owner value shall be set to the CPU - usage of the owner at some time point during the timeout operation. + The period initiated CPU usage of the ${../glossary/ownertask:/term} + value shall be set to the CPU + usage of the ${../glossary/ownertask:/term} at some time point during + the timeout operation. test-epilogue: null test-prologue: null pre-conditions: @@ -125,18 +134,21 @@ pre-conditions: ctx->wait_for_period = true; ctx->period_is_other = false; text: | - While the owner of the period waits for the period. + While the ${../glossary/ownertask:/term} of the period waits for + the period. - name: PeriodOther test-code: | ctx->wait_for_period = true; ctx->period_is_other = true; text: | - While the owner of the period waits for another period. + While the ${../glossary/ownertask:/term} of the period waits for + another period. - name: Other test-code: | ctx->wait_for_period = false; text: | - While the owner of the period does not wait for a period. + While the ${../glossary/ownertask:/term} of the period does not + wait for a period. test-epilogue: null test-prologue: null - name: WaitState @@ -145,12 +157,13 @@ pre-conditions: test-code: | ctx->intend_to_block = false; text: | - While the owner is in the blocked wait state. + While the ${../glossary/ownertask:/term} is in the blocked wait state. - name: IntendToBlock test-code: | ctx->intend_to_block = true; text: | - While the owner is in the intend to block wait state. + While the ${../glossary/ownertask:/term} is in the intend to block + wait state. test-epilogue: null test-prologue: null - name: PostponedJobs @@ -159,18 +172,19 @@ pre-conditions: test-code: | ctx->postponed_jobs = 0; text: | - While the count of postponed jobs is equal to zero. + While the count of ${../glossary/postponedjob:/plural} is equal to zero. - name: NotZeroOrMax test-code: | ctx->postponed_jobs = 123; text: | - While the count of postponed jobs is not equal to zero or - ${/c/if/uint32_max:/name}. + While the count of ${../glossary/postponedjob:/plural} is not equal + to zero or ${/c/if/uint32_max:/name}. - name: Max test-code: | ctx->postponed_jobs = UINT32_MAX; text: | - While the count of postponed jobs is equal to ${/c/if/uint32_max:/name}. + While the count of ${../glossary/postponedjob:/plural} is equal + to ${/c/if/uint32_max:/name}. test-epilogue: null test-prologue: null rationale: null @@ -178,7 +192,8 @@ references: [] requirement-type: functional skip-reasons: WaitForPeriodZeroPostponedJobs: | - A thread can only wait for a period if its postponed jobs counter is zero. + A thread can only wait for a period if its + ${../glossary/postponedjob:/plural} counter is zero. test-action: | SendEvents( ctx->worker_id, EVENT_RESET ); Yield(); @@ -245,7 +260,8 @@ test-context: member: | bool intend_to_block - brief: | - This member contains the postponed jobs count before the timeout. + This member contains the ${../glossary/postponedjob:/plural} count + before the timeout. description: null member: | uint32_t postponed_jobs @@ -260,7 +276,7 @@ test-context: member: | Timestamp_Control cpu_usage_before - brief: | - This member contains the release job counter. + This member contains the release ${../glossary/job:/term} counter. description: null member: | uint32_t release_job_counter diff --git a/spec/rtems/ratemon/unit/statistics.yml b/spec/rtems/ratemon/unit/statistics.yml index 9ec01f50..1328b872 100644 --- a/spec/rtems/ratemon/unit/statistics.yml +++ b/spec/rtems/ratemon/unit/statistics.yml @@ -57,7 +57,7 @@ test-actions: links: - name: _Rate_monotonic_Update_statistics role: unit-test - uid: ../../if/domain + uid: ../../../score/if/domain test-brief: | Unit tests for the Rate Monotonic Manager. test-context: |