From ed9c0c4ac9b4ffc8c502e3fab21446723e39e652 Mon Sep 17 00:00:00 2001
From: Giovanni Di Sirio <gdisirio@gmail.com>
Date: Sun, 20 Mar 2016 11:37:22 +0000
Subject: [PATCH] git-svn-id: svn://svn.code.sf.net/p/chibios/svn/trunk@9142
 35acf78f-673a-0410-8e92-d51de3d6d3f4

---
 test/rt/configuration.xml | 252 +++++++++++++++++++++++++-------------
 1 file changed, 166 insertions(+), 86 deletions(-)

diff --git a/test/rt/configuration.xml b/test/rt/configuration.xml
index a0d8b5acc..b08626d7a 100644
--- a/test/rt/configuration.xml
+++ b/test/rt/configuration.xml
@@ -27,53 +27,15 @@
 */]]></value>
           </copyright>
           <introduction>
-            <value>Test suite for ChibiOS/RT. The purpose of this suite is to perform unit tests on the NIL modules and to converge to 100% code coverage through successive improvements.</value>
+            <value>Test suite for ChibiOS/RT. The purpose of this suite is to perform unit tests on the RT modules and to converge to 100% code coverage through successive improvements.</value>
           </introduction>
         </description>
         <global_data_and_code>
           <global_definitions>
