Added test case for dynamic semaphores.

git-svn-id: svn://svn.code.sf.net/p/chibios/svn/trunk@10901 35acf78f-673a-0410-8e92-d51de3d6d3f4

2 files changed, 237 insertions, 0 deletions

diff --git a/test/oslib/configuration.xml b/test/oslib/configuration.xml
index e7ffca0a0..292d0198f 100644
--- a/test/oslib/configuration.xml
+++ b/test/oslib/configuration.xml
@@ -1207,6 +1207,124 @@ test_assert(dbp == NULL, "found");]]></value>
                   </step>

                 </steps>

               </case>

+              <case>

+                <brief>

+                  <value>Dynamic Semaphores Factory.</value>

+                </brief>

+                <description>

+                  <value>This test case verifies the dynamic semaphores factory.</value>

+                </description>

+                <condition>

+                  <value>CH_CFG_FACTORY_SEMAPHORES == TRUE</value>

+                </condition>

+                <various_code>

+                  <setup_code>

+                    <value />

+                  </setup_code>

+                  <teardown_code>

+                    <value><![CDATA[dyn_semaphore_t *dsp;
+
+dsp = chFactoryFindSemaphore("mysem");
+if (dsp != NULL) {
+  while (dsp->element.refs > 0U) {
+    chFactoryReleaseSemaphore(dsp);
+  }
+}]]></value>

+                  </teardown_code>

+                  <local_variables>

+                    <value><![CDATA[dyn_semaphore_t *dsp;]]></value>

+                  </local_variables>

+                </various_code>

+                <steps>

+                  <step>

+                    <description>

+                      <value>Retrieving a dynamic semaphore by name, must not exist.</value>

+                    </description>

+                    <tags>

+                      <value />

+                    </tags>

+                    <code>

+                      <value><![CDATA[dsp = chFactoryFindSemaphore("mysem");
+test_assert(dsp == NULL, "found");]]></value>

+                    </code>

+                  </step>

+                  <step>

+                    <description>

+                      <value>Creating a dynamic semaphore it must not exists, must succeed.</value>

+                    </description>

+                    <tags>

+                      <value />

+                    </tags>

+                    <code>

+                      <value><![CDATA[dsp = chFactoryCreateSemaphore("mysem", 0);
+test_assert(dsp != NULL, "cannot create");]]></value>

+                    </code>

+                  </step>

+                  <step>

+                    <description>

+                      <value>Creating a dynamic semaphore with the same name, must fail.</value>

+                    </description>

+                    <tags>

+                      <value />

+                    </tags>

+                    <code>

+                      <value><![CDATA[dyn_semaphore_t *dsp1;
+
+dsp1 = chFactoryCreateSemaphore("mysem", 0);
+test_assert(dsp1 == NULL, "can create");]]></value>

+                    </code>

+                  </step>

+                  <step>

+                    <description>

+                      <value>Retrieving the dynamic semaphore by name, must exist, then increasing the reference counter, finally releasing both references.</value>

+                    </description>

+                    <tags>

+                      <value />

+                    </tags>

+                    <code>

+                      <value><![CDATA[dyn_semaphore_t *dsp1, *dsp2;
+
+dsp1 = chFactoryFindSemaphore("mysem");
+test_assert(dsp1 != NULL, "not found");
+test_assert(dsp == dsp1, "object reference mismatch");
+test_assert(dsp1->element.refs == 2, "object reference mismatch");
+
+dsp2 = (dyn_semaphore_t *)chFactoryDuplicateReference((dyn_element_t *)dsp1);
+test_assert(dsp1 == dsp2, "object reference mismatch");
+test_assert(dsp2->element.refs == 3, "object reference mismatch");
+
+chFactoryReleaseSemaphore(dsp2);
+test_assert(dsp1->element.refs == 2, "references mismatch");
+
+chFactoryReleaseSemaphore(dsp1);
+test_assert(dsp->element.refs == 1, "references mismatch");]]></value>

+                    </code>

+                  </step>

+                  <step>

+                    <description>

+                      <value>Releasing the first reference to the dynamic semaphore must not trigger an assertion.</value>

+                    </description>

+                    <tags>

+                      <value />

+                    </tags>

+                    <code>

+                      <value><![CDATA[chFactoryReleaseSemaphore(dsp);]]></value>

+                    </code>

+                  </step>

+                  <step>

+                    <description>

+                      <value>Retrieving the dynamic semaphore by name again, must not exist.</value>

+                    </description>

+                    <tags>

+                      <value />

+                    </tags>

+                    <code>

+                      <value><![CDATA[dsp = chFactoryFindSemaphore("mysem");
+test_assert(dsp == NULL, "found");]]></value>

+                    </code>

+                  </step>

+                </steps>

+              </case>

             </cases>

           </sequence>

         </sequences>

diff --git a/test/oslib/source/test/oslib_test_sequence_004.c b/test/oslib/source/test/oslib_test_sequence_004.c
index 3f6533c47..5199b1ef4 100644
--- a/test/oslib/source/test/oslib_test_sequence_004.c
+++ b/test/oslib/source/test/oslib_test_sequence_004.c
@@ -38,6 +38,7 @@
  * <h2>Test Cases</h2>

  * - @subpage oslib_test_004_001

  * - @subpage oslib_test_004_002

