1 files changed, 276 insertions, 0 deletions
diff --git a/test/rt/source/test/test_sequence_001.c b/test/rt/source/test/test_sequence_001.c
new file mode 100644
index 000000000..c4b944b84
--- /dev/null
+++ b/test/rt/source/test/test_sequence_001.c
@@ -0,0 +1,276 @@
+/*
+    ChibiOS - Copyright (C) 2006..2016 Giovanni Di Sirio
+
+    Licensed under the Apache License, Version 2.0 (the "License");
+    you may not use this file except in compliance with the License.
+    You may obtain a copy of the License at
+
+        http://www.apache.org/licenses/LICENSE-2.0
+
+    Unless required by applicable law or agreed to in writing, software
+    distributed under the License is distributed on an "AS IS" BASIS,
+    WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+    See the License for the specific language governing permissions and
+    limitations under the License.
+*/
+
+#include "hal.h"
+#include "ch_test.h"
+#include "test_root.h"
+
+/**
+ * @page test_sequence_001 [1] System layer and port interface
+ *
+ * File: @ref test_sequence_001.c
+ *
+ * <h2>Description</h2>
+ * 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).
+ *
+ * <h2>Test Cases</h2>
+ * - @subpage test_001_001
+ * - @subpage test_001_002
+ * - @subpage test_001_003
+ * - @subpage test_001_004
+ * .
+ */
+
+/****************************************************************************
+ * Shared code.
+ ****************************************************************************/
+
+/* 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();
+}
+
+/****************************************************************************
+ * Test cases.
+ ****************************************************************************/
+
+/**
+ * @page test_001_001 [1.1] System integrity functionality
+ *
+ * <h2>Description</h2>
+ * The system self-test functionality is invoked in order to make an
+ * initial system state assessment and for coverage.
+ *
+ * <h2>Test Steps</h2>
+ * - [1.1.1] Testing Ready List integrity.
+ * - [1.1.2] Testing Virtual Timers List integrity.
+ * - [1.1.3] Testing Registry List integrity.
+ * - [1.1.4] Testing Port-defined integrity.
+ * .
+ */
+
+static void test_001_001_execute(void) {
+  bool result;
+
+  /* [1.1.1] Testing Ready List integrity.*/
+  test_set_step(1);
+  {
+    chSysLock();
+    result = chSysIntegrityCheckI(CH_INTEGRITY_RLIST);
+    chSysUnlock();
+    test_assert(result == false, "ready list check failed");
+  }
+
+  /* [1.1.2] Testing Virtual Timers List integrity.*/
+  test_set_step(2);
+  {
+    chSysLock();
+    result = chSysIntegrityCheckI(CH_INTEGRITY_VTLIST);
+    chSysUnlock();
+    test_assert(result == false, "virtual timers list check failed");
+  }
+
+  /* [1.1.3] Testing Registry List integrity.*/
+  test_set_step(3);
+  {
+    chSysLock();
+    result = chSysIntegrityCheckI(CH_INTEGRITY_REGISTRY);
+    chSysUnlock();
+    test_assert(result == false, "registry list check failed");
+  }
+
+  /* [1.1.4] Testing Port-defined integrity.*/
+  test_set_step(4);
+  {
+    chSysLock();
+    result = chSysIntegrityCheckI(CH_INTEGRITY_PORT);
+    chSysUnlock();
+    test_assert(result == false, "port layer check failed");
+  }
+}
+
+static const testcase_t test_001_001 = {
+  "System integrity functionality",
+  NULL,
+  NULL,
+  test_001_001_execute
+};
+
+/**
+ * @page test_001_002 [1.2] Critical zones functionality
+ *
+ * <h2>Description</h2>
+ * The critical zones API is invoked for coverage.
+ *
+ * <h2>Test Steps</h2>
+ * - [1.2.1] Testing chSysGetStatusAndLockX() and
+ *   chSysRestoreStatusX(), non reentrant case.
+ * - [1.2.2] Testing chSysGetStatusAndLockX() and
+ *   chSysRestoreStatusX(), reentrant case.
+ * - [1.2.3] Testing chSysUnconditionalLock().
+ * - [1.2.4] Testing chSysUnconditionalUnlock().
+ * - [1.2.5] Testing from ISR context using a virtual timer.
+ * .
+ */
+
+static void test_001_002_execute(void) {
+  syssts_t sts;
+  virtual_timer_t vt;
+
+  /* [1.2.1] Testing chSysGetStatusAndLockX() and
+     chSysRestoreStatusX(), non reentrant case.*/
+  test_set_step(1);
+  {
+    sts = chSysGetStatusAndLockX();
+    chSysRestoreStatusX(sts);
+  }
+
+  /* [1.2.2] Testing chSysGetStatusAndLockX() and
+     chSysRestoreStatusX(), reentrant case.*/
+  test_set_step(2);
+  {
+    chSysLock();
+    sts = chSysGetStatusAndLockX();
+    chSysRestoreStatusX(sts);
+    chSysUnlock();
+  }
+
+  /* [1.2.3] Testing chSysUnconditionalLock().*/
+  test_set_step(3);
+  {
+    chSysUnconditionalLock();
+    chSysUnconditionalLock();
+    chSysUnlock();
+  }
+
+  /* [1.2.4] Testing chSysUnconditionalUnlock().*/
+  test_set_step(4);
+  {
+    chSysLock();
+    chSysUnconditionalUnlock();
+    chSysUnconditionalUnlock();
+  }
+
+  /* [1.2.5] Testing from ISR context using a virtual timer.*/
+  test_set_step(5);
+  {
+    chVTObjectInit(&vt);
+    chVTSet(&vt, 1, vtcb, NULL);
+    chThdSleep(10);
+
+    test_assert(chVTIsArmed(&vt) == false, "timer still armed");
+  }
+}
+
+static const testcase_t test_001_002 = {
+  "Critical zones functionality",
+  NULL,
+  NULL,
+  test_001_002_execute
+};
+
+/**
+ * @page test_001_003 [1.3] Interrupts handling functionality
+ *
+ * <h2>Description</h2>
+ * The interrupts handling API is invoked for coverage.
+ *
+ * <h2>Test Steps</h2>
+ * - [1.3.1] Testing chSysSuspend(), chSysDisable() and chSysEnable().
+ * .
+ */
+
+static void test_001_003_execute(void) {
+
+  /* [1.3.1] Testing chSysSuspend(), chSysDisable() and
+     chSysEnable().*/
+  test_set_step(1);
+  {
+    chSysSuspend();
+    chSysDisable();
+    chSysSuspend();
+    chSysEnable();
+  }
+}
+
+static const testcase_t test_001_003 = {
+  "Interrupts handling functionality",
+  NULL,
+  NULL,
+  test_001_003_execute
+};
+
+/**
+ * @page test_001_004 [1.4] System Tick Counter functionality
+ *
+ * <h2>Description</h2>
+ * The functionality of the API @p chVTGetSystemTimeX() is tested.
+ *
+ * <h2>Test Steps</h2>
+ * - [1.4.1] A System Tick Counter increment is expected, the test
+ *   simply hangs if it does not happen.
+ * .
+ */
+
+static void test_001_004_execute(void) {
+
+  /* [1.4.1] A System Tick Counter increment is expected, the test
+     simply hangs if it does not happen.*/
+  test_set_step(1);
+  {
+    systime_t time = chVTGetSystemTimeX();
+    while (time == chVTGetSystemTimeX()) {
+    }
+  }
+}
+
+static const testcase_t test_001_004 = {
+  "System Tick Counter functionality",
+  NULL,
+  NULL,
+  test_001_004_execute
+};
+
+/****************************************************************************
+ * Exported data.
+ ****************************************************************************/
+
+/**
+ * @brief   System layer and port interface.
+ */
+const testcase_t * const test_sequence_001[] = {
+  &test_001_001,
+  &test_001_002,
+  &test_001_003,
+  &test_001_004,
+  NULL
+};