-            <value><![CDATA[#define TEST_SUITE_NAME                     "ChibiOS/NIL Test Suite"
-
-extern semaphore_t gsem1, gsem2;
-extern thread_reference_t gtr1;
-extern THD_WORKING_AREA(wa_test_support, 128);
-
-THD_FUNCTION(test_support, arg);]]></value>
+            <value><![CDATA[#define TEST_SUITE_NAME                     "ChibiOS/RT Test Suite"]]></value>
           </global_definitions>
           <global_code>
-            <value><![CDATA[semaphore_t gsem1, gsem2;
-thread_reference_t gtr1;
-
-/*
- * Support thread.
- */
-THD_WORKING_AREA(wa_test_support, 128);
-THD_FUNCTION(test_support, arg) {
-#if CH_CFG_USE_EVENTS == TRUE
-  thread_t *tp = (thread_t *)arg;
-#else
-  (void)arg;
-#endif
-
-  /* Initializing global resources.*/
-  chSemObjectInit(&gsem1, 0);
-  chSemObjectInit(&gsem2, 0);
-
-  while (true) {
-    chSysLock();
-    if (chSemGetCounterI(&gsem1) < 0)
-      chSemSignalI(&gsem1);
-    chSemResetI(&gsem2, 0);
-    chThdResumeI(&gtr1, MSG_OK);
-#if CH_CFG_USE_EVENTS == TRUE
-    chEvtSignalI(tp, 0x55);
-#endif
-    chSchRescheduleS();
-    chSysUnlock();
-
-    chThdSleepMilliseconds(250);
-  }
-}]]></value>
+            <value />
           </global_code>
         </global_data_and_code>
         <sequences>
@@ -85,35 +47,35 @@ THD_FUNCTION(test_support, arg) {
               <value>System layer and port interface.</value>
             </brief>
             <description>
-              <value>The functionality of the system layer and port interface is tested.</value>
+              <value>The functionality of the system layer and port interface is tested. Basic RT functionality is taken for granted or this test suite could not even be executed. Errors in implementation are detected by executing this sequence with the state checker enabled (CH_DBG_STATE_CHECKER=TRUE).</value>
             </description>
             <shared_code>
-              <value><![CDATA[#include "ch.h"
-
-/* Timer callback for testing system functions in ISR context.*/
-static void vtcb(void *p) {
-  syssts_t sts;
-
-  (void)p;
-
-  /* Testing normal case.*/
-  chSysLockFromISR();
-  chSysUnlockFromISR();
-
-  /* Reentrant case.*/
-  chSysLockFromISR();
-  sts = chSysGetStatusAndLockX();
-  chSysRestoreStatusX(sts);
-  chSysUnlockFromISR();
+              <value><![CDATA[#include "ch.h"
+
+/* Timer callback for testing system functions in ISR context.*/
+static void vtcb(void *p) {
+  syssts_t sts;
+
+  (void)p;
+
+  /* Testing normal case.*/
+  chSysLockFromISR();
+  chSysUnlockFromISR();
+
+  /* Reentrant case.*/
+  chSysLockFromISR();
+  sts = chSysGetStatusAndLockX();
+  chSysRestoreStatusX(sts);
+  chSysUnlockFromISR();
 }]]></value>
             </shared_code>
             <cases>
               <case>
                 <brief>
-                  <value>Critical zones functionality.</value>
+                  <value>System integrity functionality.</value>
                 </brief>
                 <description>
-                  <value>The critical zones API is invoked for coverage. Functionality is take for granted by the correct implementation of the port layer. This test suite relies on such correct implementation.</value>
+                  <value>The system self-test functionality is invoked in order to make an initial system state assessment and for coverage.</value>
                 </description>
                 <condition>
                   <value />
@@ -126,34 +88,114 @@ static void vtcb(void *p) {
                     <value />
                   </teardown_code>
                   <local_variables>
-                    <value><![CDATA[syssts_t sts;
-virtual_timer_t vt;]]></value>
+                    <value><![CDATA[bool result;]]></value>
                   </local_variables>
                 </various_code>
                 <steps>
                   <step>
                     <description>
-                      <value>Testing chSysGetStatusAndLockX() and chSysRestoreStatusX() for coverage, non reentrant case.</value>
-                    </description>
-                    <tags>
-                      <value />
-                    </tags>
-                    <code>
-                      <value><![CDATA[sts = chSysGetStatusAndLockX();
-chSysRestoreStatusX(sts);]]></value>
-                    </code>
-                  </step>
-                  <step>
-                    <description>
-                      <value>Testing chSysGetStatusAndLockX() and chSysRestoreStatusX() for coverage, reentrant case.</value>
+                      <value>Testing Ready List integrity.</value>
                     </description>
                     <tags>
                       <value />
                     </tags>
                     <code>
                       <value><![CDATA[chSysLock();
-sts = chSysGetStatusAndLockX();
-chSysRestoreStatusX(sts);
+result = chSysIntegrityCheckI(CH_INTEGRITY_RLIST);
+chSysUnlock();
+test_assert(result == false, "ready list check failed");]]></value>
+                    </code>
+                  </step>
+                  <step>
+                    <description>
+                      <value>Testing Virtual Timers List integrity.</value>
+                    </description>
+                    <tags>
+                      <value />
+                    </tags>
+                    <code>
+                      <value><![CDATA[chSysLock();
+result = chSysIntegrityCheckI(CH_INTEGRITY_VTLIST);
+chSysUnlock();
+test_assert(result == false, "virtual timers list check failed");]]></value>
+                    </code>
+                  </step>
+                  <step>
+                    <description>
+                      <value>Testing Registry List integrity.</value>
+                    </description>
+                    <tags>
+                      <value />
+                    </tags>
+                    <code>
+                      <value><![CDATA[chSysLock();
+result = chSysIntegrityCheckI(CH_INTEGRITY_REGISTRY);
+chSysUnlock();
+test_assert(result == false, "registry list check failed");]]></value>
+                    </code>
+                  </step>
+                  <step>
+                    <description>
+                      <value>Testing Port-defined integrity.</value>
+                    </description>
+                    <tags>
+                      <value />
+                    </tags>
+                    <code>
+                      <value><![CDATA[chSysLock();
+result = chSysIntegrityCheckI(CH_INTEGRITY_PORT);
+chSysUnlock();
+test_assert(result == false, "port layer check failed");]]></value>
+                    </code>
+                  </step>
+                </steps>
+              </case>
+              <case>
+                <brief>
+                  <value>Critical zones functionality.</value>
+                </brief>
+                <description>
+                  <value>The critical zones API is invoked for coverage.</value>
+                </description>
+                <condition>
+                  <value />
+                </condition>
+                <various_code>
+                  <setup_code>
+                    <value />
+                  </setup_code>
+                  <teardown_code>
+                    <value />
+                  </teardown_code>
+                  <local_variables>
+                    <value><![CDATA[syssts_t sts;
+virtual_timer_t vt;]]></value>
+                  </local_variables>
+                </various_code>
+                <steps>
+                  <step>
+                    <description>
+                      <value>Testing chSysGetStatusAndLockX() and chSysRestoreStatusX(), non reentrant case.</value>
+                    </description>
+                    <tags>
+                      <value />
+                    </tags>
+                    <code>
+                      <value><![CDATA[sts = chSysGetStatusAndLockX();
+chSysRestoreStatusX(sts);]]></value>
+                    </code>
+                  </step>
+                  <step>
+                    <description>
+                      <value>Testing chSysGetStatusAndLockX() and chSysRestoreStatusX(), reentrant case.</value>
+                    </description>
+                    <tags>
+                      <value />
+                    </tags>
+                    <code>
+                      <value><![CDATA[chSysLock();
+sts = chSysGetStatusAndLockX();
+chSysRestoreStatusX(sts);
 chSysUnlock();]]></value>
                     </code>
                   </step>
@@ -165,8 +207,8 @@ chSysUnlock();]]></value>
                       <value />
                     </tags>
                     <code>
-                      <value><![CDATA[chSysUnconditionalLock();
-chSysUnconditionalLock();
+                      <value><![CDATA[chSysUnconditionalLock();
+chSysUnconditionalLock();
 chSysUnlock();]]></value>
                     </code>
                   </step>
@@ -178,8 +220,8 @@ chSysUnlock();]]></value>
                       <value />
                     </tags>
                     <code>
-                      <value><![CDATA[chSysLock();
-chSysUnconditionalUnlock();
+                      <value><![CDATA[chSysLock();
+chSysUnconditionalUnlock();
 chSysUnconditionalUnlock();]]></value>
                     </code>
                   </step>
@@ -191,15 +233,53 @@ chSysUnconditionalUnlock();]]></value>
                       <value />
                     </tags>
                     <code>
-                      <value><![CDATA[chVTObjectInit(&vt);
-chVTSet(&vt, 1, vtcb, NULL);
-chThdSleep(10);
-
+                      <value><![CDATA[chVTObjectInit(&vt);
+chVTSet(&vt, 1, vtcb, NULL);
+chThdSleep(10);
+
 test_assert(chVTIsArmed(&vt) == false, "timer still armed");]]></value>
                     </code>
                   </step>
                 </steps>
               </case>
+              <case>
+                <brief>
+                  <value>Interrupts handling functionality.</value>
+                </brief>
+                <description>
+                  <value>The interrupts handling API is invoked for coverage.</value>
+                </description>
+                <condition>
+                  <value />
+                </condition>
+                <various_code>
+                  <setup_code>
+                    <value />
+                  </setup_code>
+                  <teardown_code>
+                    <value />
+                  </teardown_code>
+                  <local_variables>
+                    <value />
+                  </local_variables>
+                </various_code>
+                <steps>
+                  <step>
+                    <description>
+                      <value>Testing chSysSuspend(), chSysDisable() and chSysEnable().</value>
+                    </description>
+                    <tags>
+                      <value />
+                    </tags>
+                    <code>
+                      <value><![CDATA[chSysSuspend();
+chSysDisable();
+chSysSuspend();
+chSysEnable();]]></value>
+                    </code>
+                  </step>
+                </steps>
+              </case>
             </cases>
           </sequence>
           <sequence>