+ * - @subpage oslib_test_004_003

  * .

  */

 

@@ -281,6 +282,121 @@ static const testcase_t oslib_test_004_002 = {
 };

 #endif /* CH_CFG_FACTORY_GENERIC_BUFFERS == TRUE */

 

+#if (CH_CFG_FACTORY_SEMAPHORES == TRUE) || defined(__DOXYGEN__)

+/**

+ * @page oslib_test_004_003 [4.3] Dynamic Semaphores Factory

+ *

+ * <h2>Description</h2>

+ * This test case verifies the dynamic semaphores factory.

+ *

+ * <h2>Conditions</h2>

+ * This test is only executed if the following preprocessor condition

+ * evaluates to true:

+ * - CH_CFG_FACTORY_SEMAPHORES == TRUE

+ * .

+ *

+ * <h2>Test Steps</h2>

+ * - [4.3.1] Retrieving a dynamic semaphore by name, must not exist.

+ * - [4.3.2] Creating a dynamic semaphore it must not exists, must

+ *   succeed.

+ * - [4.3.3] Creating a dynamic semaphore with the same name, must

+ *   fail.

+ * - [4.3.4] Retrieving the dynamic semaphore by name, must exist, then

+ *   increasing the reference counter, finally releasing both

+ *   references.

+ * - [4.3.5] Releasing the first reference to the dynamic semaphore

+ *   must not trigger an assertion.

+ * - [4.3.6] Retrieving the dynamic semaphore by name again, must not

+ *   exist.

+ * .

+ */

+

+static void oslib_test_004_003_teardown(void) {

+  dyn_semaphore_t *dsp;

+

+  dsp = chFactoryFindSemaphore("mysem");

+  if (dsp != NULL) {

+    while (dsp->element.refs > 0U) {

+      chFactoryReleaseSemaphore(dsp);

+    }

+  }

+}

+

+static void oslib_test_004_003_execute(void) {

+  dyn_semaphore_t *dsp;

+

+  /* [4.3.1] Retrieving a dynamic semaphore by name, must not exist.*/

+  test_set_step(1);

+  {

+    dsp = chFactoryFindSemaphore("mysem");

+    test_assert(dsp == NULL, "found");

+  }

+

+  /* [4.3.2] Creating a dynamic semaphore it must not exists, must

+     succeed.*/

+  test_set_step(2);

+  {

+    dsp = chFactoryCreateSemaphore("mysem", 0);

+    test_assert(dsp != NULL, "cannot create");

+  }

+

+  /* [4.3.3] Creating a dynamic semaphore with the same name, must

+     fail.*/

+  test_set_step(3);

+  {

+    dyn_semaphore_t *dsp1;

+

+    dsp1 = chFactoryCreateSemaphore("mysem", 0);

+    test_assert(dsp1 == NULL, "can create");

+  }

+

+  /* [4.3.4] Retrieving the dynamic semaphore by name, must exist, then

+     increasing the reference counter, finally releasing both

+     references.*/

+  test_set_step(4);

+  {

+    dyn_semaphore_t *dsp1, *dsp2;

+

+    dsp1 = chFactoryFindSemaphore("mysem");

+    test_assert(dsp1 != NULL, "not found");

+    test_assert(dsp == dsp1, "object reference mismatch");

+    test_assert(dsp1->element.refs == 2, "object reference mismatch");

+

+    dsp2 = (dyn_semaphore_t *)chFactoryDuplicateReference((dyn_element_t *)dsp1);

+    test_assert(dsp1 == dsp2, "object reference mismatch");

+    test_assert(dsp2->element.refs == 3, "object reference mismatch");

+

+    chFactoryReleaseSemaphore(dsp2);

+    test_assert(dsp1->element.refs == 2, "references mismatch");

+

+    chFactoryReleaseSemaphore(dsp1);

+    test_assert(dsp->element.refs == 1, "references mismatch");

+  }

+

+  /* [4.3.5] Releasing the first reference to the dynamic semaphore

+     must not trigger an assertion.*/

+  test_set_step(5);

+  {

+    chFactoryReleaseSemaphore(dsp);

+  }

+

+  /* [4.3.6] Retrieving the dynamic semaphore by name again, must not

+     exist.*/

+  test_set_step(6);

+  {

+    dsp = chFactoryFindSemaphore("mysem");

+    test_assert(dsp == NULL, "found");

+  }

+}

+

+static const testcase_t oslib_test_004_003 = {

+  "Dynamic Semaphores Factory",

+  NULL,

+  oslib_test_004_003_teardown,

+  oslib_test_004_003_execute

+};

+#endif /* CH_CFG_FACTORY_SEMAPHORES == TRUE */

+

 /****************************************************************************

  * Exported data.

  ****************************************************************************/

@@ -295,6 +411,9 @@ const testcase_t * const oslib_test_sequence_004_array[] = {
 #if (CH_CFG_FACTORY_GENERIC_BUFFERS == TRUE) || defined(__DOXYGEN__)

   &oslib_test_004_002,

 #endif

+#if (CH_CFG_FACTORY_SEMAPHORES == TRUE) || defined(__DOXYGEN__)

+  &oslib_test_004_003,

+#endif

   NULL

 };