spec: Improve or fix wording

10 files changed, 18 insertions, 15 deletions

diff --git a/spec/rtems/barrier/req/create.yml b/spec/rtems/barrier/req/create.yml
index c70bf443..b648e54f 100644
--- a/spec/rtems/barrier/req/create.yml
+++ b/spec/rtems/barrier/req/create.yml
@@ -186,7 +186,7 @@ pre-conditions:
     test-code: |
       ctx->seized_objects = T_seize_objects( Create, NULL );
     text: |
-      The system shall have no inactive partition object available.
+      The system shall not have an inactive barrier object available.
   test-epilogue: null
   test-prologue: null
 rationale: null
diff --git a/spec/rtems/barrier/req/delete.yml b/spec/rtems/barrier/req/delete.yml
index f4e37ccf..9ea47284 100644
--- a/spec/rtems/barrier/req/delete.yml
+++ b/spec/rtems/barrier/req/delete.yml
@@ -33,13 +33,13 @@ post-conditions:
       T_rsc_success( sc );
       T_eq_u32( id, ctx->barrier_id );
     text: |
-      The unique object name shall identify the barrier.
+      The unique object name shall identify a barrier.
   - name: Invalid
     test-code: |
       sc = rtems_barrier_ident( NAME, &id );
       T_rsc( sc, RTEMS_INVALID_NAME );
     text: |
-      The unique object name shall not identify the barrier.
+      The unique object name shall not identify a barrier.
   test-epilogue: null
   test-prologue: |
     rtems_status_code sc;
diff --git a/spec/rtems/event/req/send-receive.yml b/spec/rtems/event/req/send-receive.yml
index f303ef8f..35123963 100644
--- a/spec/rtems/event/req/send-receive.yml
+++ b/spec/rtems/event/req/send-receive.yml
@@ -26,7 +26,7 @@ post-conditions:
       T_eq_int( ctx->receive_condition_state, RECEIVE_COND_UNKNOWN );
       T_eq_u32( GetPendingEvents( ctx ), 0 );
     text: |
-      The receiver task shall have no pending events.
+      The receiver task shall not have pending events.
   - name: Pending
     test-code: |
       T_eq_int( ctx->receive_condition_state, RECEIVE_COND_UNKNOWN );
diff --git a/spec/rtems/message/req/construct-errors.yml b/spec/rtems/message/req/construct-errors.yml
index 8ec11a4a..b1a59f26 100644
--- a/spec/rtems/message/req/construct-errors.yml
+++ b/spec/rtems/message/req/construct-errors.yml
@@ -195,7 +195,7 @@ pre-conditions:
       i = 0;
       ctx->seized_objects = T_seize_objects( Create, &i );
     text: |
-      The system shall have no inactive message queue object available.
+      The system shall not have an inactive message queue object available.
   test-epilogue: null
   test-prologue: |
     size_t i;
diff --git a/spec/rtems/part/req/create.yml b/spec/rtems/part/req/create.yml
index 593be23c..3030b754 100644
--- a/spec/rtems/part/req/create.yml
+++ b/spec/rtems/part/req/create.yml
@@ -214,7 +214,7 @@ pre-conditions:
       i = 0;
       ctx->seized_objects = T_seize_objects( Create, &i );
     text: |
-      The system shall have no inactive partition object available.
+      The system shall not have an inactive partition object available.
   test-epilogue: null
   test-prologue: |
     size_t i;
diff --git a/spec/rtems/part/req/delete.yml b/spec/rtems/part/req/delete.yml
index 4a24767c..85bf9f97 100644
--- a/spec/rtems/part/req/delete.yml
+++ b/spec/rtems/part/req/delete.yml
@@ -52,7 +52,8 @@ pre-conditions:
     test-code: |
       ctx->id = 0xffffffff;
     text: |
-      The ${../if/delete:/params[0]/name} parameter shall be invalid.
+      The ${../if/delete:/params[0]/name} parameter shall not be associated
+      with a partition.
   - name: Part
     test-code: |
       ctx->id = ctx->id_value;
@@ -75,7 +76,7 @@ pre-conditions:
     test-code: |
       ctx->buffer = NULL;
     text: |
-      The partition shall have no buffer in use.
+      The partition shall not have a buffer in use.
   test-epilogue: null
   test-prologue: |
     rtems_status_code sc;
diff --git a/spec/rtems/part/req/get-buffer.yml b/spec/rtems/part/req/get-buffer.yml
index 8c9a73bd..2157e4e3 100644
--- a/spec/rtems/part/req/get-buffer.yml
+++ b/spec/rtems/part/req/get-buffer.yml
@@ -101,7 +101,7 @@ pre-conditions:
       sc = rtems_partition_get_buffer( ctx->id_value, &ctx->stolen_buffer );
       T_rsc_success( sc );
     text: |
-      The partition shall have no buffer available.
+      The partition shall not have a buffer available.
   test-epilogue: null
   test-prologue: |
     rtems_status_code sc;
diff --git a/spec/rtems/signal/req/catch.yml b/spec/rtems/signal/req/catch.yml
index ebf5ea8e..c60d68e7 100644
--- a/spec/rtems/signal/req/catch.yml
+++ b/spec/rtems/signal/req/catch.yml
@@ -170,14 +170,16 @@ pre-conditions:
     test-code: |
       ctx->pending_signals = ( rtems_scheduler_get_processor_maximum() > 1 ) ? 1 : 0;
     text: |
-      Where the system has more than one processor, when ${../if/catch:/name}
-      is called, the calling task shall have pending signals.
+      Where the system has more than one processor, while the calling task has
+      pending signals, the ${../if/catch:/name} directive shall be called.
+      Where the system has exactly one processor, while the calling task has no
+      pending signals, the ${../if/catch:/name} directive shall be called.
   - name: 'No'
     test-code: |
       ctx->pending_signals = 0;
     text: |
-      When ${../if/catch:/name} is called, the calling task shall have no
-      pending signals.
+      While the calling task has no pending signals, the ${../if/catch:/name}
+      directive shall be called.
   test-epilogue: null
   test-prologue: null
 - name: Handler
diff --git a/spec/rtems/task/req/construct-errors.yml b/spec/rtems/task/req/construct-errors.yml
index ab1fbc56..96d6a5ca 100644
--- a/spec/rtems/task/req/construct-errors.yml
+++ b/spec/rtems/task/req/construct-errors.yml
@@ -219,7 +219,7 @@ pre-conditions:
     test-code: |
       ctx->seized_objects = T_seize_objects( Create, ctx );
     text: |
-      The system shall have no inactive task object available.
+      The system shall not have an inactive task object available.
   test-epilogue: null
   test-prologue: null
 - name: TLS
diff --git a/spec/rtems/task/req/create-errors.yml b/spec/rtems/task/req/create-errors.yml
index 3703b869..0861bfe8 100644
--- a/spec/rtems/task/req/create-errors.yml
+++ b/spec/rtems/task/req/create-errors.yml
@@ -197,7 +197,7 @@ pre-conditions:
     test-code: |
       ctx->seized_objects = T_seize_objects( Create, ctx );
     text: |
-      The system shall have no inactive task object available.
+      The system shall not have an inactive task object available.
   test-epilogue: null
   test-prologue: null
 - name: Stack