[rtems-central commit] spec: Reword performance requirements

[Sebastian Huber]

Module:    rtems-central
Branch:    master
Commit:    2de1ffe9f99b7cedc43eb5dd55b0e7e149b2e448
Changeset: http://git.rtems.org/rtems-central/commit/?id=2de1ffe9f99b7cedc43eb5dd55b0e7e149b2e448

Author:    Sebastian Huber <sebastian.huber at embedded-brains.de>
Date:      Wed Nov 24 14:37:44 2021 +0100

spec: Reword performance requirements

---

 spec/rtems/part/req/perf-get-buffer.yml    | 10 +++++-----
 spec/rtems/part/req/perf-get-no-buffer.yml |  9 +++++----
 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 5fd0f8c..8019c38 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 3ee276a..24d6f4d 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 743e956..83bbe3d 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