diff options
| author | Sebastian Huber <sebastian.huber@embedded-brains.de> | 2021-11-24 14:37:44 +0100 |
|---|---|---|
| committer | Sebastian Huber <sebastian.huber@embedded-brains.de> | 2021-11-25 07:48:11 +0100 |
| commit | 2de1ffe9f99b7cedc43eb5dd55b0e7e149b2e448 (patch) | |
| tree | 93a676bf1181a67a8945854baf14c118d189fbc4 | |
| parent | spec: Fix enabled-by of rtems_task_self() (diff) | |
| download | rtems-central-2de1ffe9f99b7cedc43eb5dd55b0e7e149b2e448.tar.bz2 | |
spec: Reword performance requirements
| -rw-r--r-- | spec/rtems/part/req/perf-get-buffer.yml | 10 | ||||
| -rw-r--r-- | spec/rtems/part/req/perf-get-no-buffer.yml | 9 | ||||
| -rw-r--r-- | spec/rtems/part/req/perf-return-buffer.yml | 11 |
3 files changed, 16 insertions, 14 deletions
diff --git a/spec/rtems/part/req/perf-get-buffer.yml b/spec/rtems/part/req/perf-get-buffer.yml index 5fd0f8cf..8019c384 100644 --- a/spec/rtems/part/req/perf-get-buffer.yml +++ b/spec/rtems/part/req/perf-get-buffer.yml @@ -58,9 +58,9 @@ test-teardown: return tic == toc; description: null text: | - When a partition has exactly ${../val/perf:/params/buffer-count} free - buffers, the ${.:/limit-kind} runtime of exactly - ${../val/perf:/params/sample-count} successful calls to - ${../if/get-buffer:/name} in the ${.:/environment} shall be - ${.:/limit-condition}. + While the execution environment is ${.:/environment}, while a partition has + exactly ${../val/perf:/params/buffer-count} free buffers, while the + measurement sample is the runtime of exactly one successful call to + ${../if/get-buffer:/name}, when exactly ${../val/perf:/params/sample-count} + samples are collected, the ${.:/limit-kind} shall be ${.:/limit-condition}. type: requirement diff --git a/spec/rtems/part/req/perf-get-no-buffer.yml b/spec/rtems/part/req/perf-get-no-buffer.yml index 3ee276a6..24d6f4d9 100644 --- a/spec/rtems/part/req/perf-get-no-buffer.yml +++ b/spec/rtems/part/req/perf-get-no-buffer.yml @@ -47,8 +47,9 @@ test-teardown: return tic == toc; description: null text: | - When a partition has no free buffers, the ${.:/limit-kind} runtime of exactly - ${../val/perf:/params/sample-count} unsatisfied calls to - ${../if/get-buffer:/name} in the ${.:/environment} shall be - ${.:/limit-condition}. + While the execution environment is ${.:/environment}, while a partition has + no free buffers, while the measurement sample is the runtime of exactly one + unsatisified call to ${../if/get-buffer:/name}, when exactly + ${../val/perf:/params/sample-count} samples are collected, the + ${.:/limit-kind} shall be ${.:/limit-condition}. type: requirement diff --git a/spec/rtems/part/req/perf-return-buffer.yml b/spec/rtems/part/req/perf-return-buffer.yml index 743e956e..83bbe3d3 100644 --- a/spec/rtems/part/req/perf-return-buffer.yml +++ b/spec/rtems/part/req/perf-return-buffer.yml @@ -39,9 +39,10 @@ test-teardown: return tic == toc; description: null text: | - When a partition has exactly ${../val/perf:/params/buffer-count} minus one - free buffers, the ${.:/limit-kind} runtime of exactly - ${../val/perf:/params/sample-count} successful calls to - ${../if/return-buffer:/name} in the ${.:/environment} shall be - ${.:/limit-condition}. + While the execution environment is ${.:/environment}, while a partition has + exactly ${../val/perf:/params/buffer-count} minus one free buffers, while the + measurement sample is the runtime of exactly one successful call to + ${../if/return-buffer:/name}, when exactly + ${../val/perf:/params/sample-count} samples are collected, the + ${.:/limit-kind} shall be ${.:/limit-condition}. type: requirement |