aboutsummaryrefslogtreecommitdiffstats
path: root/test/oslib/configuration.xml
diff options
context:
space:
mode:
Diffstat (limited to 'test/oslib/configuration.xml')
-rw-r--r--test/oslib/configuration.xml582
1 files changed, 6 insertions, 576 deletions
diff --git a/test/oslib/configuration.xml b/test/oslib/configuration.xml
index b2a12729a..87424d929 100644
--- a/test/oslib/configuration.xml
+++ b/test/oslib/configuration.xml
@@ -35,118 +35,10 @@
<value>oslib_</value>
</code_prefix>
<global_definitions>
- <value><![CDATA[#define TEST_SUITE_NAME "ChibiOS OS Library Test Suite"
-
-/*
- * Allowed delay in timeout checks.
- */
-#define ALLOWED_DELAY TIME_MS2I(2)
-
-/*
- * Maximum number of test threads.
- */
-#define MAX_THREADS 5
-
-/*
- * Stack size of test threads.
- */
-#if defined(CH_ARCHITECTURE_AVR) || defined(CH_ARCHITECTURE_MSP430)
-#define THREADS_STACK_SIZE 48
-#elif defined(CH_ARCHITECTURE_STM8)
-#define THREADS_STACK_SIZE 64
-#elif defined(CH_ARCHITECTURE_SIMIA32)
-#define THREADS_STACK_SIZE 512
-#else
-#define THREADS_STACK_SIZE 128
-#endif
-
-/*
- * Working Area size of test threads.
- */
-#define WA_SIZE MEM_ALIGN_NEXT(THD_WORKING_AREA_SIZE(THREADS_STACK_SIZE), \
- PORT_WORKING_AREA_ALIGN)
-
-#define TEST_REPORT_HOOK_HEADER test_print_port_info();
-
-extern uint8_t test_buffer[WA_SIZE * 5];
-extern thread_t *threads[MAX_THREADS];
-extern void * ROMCONST wa[5];
-
-void test_print_port_info(void);
-void test_terminate_threads(void);
-void test_wait_threads(void);
-systime_t test_wait_tick(void);]]></value>
+ <value />
</global_definitions>
<global_code>
- <value><![CDATA[void test_print_port_info(void) {
-
-#ifdef PORT_COMPILER_NAME
- test_print("*** Compiler: ");
- test_println(PORT_COMPILER_NAME);
-#endif
- test_print("*** Architecture: ");
- test_println(PORT_ARCHITECTURE_NAME);
-#ifdef PORT_CORE_VARIANT_NAME
- test_print("*** Core Variant: ");
- test_println(PORT_CORE_VARIANT_NAME);
-#endif
-#ifdef PORT_INFO
- test_print("*** Port Info: ");
- test_println(PORT_INFO);
-#endif
-}
-
-/*
- * Global test buffer holding 5 working areas.
- */
-ALIGNED_VAR(PORT_WORKING_AREA_ALIGN) uint8_t test_buffer[WA_SIZE * 5];
-
-/*
- * Pointers to the spawned threads.
- */
-thread_t *threads[MAX_THREADS];
-
-/*
- * Pointers to the working areas.
- */
-void * ROMCONST wa[5] = {test_buffer + (WA_SIZE * 0),
- test_buffer + (WA_SIZE * 1),
- test_buffer + (WA_SIZE * 2),
- test_buffer + (WA_SIZE * 3),
- test_buffer + (WA_SIZE * 4)};
-
-/*
- * Sets a termination request in all the test-spawned threads.
- */
-void test_terminate_threads(void) {
- unsigned i;
-
- for (i = 0; i < MAX_THREADS; i++)
- if (threads[i])
- chThdTerminate(threads[i]);
-}
-
-/*
- * Waits for the completion of all the test-spawned threads.
- */
-void test_wait_threads(void) {
- unsigned i;
-
- for (i = 0; i < MAX_THREADS; i++)
- if (threads[i] != NULL) {
- chThdWait(threads[i]);
- threads[i] = NULL;
- }
-}
-
-/*
- * Delays execution until next system time tick.
- */
-systime_t test_wait_tick(void) {
-
- chThdSleep(1);
- return chVTGetSystemTime();
-}]]></value>
+ <value />
</global_code>
</global_data_and_code>
<sequences>
@@ -155,469 +47,6 @@ systime_t test_wait_tick(void) {
<value>Internal Tests</value>
</type>
<brief>
- <value>Binary Semaphores.</value>
- </brief>
- <description>
- <value>This sequence tests the ChibiOS library functionalities related to binary semaphores.</value>
- </description>
- <condition>
- <value>CH_CFG_USE_SEMAPHORES</value>
- </condition>
- <shared_code>
- <value><![CDATA[#include "ch.h"
-
-static semaphore_t sem1;
-
-static THD_FUNCTION(thread1, p) {
-
- chSemWait(&sem1);
- test_emit_token(*(char *)p);
-}
-
-static THD_FUNCTION(thread2, p) {
-
- (void)p;
- chThdSleepMilliseconds(50);
- chSysLock();
- chSemSignalI(&sem1); /* For coverage reasons */
- chSchRescheduleS();
- chSysUnlock();
-}
-
-static THD_FUNCTION(thread3, p) {
-
- (void)p;
- chSemWait(&sem1);
- chSemSignal(&sem1);
-}
-
-static THD_FUNCTION(thread4, p) {
-
- chBSemSignal((binary_semaphore_t *)p);
-}]]></value>
- </shared_code>
- <cases>
- <case>
- <brief>
- <value>Semaphore primitives, no state change.</value>
- </brief>
- <description>
- <value>Wait, Signal and Reset primitives are tested. The testing thread does not trigger a state change.</value>
- </description>
- <condition>
- <value />
- </condition>
- <various_code>
- <setup_code>
- <value><![CDATA[chSemObjectInit(&sem1, 1);]]></value>
- </setup_code>
- <teardown_code>
- <value><![CDATA[chSemReset(&sem1, 0);]]></value>
- </teardown_code>
- <local_variables>
- <value />
- </local_variables>
- </various_code>
- <steps>
- <step>
- <description>
- <value>The function chSemWait() is invoked, after return the counter and the returned message are tested.</value>
- </description>
- <tags>
- <value />
- </tags>
- <code>
- <value><![CDATA[msg_t msg;
-
-msg = chSemWait(&sem1);
-test_assert_lock(chSemGetCounterI(&sem1) == 0, "wrong counter value");
-test_assert(MSG_OK == msg, "wrong returned message");]]></value>
- </code>
- </step>
- <step>
- <description>
- <value>The function chSemSignal() is invoked, after return the counter is tested.</value>
- </description>
- <tags>
- <value />
- </tags>
- <code>
- <value><![CDATA[chSemSignal(&sem1);
-test_assert_lock(chSemGetCounterI(&sem1) == 1, "wrong counter value");]]></value>
- </code>
- </step>
- <step>
- <description>
- <value>The function chSemReset() is invoked, after return the counter is tested.</value>
- </description>
- <tags>
- <value />
- </tags>
- <code>
- <value><![CDATA[chSemReset(&sem1, 2);
-test_assert_lock(chSemGetCounterI(&sem1) == 2, "wrong counter value");]]></value>
- </code>
- </step>
- </steps>
- </case>
- <case>
- <brief>
- <value>Semaphore enqueuing test.</value>
- </brief>
- <description>
- <value>Five threads with randomized priorities are enqueued to a semaphore then awakened one at time. The test expects that the threads reach their goal in FIFO order or priority order depending on the @p CH_CFG_USE_SEMAPHORES_PRIORITY configuration setting.</value>
- </description>
- <condition>
- <value />
- </condition>
- <various_code>
- <setup_code>
- <value><![CDATA[chSemObjectInit(&sem1, 0);]]></value>
- </setup_code>
- <teardown_code>
- <value />
- </teardown_code>
- <local_variables>
- <value />
- </local_variables>
- </various_code>
- <steps>
- <step>
- <description>
- <value>Five threads are created with mixed priority levels (not increasing nor decreasing). Threads enqueue on a semaphore initialized to zero.</value>
- </description>
- <tags>
- <value />
- </tags>
- <code>
- <value><![CDATA[threads[0] = chThdCreateStatic(wa[0], WA_SIZE, chThdGetPriorityX()+5, thread1, "A");
-threads[1] = chThdCreateStatic(wa[1], WA_SIZE, chThdGetPriorityX()+1, thread1, "B");
-threads[2] = chThdCreateStatic(wa[2], WA_SIZE, chThdGetPriorityX()+3, thread1, "C");
-threads[3] = chThdCreateStatic(wa[3], WA_SIZE, chThdGetPriorityX()+4, thread1, "D");
-threads[4] = chThdCreateStatic(wa[4], WA_SIZE, chThdGetPriorityX()+2, thread1, "E");]]></value>
- </code>
- </step>
- <step>
- <description>
- <value>The semaphore is signaled 5 times. The thread activation sequence is tested.</value>
- </description>
- <tags>
- <value />
- </tags>
- <code>
- <value><![CDATA[chSemSignal(&sem1);
-chSemSignal(&sem1);
-chSemSignal(&sem1);
-chSemSignal(&sem1);
-chSemSignal(&sem1);
-test_wait_threads();
-#if CH_CFG_USE_SEMAPHORES_PRIORITY
-test_assert_sequence("ADCEB", "invalid sequence");
-#else
-test_assert_sequence("ABCDE", "invalid sequence");
-#endif]]></value>
- </code>
- </step>
- </steps>
- </case>
- <case>
- <brief>
- <value>Semaphore timeout test.</value>
- </brief>
- <description>
- <value>The three possible semaphore waiting modes (do not wait, wait with timeout, wait without timeout) are explored. The test expects that the semaphore wait function returns the correct value in each of the above scenario and that the semaphore structure status is correct after each operation.</value>
- </description>
- <condition>
- <value />
- </condition>
- <various_code>
- <setup_code>
- <value><![CDATA[chSemObjectInit(&sem1, 0);]]></value>
- </setup_code>
- <teardown_code>
- <value />
- </teardown_code>
- <local_variables>
- <value><![CDATA[unsigned i;
-systime_t target_time;
-msg_t msg;]]></value>
- </local_variables>
- </various_code>
- <steps>
- <step>
- <description>
- <value>Testing special case TIME_IMMEDIATE.</value>
- </description>
- <tags>
- <value />
- </tags>
- <code>
- <value><![CDATA[msg = chSemWaitTimeout(&sem1, TIME_IMMEDIATE);
-test_assert(msg == MSG_TIMEOUT, "wrong wake-up message");
-test_assert(queue_isempty(&sem1.queue), "queue not empty");
-test_assert(sem1.cnt == 0, "counter not zero");]]></value>
- </code>
- </step>
- <step>
- <description>
- <value>Testing non-timeout condition.</value>
- </description>
- <tags>
- <value />
- </tags>
- <code>
- <value><![CDATA[threads[0] = chThdCreateStatic(wa[0], WA_SIZE, chThdGetPriorityX() - 1,
- thread2, 0);
-msg = chSemWaitTimeout(&sem1, TIME_MS2I(500));
-test_wait_threads();
-test_assert(msg == MSG_OK, "wrong wake-up message");
-test_assert(queue_isempty(&sem1.queue), "queue not empty");
-test_assert(sem1.cnt == 0, "counter not zero");]]></value>
- </code>
- </step>
- <step>
- <description>
- <value>Testing timeout condition.</value>
- </description>
- <tags>
- <value />
- </tags>
- <code>
- <value><![CDATA[target_time = test_wait_tick() + TIME_MS2I(5 * 50);
-for (i = 0; i < 5; i++) {
- test_emit_token('A' + i);
- msg = chSemWaitTimeout(&sem1, TIME_MS2I(50));
- test_assert(msg == MSG_TIMEOUT, "wrong wake-up message");
- test_assert(queue_isempty(&sem1.queue), "queue not empty");
- test_assert(sem1.cnt == 0, "counter not zero");
-}
-test_assert_sequence("ABCDE", "invalid sequence");
-test_assert_time_window(target_time, target_time + ALLOWED_DELAY,
- "out of time window");]]></value>
- </code>
- </step>
- </steps>
- </case>
- <case>
- <brief>
- <value>Testing chSemAddCounterI() functionality.</value>
- </brief>
- <description>
- <value>The functon is tested by waking up a thread then the semaphore counter value is tested.</value>
- </description>
- <condition>
- <value />
- </condition>
- <various_code>
- <setup_code>
- <value><![CDATA[chSemObjectInit(&sem1, 0);]]></value>
- </setup_code>
- <teardown_code>
- <value />
- </teardown_code>
- <local_variables>
- <value />
- </local_variables>
- </various_code>
- <steps>
- <step>
- <description>
- <value>A thread is created, it goes to wait on the semaphore.</value>
- </description>
- <tags>
- <value />
- </tags>
- <code>
- <value><![CDATA[threads[0] = chThdCreateStatic(wa[0], WA_SIZE, chThdGetPriorityX()+1, thread1, "A");]]></value>
- </code>
- </step>
- <step>
- <description>
- <value>The semaphore counter is increased by two, it is then tested to be one, the thread must have completed.</value>
- </description>
- <tags>
- <value />
- </tags>
- <code>
- <value><![CDATA[chSysLock();
-chSemAddCounterI(&sem1, 2);
-chSchRescheduleS();
-chSysUnlock();
-test_wait_threads();
-test_assert_lock(chSemGetCounterI(&sem1) == 1, "invalid counter");
-test_assert_sequence("A", "invalid sequence");]]></value>
- </code>
- </step>
- </steps>
- </case>
- <case>
- <brief>
- <value>Testing chSemWaitSignal() functionality.</value>
- </brief>
- <description>
- <value>This test case explicitly addresses the @p chSemWaitSignal() function. A thread is created that performs a wait and a signal operations. The tester thread is awakened from an atomic wait/signal operation. The test expects that the semaphore wait function returns the correct value in each of the above scenario and that the semaphore structure status is correct after each operation.</value>
- </description>
- <condition>
- <value />
- </condition>
- <various_code>
- <setup_code>
- <value><![CDATA[chSemObjectInit(&sem1, 0);]]></value>
- </setup_code>
- <teardown_code>
- <value><![CDATA[test_wait_threads();]]></value>
- </teardown_code>
- <local_variables>
- <value />
- </local_variables>
- </various_code>
- <steps>
- <step>
- <description>
- <value>An higher priority thread is created that performs non-atomical wait and signal operations on a semaphore.</value>
- </description>
- <tags>
- <value />
- </tags>
- <code>
- <value><![CDATA[threads[0] = chThdCreateStatic(wa[0], WA_SIZE, chThdGetPriorityX()+1, thread3, 0);]]></value>
- </code>
- </step>
- <step>
- <description>
- <value>The function chSemSignalWait() is invoked by specifying the same semaphore for the wait and signal phases. The counter value must be one on exit.</value>
- </description>
- <tags>
- <value />
- </tags>
- <code>
- <value><![CDATA[chSemSignalWait(&sem1, &sem1);
-test_assert(queue_isempty(&sem1.queue), "queue not empty");
-test_assert(sem1.cnt == 0, "counter not zero");]]></value>
- </code>
- </step>
- <step>
- <description>
- <value>The function chSemSignalWait() is invoked again by specifying the same semaphore for the wait and signal phases. The counter value must be one on exit.</value>
- </description>
- <tags>
- <value />
- </tags>
- <code>
- <value><![CDATA[chSemSignalWait(&sem1, &sem1);
-test_assert(queue_isempty(&sem1.queue), "queue not empty");
-test_assert(sem1.cnt == 0, "counter not zero");]]></value>
- </code>
- </step>
- </steps>
- </case>
- <case>
- <brief>
- <value>Testing Binary Semaphores special case.</value>
- </brief>
- <description>
- <value>This test case tests the binary semaphores functionality. The test both checks the binary semaphore status and the expected status of the underlying counting semaphore.</value>
- </description>
- <condition>
- <value />
- </condition>
- <various_code>
- <setup_code>
- <value />
- </setup_code>
- <teardown_code>
- <value><![CDATA[test_wait_threads();]]></value>
- </teardown_code>
- <local_variables>
- <value><![CDATA[binary_semaphore_t bsem;
-msg_t msg;]]></value>
- </local_variables>
- </various_code>
- <steps>
- <step>
- <description>
- <value>Creating a binary semaphore in "taken" state, the state is checked.</value>
- </description>
- <tags>
- <value />
- </tags>
- <code>
- <value><![CDATA[chBSemObjectInit(&bsem, true);
-test_assert_lock(chBSemGetStateI(&bsem) == true, "not taken");]]></value>
- </code>
- </step>
- <step>
- <description>
- <value>Resetting the binary semaphore in "taken" state, the state must not change.</value>
- </description>
- <tags>
- <value />
- </tags>
- <code>
- <value><![CDATA[chBSemReset(&bsem, true);
-test_assert_lock(chBSemGetStateI(&bsem) == true, "not taken");]]></value>
- </code>
- </step>
- <step>
- <description>
- <value>Starting a signaler thread at a lower priority.</value>
- </description>
- <tags>
- <value />
- </tags>
- <code>
- <value><![CDATA[threads[0] = chThdCreateStatic(wa[0], WA_SIZE,
- chThdGetPriorityX()-1, thread4, &bsem);]]></value>
- </code>
- </step>
- <step>
- <description>
- <value>Waiting for the binary semaphore to be signaled, the semaphore is expected to be taken.</value>
- </description>
- <tags>
- <value />
- </tags>
- <code>
- <value><![CDATA[msg = chBSemWait(&bsem);
-test_assert_lock(chBSemGetStateI(&bsem) == true, "not taken");
-test_assert(msg == MSG_OK, "unexpected message");]]></value>
- </code>
- </step>
- <step>
- <description>
- <value>Signaling the binary semaphore, checking the binary semaphore state to be "not taken" and the underlying counter semaphore counter to be one.</value>
- </description>
- <tags>
- <value />
- </tags>
- <code>
- <value><![CDATA[chBSemSignal(&bsem);
-test_assert_lock(chBSemGetStateI(&bsem) ==false, "still taken");
-test_assert_lock(chSemGetCounterI(&bsem.sem) == 1, "unexpected counter");]]></value>
- </code>
- </step>
- <step>
- <description>
- <value>Signaling the binary semaphore again, the internal state must not change from "not taken".</value>
- </description>
- <tags>
- <value />
- </tags>
- <code>
- <value><![CDATA[chBSemSignal(&bsem);
-test_assert_lock(chBSemGetStateI(&bsem) == false, "taken");
-test_assert_lock(chSemGetCounterI(&bsem.sem) == 1, "unexpected counter");]]></value>
- </code>
- </step>
- </steps>
- </case>
- </cases>
- </sequence>
- <sequence>
- <type index="0">
- <value>Internal Tests</value>
- </type>
- <brief>
<value>Mailboxes.</value>
</brief>
<description>
@@ -1282,7 +711,8 @@ test_assert(chPoolAlloc(&mp1) == NULL, "provider returned memory");]]></value>
<value><![CDATA[#define ALLOC_SIZE 16
#define HEAP_SIZE (ALLOC_SIZE * 8)
-memory_heap_t test_heap;]]></value>
+static memory_heap_t test_heap;
+static uint8_t test_heap_buffer[HEAP_SIZE];]]></value>
</shared_code>
<cases>
<case>
@@ -1297,7 +727,7 @@ memory_heap_t test_heap;]]></value>
</condition>
<various_code>
<setup_code>
- <value><![CDATA[chHeapObjectInit(&test_heap, test_buffer, sizeof(test_buffer));]]></value>
+ <value><![CDATA[chHeapObjectInit(&test_heap, test_heap_buffer, sizeof(test_heap_buffer));]]></value>
</setup_code>
<teardown_code>
<value />
@@ -1327,7 +757,7 @@ size_t n, sz;]]></value>
<value />
</tags>
<code>
- <value><![CDATA[p1 = chHeapAlloc(&test_heap, sizeof test_buffer * 2);
+ <value><![CDATA[p1 = chHeapAlloc(&test_heap, sizeof test_heap_buffer * 2);
test_assert(p1 == NULL, "allocation not failed");]]></value>
</code>
</step>
generated by cgit v1.2.3 (git 2.25.1) at 2025-04-13 07:50:18 +0000