417 lines
13 KiB
C
417 lines
13 KiB
C
/*
|
|
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_001.c
|
|
* @brief Test Sequence 001 code.
|
|
*
|
|
* @page oslib_test_sequence_001 [1] Mailboxes
|
|
*
|
|
* File: @ref oslib_test_sequence_001.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_001_001
|
|
* - @subpage oslib_test_001_002
|
|
* - @subpage oslib_test_001_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_001_001 [1.1] Mailbox normal API, non-blocking tests
|
|
*
|
|
* <h2>Description</h2>
|
|
* The mailbox normal API is tested without triggering blocking
|
|
* conditions.
|
|
*
|
|
* <h2>Test Steps</h2>
|
|
* - [1.1.1] Testing the mailbox size.
|
|
* - [1.1.2] Resetting the mailbox, conditions are checked, no errors
|
|
* expected.
|
|
* - [1.1.3] Testing the behavior of API when the mailbox is in reset
|
|
* state then return in active state.
|
|
* - [1.1.4] Filling the mailbox using chMBPostTimeout() and
|
|
* chMBPostAheadTimeout() once, no errors expected.
|
|
* - [1.1.5] Testing intermediate conditions. Data pointers must be
|
|
* aligned, semaphore counters are checked.
|
|
* - [1.1.6] Emptying the mailbox using chMBFetchTimeout(), no errors
|
|
* expected.
|
|
* - [1.1.7] Posting and then fetching one more message, no errors
|
|
* expected.
|
|
* - [1.1.8] Testing final conditions. Data pointers must be aligned to
|
|
* buffer start, semaphore counters are checked.
|
|
* .
|
|
*/
|
|
|
|
static void oslib_test_001_001_setup(void) {
|
|
chMBObjectInit(&mb1, mb_buffer, MB_SIZE);
|
|
}
|
|
|
|
static void oslib_test_001_001_teardown(void) {
|
|
chMBReset(&mb1);
|
|
}
|
|
|
|
static void oslib_test_001_001_execute(void) {
|
|
msg_t msg1, msg2;
|
|
unsigned i;
|
|
|
|
/* [1.1.1] Testing the mailbox size.*/
|
|
test_set_step(1);
|
|
{
|
|
test_assert_lock(chMBGetFreeCountI(&mb1) == MB_SIZE, "wrong size");
|
|
}
|
|
|
|
/* [1.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");
|
|
}
|
|
|
|
/* [1.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);
|
|
}
|
|
|
|
/* [1.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");
|
|
}
|
|
|
|
/* [1.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");
|
|
}
|
|
|
|
/* [1.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");
|
|
}
|
|
|
|
/* [1.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");
|
|
}
|
|
|
|
/* [1.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_001_001 = {
|
|
"Mailbox normal API, non-blocking tests",
|
|
oslib_test_001_001_setup,
|
|
oslib_test_001_001_teardown,
|
|
oslib_test_001_001_execute
|
|
};
|
|
|
|
/**
|
|
* @page oslib_test_001_002 [1.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>
|
|
* - [1.2.1] Testing the mailbox size.
|
|
* - [1.2.2] Resetting the mailbox, conditions are checked, no errors
|
|
* expected. The mailbox is then returned in active state.
|
|
* - [1.2.3] Filling the mailbox using chMBPostI() and chMBPostAheadI()
|
|
* once, no errors expected.
|
|
* - [1.2.4] Testing intermediate conditions. Data pointers must be
|
|
* aligned, semaphore counters are checked.
|
|
* - [1.2.5] Emptying the mailbox using chMBFetchI(), no errors
|
|
* expected.
|
|
* - [1.2.6] Posting and then fetching one more message, no errors
|
|
* expected.
|
|
* - [1.2.7] Testing final conditions. Data pointers must be aligned to
|
|
* buffer start, semaphore counters are checked.
|
|
* .
|
|
*/
|
|
|
|
static void oslib_test_001_002_setup(void) {
|
|
chMBObjectInit(&mb1, mb_buffer, MB_SIZE);
|
|
}
|
|
|
|
static void oslib_test_001_002_teardown(void) {
|
|
chMBReset(&mb1);
|
|
}
|
|
|
|
static void oslib_test_001_002_execute(void) {
|
|
msg_t msg1, msg2;
|
|
unsigned i;
|
|
|
|
/* [1.2.1] Testing the mailbox size.*/
|
|
test_set_step(1);
|
|
{
|
|
test_assert_lock(chMBGetFreeCountI(&mb1) == MB_SIZE, "wrong size");
|
|
}
|
|
|
|
/* [1.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);
|
|
}
|
|
|
|
/* [1.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");
|
|
}
|
|
|
|
/* [1.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");
|
|
}
|
|
|
|
/* [1.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");
|
|
}
|
|
|
|
/* [1.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");
|
|
}
|
|
|
|
/* [1.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_001_002 = {
|
|
"Mailbox I-Class API, non-blocking tests",
|
|
oslib_test_001_002_setup,
|
|
oslib_test_001_002_teardown,
|
|
oslib_test_001_002_execute
|
|
};
|
|
|
|
/**
|
|
* @page oslib_test_001_003 [1.3] Mailbox timeouts
|
|
*
|
|
* <h2>Description</h2>
|
|
* The mailbox API is tested for timeouts.
|
|
*
|
|
* <h2>Test Steps</h2>
|
|
* - [1.3.1] Filling the mailbox.
|
|
* - [1.3.2] Testing chMBPostTimeout(), chMBPostI(),
|
|
* chMBPostAheadTimeout() and chMBPostAheadI() timeout.
|
|
* - [1.3.3] Resetting the mailbox. The mailbox is then returned in
|
|
* active state.
|
|
* - [1.3.4] Testing chMBFetchTimeout() and chMBFetchI() timeout.
|
|
* .
|
|
*/
|
|
|
|
static void oslib_test_001_003_setup(void) {
|
|
chMBObjectInit(&mb1, mb_buffer, MB_SIZE);
|
|
}
|
|
|
|
static void oslib_test_001_003_teardown(void) {
|
|
chMBReset(&mb1);
|
|
}
|
|
|
|
static void oslib_test_001_003_execute(void) {
|
|
msg_t msg1, msg2;
|
|
unsigned i;
|
|
|
|
/* [1.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");
|
|
}
|
|
}
|
|
|
|
/* [1.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");
|
|
}
|
|
|
|
/* [1.3.3] Resetting the mailbox. The mailbox is then returned in
|
|
active state.*/
|
|
test_set_step(3);
|
|
{
|
|
chMBReset(&mb1);
|
|
chMBResumeX(&mb1);
|
|
}
|
|
|
|
/* [1.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_001_003 = {
|
|
"Mailbox timeouts",
|
|
oslib_test_001_003_setup,
|
|
oslib_test_001_003_teardown,
|
|
oslib_test_001_003_execute
|
|
};
|
|
|
|
/****************************************************************************
|
|
* Exported data.
|
|
****************************************************************************/
|
|
|
|
/**
|
|
* @brief Array of test cases.
|
|
*/
|
|
const testcase_t * const oslib_test_sequence_001_array[] = {
|
|
&oslib_test_001_001,
|
|
&oslib_test_001_002,
|
|
&oslib_test_001_003,
|
|
NULL
|
|
};
|
|
|
|
/**
|
|
* @brief Mailboxes.
|
|
*/
|
|
const testsequence_t oslib_test_sequence_001 = {
|
|
NULL,
|
|
oslib_test_sequence_001_array
|
|
};
|
|
|
|
#endif /* CH_CFG_USE_MAILBOXES */
|