From 2de1ffe9f99b7cedc43eb5dd55b0e7e149b2e448 Mon Sep 17 00:00:00 2001
From: Sebastian Huber <sebastian.huber@embedded-brains.de>
Date: Wed, 24 Nov 2021 14:37:44 +0100
Subject: 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 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
-- 
cgit v1.2.3