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 /spec/rtems/part/req/perf-get-buffer.yml | |
| parent | spec: Fix enabled-by of rtems_task_self() (diff) | |
| download | rtems-central-2de1ffe9f99b7cedc43eb5dd55b0e7e149b2e448.tar.bz2 | |
spec: Reword performance requirements
Diffstat (limited to 'spec/rtems/part/req/perf-get-buffer.yml')
| -rw-r--r-- | spec/rtems/part/req/perf-get-buffer.yml | 10 |
1 files changed, 5 insertions, 5 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 |