diff options
| author | Giovanni Di Sirio <gdisirio@gmail.com> | 2017-10-17 07:17:26 +0000 |
|---|---|---|
| committer | Giovanni Di Sirio <gdisirio@gmail.com> | 2017-10-17 07:17:26 +0000 |
| commit | a202724feaf68aaf44986e2bc336de0008bb2c64 (patch) | |
| tree | 432b975d84da87b84cdcc9508767cf022538d776 /test/oslib/source/test/oslib_test_sequence_002.c | |
| parent | ca77bbc7bacdecf04d3f45c3e108bd8984832ea0 (diff) | |
| download | ChibiOS-a202724feaf68aaf44986e2bc336de0008bb2c64.tar.gz ChibiOS-a202724feaf68aaf44986e2bc336de0008bb2c64.tar.bz2 ChibiOS-a202724feaf68aaf44986e2bc336de0008bb2c64.zip | |
OS library test suite, not finished.
git-svn-id: svn://svn.code.sf.net/p/chibios/svn/trunk@10840 35acf78f-673a-0410-8e92-d51de3d6d3f4
Diffstat (limited to 'test/oslib/source/test/oslib_test_sequence_002.c')
| -rw-r--r-- | test/oslib/source/test/oslib_test_sequence_002.c | 416 |
1 files changed, 416 insertions, 0 deletions
diff --git a/test/oslib/source/test/oslib_test_sequence_002.c b/test/oslib/source/test/oslib_test_sequence_002.c new file mode 100644 index 000000000..5b4f10859 --- /dev/null +++ b/test/oslib/source/test/oslib_test_sequence_002.c @@ -0,0 +1,416 @@ +/*
+ ChibiOS - Copyright (C) 2006..2017 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 "oslib_test_root.h"
+
+/**
+ * @file oslib_test_sequence_002.c
+ * @brief Test Sequence 002 code.
+ *
+ * @page oslib_test_sequence_002 [2] Mailboxes
+ *
+ * File: @ref oslib_test_sequence_002.c
+ *
+ * <h2>Description</h2>
+ * This sequence tests the ChibiOS libraryfunctionalities related to
+ * mailboxes.
+ *
+ * <h2>Conditions</h2>
+ * This sequence is only executed if the following preprocessor condition
+ * evaluates to true:
+ * - CH_CFG_USE_MAILBOXES
+ * .
+ *
+ * <h2>Test Cases</h2>
+ * - @subpage oslib_test_002_001
+ * - @subpage oslib_test_002_002
+ * - @subpage oslib_test_002_003
+ * .
+ */
+
+#if (CH_CFG_USE_MAILBOXES) || defined(__DOXYGEN__)
+
+/****************************************************************************
+ * Shared code.
+ ****************************************************************************/
+
+#define MB_SIZE 4
+
+static msg_t mb_buffer[MB_SIZE];
+static MAILBOX_DECL(mb1, mb_buffer, MB_SIZE);
+
+/****************************************************************************
+ * Test cases.
+ ****************************************************************************/
+
+/**
+ * @page oslib_test_002_001 [2.1] Mailbox normal API, non-blocking tests
+ *
+ * <h2>Description</h2>
+ * The mailbox normal API is tested without triggering blocking
+ * conditions.
+ *
+ * <h2>Test Steps</h2>
+ * - [2.1.1] Testing the mailbox size.
+ * - [2.1.2] Resetting the mailbox, conditions are checked, no errors
+ * expected.
+ * - [2.1.3] Testing the behavior of API when the mailbox is in reset
+ * state then return in active state.
+ * - [2.1.4] Filling the mailbox using chMBPostTimeout() and
+ * chMBPostAheadTimeout() once, no errors expected.
+ * - [2.1.5] Testing intermediate conditions. Data pointers must be
+ * aligned, semaphore counters are checked.
+ * - [2.1.6] Emptying the mailbox using chMBFetchTimeout(), no errors
+ * expected.
+ * - [2.1.7] Posting and then fetching one more message, no errors
+ * expected.
+ * - [2.1.8] Testing final conditions. Data pointers must be aligned to
+ * buffer start, semaphore counters are checked.
+ * .
+ */
+
+static void oslib_test_002_001_setup(void) {
+ chMBObjectInit(&mb1, mb_buffer, MB_SIZE);
+}
+
+static void oslib_test_002_001_teardown(void) {
+ chMBReset(&mb1);
+}
+
+static void oslib_test_002_001_execute(void) {
+ msg_t msg1, msg2;
+ unsigned i;
+
+ /* [2.1.1] Testing the mailbox size.*/
+ test_set_step(1);
+ {
+ test_assert_lock(chMBGetFreeCountI(&mb1) == MB_SIZE, "wrong size");
+ }
+
+ /* [2.1.2] Resetting the mailbox, conditions are checked, no errors
+ expected.*/
+ test_set_step(2);
+ {
+ chMBReset(&mb1);
+ test_assert_lock(chMBGetFreeCountI(&mb1) == MB_SIZE, "not empty");
+ test_assert_lock(chMBGetUsedCountI(&mb1) == 0, "still full");
+ test_assert_lock(mb1.buffer == mb1.wrptr, "write pointer not aligned to base");
+ test_assert_lock(mb1.buffer == mb1.rdptr, "read pointer not aligned to base");
+ }
+
+ /* [2.1.3] Testing the behavior of API when the mailbox is in reset
+ state then return in active state.*/
+ test_set_step(3);
+ {
+ msg1 = chMBPostTimeout(&mb1, (msg_t)0, TIME_INFINITE);
+ test_assert(msg1 == MSG_RESET, "not in reset state");
+ msg1 = chMBPostAheadTimeout(&mb1, (msg_t)0, TIME_INFINITE);
+ test_assert(msg1 == MSG_RESET, "not in reset state");
+ msg1 = chMBFetchTimeout(&mb1, &msg2, TIME_INFINITE);
+ test_assert(msg1 == MSG_RESET, "not in reset state");
+ chMBResumeX(&mb1);
+ }
+
+ /* [2.1.4] Filling the mailbox using chMBPostTimeout() and
+ chMBPostAheadTimeout() once, no errors expected.*/
+ test_set_step(4);
+ {
+ for (i = 0; i < MB_SIZE - 1; i++) {
+ msg1 = chMBPostTimeout(&mb1, 'B' + i, TIME_INFINITE);
+ test_assert(msg1 == MSG_OK, "wrong wake-up message");
+ }
+ msg1 = chMBPostAheadTimeout(&mb1, 'A', TIME_INFINITE);
+ test_assert(msg1 == MSG_OK, "wrong wake-up message");
+ }
+
+ /* [2.1.5] Testing intermediate conditions. Data pointers must be
+ aligned, semaphore counters are checked.*/
+ test_set_step(5);
+ {
+ test_assert_lock(chMBGetFreeCountI(&mb1) == 0, "still empty");
+ test_assert_lock(chMBGetUsedCountI(&mb1) == MB_SIZE, "not full");
+ test_assert_lock(mb1.rdptr == mb1.wrptr, "pointers not aligned");
+ }
+
+ /* [2.1.6] Emptying the mailbox using chMBFetchTimeout(), no errors
+ expected.*/
+ test_set_step(6);
+ {
+ for (i = 0; i < MB_SIZE; i++) {
+ msg1 = chMBFetchTimeout(&mb1, &msg2, TIME_INFINITE);
+ test_assert(msg1 == MSG_OK, "wrong wake-up message");
+ test_emit_token(msg2);
+ }
+ test_assert_sequence("ABCD", "wrong get sequence");
+ }
+
+ /* [2.1.7] Posting and then fetching one more message, no errors
+ expected.*/
+ test_set_step(7);
+ {
+ msg1 = chMBPostTimeout(&mb1, 'B' + i, TIME_INFINITE);
+ test_assert(msg1 == MSG_OK, "wrong wake-up message");
+ msg1 = chMBFetchTimeout(&mb1, &msg2, TIME_INFINITE);
+ test_assert(msg1 == MSG_OK, "wrong wake-up message");
+ }
+
+ /* [2.1.8] Testing final conditions. Data pointers must be aligned to
+ buffer start, semaphore counters are checked.*/
+ test_set_step(8);
+ {
+ test_assert_lock(chMBGetFreeCountI(&mb1) == MB_SIZE, "not empty");
+ test_assert_lock(chMBGetUsedCountI(&mb1) == 0, "still full");
+ test_assert(mb1.buffer == mb1.wrptr, "write pointer not aligned to base");
+ test_assert(mb1.buffer == mb1.rdptr, "read pointer not aligned to base");
+ }
+}
+
+static const testcase_t oslib_test_002_001 = {
+ "Mailbox normal API, non-blocking tests",
+ oslib_test_002_001_setup,
+ oslib_test_002_001_teardown,
+ oslib_test_002_001_execute
+};
+
+/**
+ * @page oslib_test_002_002 [2.2] Mailbox I-Class API, non-blocking tests
+ *
+ * <h2>Description</h2>
+ * The mailbox I-Class API is tested without triggering blocking
+ * conditions.
+ *
+ * <h2>Test Steps</h2>
+ * - [2.2.1] Testing the mailbox size.
+ * - [2.2.2] Resetting the mailbox, conditions are checked, no errors
+ * expected. The mailbox is then returned in active state.
+ * - [2.2.3] Filling the mailbox using chMBPostI() and chMBPostAheadI()
+ * once, no errors expected.
+ * - [2.2.4] Testing intermediate conditions. Data pointers must be
+ * aligned, semaphore counters are checked.
+ * - [2.2.5] Emptying the mailbox using chMBFetchI(), no errors
+ * expected.
+ * - [2.2.6] Posting and then fetching one more message, no errors
+ * expected.
+ * - [2.2.7] Testing final conditions. Data pointers must be aligned to
+ * buffer start, semaphore counters are checked.
+ * .
+ */
+
+static void oslib_test_002_002_setup(void) {
+ chMBObjectInit(&mb1, mb_buffer, MB_SIZE);
+}
+
+static void oslib_test_002_002_teardown(void) {
+ chMBReset(&mb1);
+}
+
+static void oslib_test_002_002_execute(void) {
+ msg_t msg1, msg2;
+ unsigned i;
+
+ /* [2.2.1] Testing the mailbox size.*/
+ test_set_step(1);
+ {
+ test_assert_lock(chMBGetFreeCountI(&mb1) == MB_SIZE, "wrong size");
+ }
+
+ /* [2.2.2] Resetting the mailbox, conditions are checked, no errors
+ expected. The mailbox is then returned in active state.*/
+ test_set_step(2);
+ {
+ chSysLock();
+ chMBResetI(&mb1);
+ chSysUnlock();
+ test_assert_lock(chMBGetFreeCountI(&mb1) == MB_SIZE, "not empty");
+ test_assert_lock(chMBGetUsedCountI(&mb1) == 0, "still full");
+ test_assert_lock(mb1.buffer == mb1.wrptr, "write pointer not aligned to base");
+ test_assert_lock(mb1.buffer == mb1.rdptr, "read pointer not aligned to base");
+ chMBResumeX(&mb1);
+ }
+
+ /* [2.2.3] Filling the mailbox using chMBPostI() and chMBPostAheadI()
+ once, no errors expected.*/
+ test_set_step(3);
+ {
+ for (i = 0; i < MB_SIZE - 1; i++) {
+ chSysLock();
+ msg1 = chMBPostI(&mb1, 'B' + i);
+ chSysUnlock();
+ test_assert(msg1 == MSG_OK, "wrong wake-up message");
+ }
+ chSysLock();
+ msg1 = chMBPostAheadI(&mb1, 'A');
+ chSysUnlock();
+ test_assert(msg1 == MSG_OK, "wrong wake-up message");
+ }
+
+ /* [2.2.4] Testing intermediate conditions. Data pointers must be
+ aligned, semaphore counters are checked.*/
+ test_set_step(4);
+ {
+ test_assert_lock(chMBGetFreeCountI(&mb1) == 0, "still empty");
+ test_assert_lock(chMBGetUsedCountI(&mb1) == MB_SIZE, "not full");
+ test_assert_lock(mb1.rdptr == mb1.wrptr, "pointers not aligned");
+ }
+
+ /* [2.2.5] Emptying the mailbox using chMBFetchI(), no errors
+ expected.*/
+ test_set_step(5);
+ {
+ for (i = 0; i < MB_SIZE; i++) {
+ chSysLock();
+ msg1 = chMBFetchI(&mb1, &msg2);
+ chSysUnlock();
+ test_assert(msg1 == MSG_OK, "wrong wake-up message");
+ test_emit_token(msg2);
+ }
+ test_assert_sequence("ABCD", "wrong get sequence");
+ }
+
+ /* [2.2.6] Posting and then fetching one more message, no errors
+ expected.*/
+ test_set_step(6);
+ {
+ msg1 = chMBPostTimeout(&mb1, 'B' + i, TIME_INFINITE);
+ test_assert(msg1 == MSG_OK, "wrong wake-up message");
+ msg1 = chMBFetchTimeout(&mb1, &msg2, TIME_INFINITE);
+ test_assert(msg1 == MSG_OK, "wrong wake-up message");
+ }
+
+ /* [2.2.7] Testing final conditions. Data pointers must be aligned to
+ buffer start, semaphore counters are checked.*/
+ test_set_step(7);
+ {
+ test_assert_lock(chMBGetFreeCountI(&mb1) == MB_SIZE, "not empty");
+ test_assert_lock(chMBGetUsedCountI(&mb1) == 0, "still full");
+ test_assert(mb1.buffer == mb1.wrptr, "write pointer not aligned to base");
+ test_assert(mb1.buffer == mb1.rdptr, "read pointer not aligned to base");
+ }
+}
+
+static const testcase_t oslib_test_002_002 = {
+ "Mailbox I-Class API, non-blocking tests",
+ oslib_test_002_002_setup,
+ oslib_test_002_002_teardown,
+ oslib_test_002_002_execute
+};
+
+/**
+ * @page oslib_test_002_003 [2.3] Mailbox timeouts
+ *
+ * <h2>Description</h2>
+ * The mailbox API is tested for timeouts.
+ *
+ * <h2>Test Steps</h2>
+ * - [2.3.1] Filling the mailbox.
+ * - [2.3.2] Testing chMBPostTimeout(), chMBPostI(),
+ * chMBPostAheadTimeout() and chMBPostAheadI() timeout.
+ * - [2.3.3] Resetting the mailbox. The mailbox is then returned in
+ * active state.
+ * - [2.3.4] Testing chMBFetchTimeout() and chMBFetchI() timeout.
+ * .
+ */
+
+static void oslib_test_002_003_setup(void) {
+ chMBObjectInit(&mb1, mb_buffer, MB_SIZE);
+}
+
+static void oslib_test_002_003_teardown(void) {
+ chMBReset(&mb1);
+}
+
+static void oslib_test_002_003_execute(void) {
+ msg_t msg1, msg2;
+ unsigned i;
+
+ /* [2.3.1] Filling the mailbox.*/
+ test_set_step(1);
+ {
+ for (i = 0; i < MB_SIZE; i++) {
+ msg1 = chMBPostTimeout(&mb1, 'B' + i, TIME_INFINITE);
+ test_assert(msg1 == MSG_OK, "wrong wake-up message");
+ }
+ }
+
+ /* [2.3.2] Testing chMBPostTimeout(), chMBPostI(),
+ chMBPostAheadTimeout() and chMBPostAheadI() timeout.*/
+ test_set_step(2);
+ {
+ msg1 = chMBPostTimeout(&mb1, 'X', 1);
+ test_assert(msg1 == MSG_TIMEOUT, "wrong wake-up message");
+ chSysLock();
+ msg1 = chMBPostI(&mb1, 'X');
+ chSysUnlock();
+ test_assert(msg1 == MSG_TIMEOUT, "wrong wake-up message");
+ msg1 = chMBPostAheadTimeout(&mb1, 'X', 1);
+ test_assert(msg1 == MSG_TIMEOUT, "wrong wake-up message");
+ chSysLock();
+ msg1 = chMBPostAheadI(&mb1, 'X');
+ chSysUnlock();
+ test_assert(msg1 == MSG_TIMEOUT, "wrong wake-up message");
+ }
+
+ /* [2.3.3] Resetting the mailbox. The mailbox is then returned in
+ active state.*/
+ test_set_step(3);
+ {
+ chMBReset(&mb1);
+ chMBResumeX(&mb1);
+ }
+
+ /* [2.3.4] Testing chMBFetchTimeout() and chMBFetchI() timeout.*/
+ test_set_step(4);
+ {
+ msg1 = chMBFetchTimeout(&mb1, &msg2, 1);
+ test_assert(msg1 == MSG_TIMEOUT, "wrong wake-up message");
+ chSysLock();
+ msg1 = chMBFetchI(&mb1, &msg2);
+ chSysUnlock();
+ test_assert(msg1 == MSG_TIMEOUT, "wrong wake-up message");
+ }
+}
+
+static const testcase_t oslib_test_002_003 = {
+ "Mailbox timeouts",
+ oslib_test_002_003_setup,
+ oslib_test_002_003_teardown,
+ oslib_test_002_003_execute
+};
+
+/****************************************************************************
+ * Exported data.
+ ****************************************************************************/
+
+/**
+ * @brief Array of test cases.
+ */
+const testcase_t * const oslib_test_sequence_002_array[] = {
+ &oslib_test_002_001,
+ &oslib_test_002_002,
+ &oslib_test_002_003,
+ NULL
+};
+
+/**
+ * @brief Mailboxes.
+ */
+const testsequence_t oslib_test_sequence_002 = {
+ NULL,
+ oslib_test_sequence_002_array
+};
+
+#endif /* CH_CFG_USE_MAILBOXES */
|