diff options
Diffstat (limited to '')
| -rw-r--r-- | testsuites/validation/tc-acfg-default.c | 398 |
1 files changed, 398 insertions, 0 deletions
diff --git a/testsuites/validation/tc-acfg-default.c b/testsuites/validation/tc-acfg-default.c new file mode 100644 index 0000000000..bc23363c49 --- /dev/null +++ b/testsuites/validation/tc-acfg-default.c @@ -0,0 +1,398 @@ +/* SPDX-License-Identifier: BSD-2-Clause */ + +/** + * @file + * + * @ingroup AcfgValDefault + */ + +/* + * Copyright (C) 2021 embedded brains GmbH & Co. KG + * + * Redistribution and use in source and binary forms, with or without + * modification, are permitted provided that the following conditions + * are met: + * 1. Redistributions of source code must retain the above copyright + * notice, this list of conditions and the following disclaimer. + * 2. Redistributions in binary form must reproduce the above copyright + * notice, this list of conditions and the following disclaimer in the + * documentation and/or other materials provided with the distribution. + * + * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS" + * AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE + * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE + * ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT OWNER OR CONTRIBUTORS BE + * LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR + * CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF + * SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS + * INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN + * CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) + * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE + * POSSIBILITY OF SUCH DAMAGE. + */ + +/* + * This file is part of the RTEMS quality process and was automatically + * generated. If you find something that needs to be fixed or + * worded better please post a report or patch to an RTEMS mailing list + * or raise a bug report: + * + * https://www.rtems.org/bugs.html + * + * For information on updating and regenerating please refer to the How-To + * section in the Software Requirements Engineering chapter of the + * RTEMS Software Engineering manual. The manual is provided as a part of + * a release. For development sources please refer to the online + * documentation at: + * + * https://docs.rtems.org + */ + +#ifdef HAVE_CONFIG_H +#include "config.h" +#endif + +#include <bsp.h> +#include <string.h> +#include <rtems/score/userextdata.h> + +#include "tx-support.h" + +#include <rtems/test.h> + +/** + * @defgroup AcfgValDefault spec:/acfg/val/default + * + * @ingroup TestsuitesValidationAcfg0 + * + * @brief Tests the default values of application configuration options. + * + * This test case performs the following actions: + * + * - Check the effect of application configuration options with optional + * BSP-provided settings. + * + * - Check the configured CONFIGURE_IDLE_TASK_BODY. + * + * - Check the default value of CONFIGURE_IDLE_TASK_STACK_SIZE where the + * optional BSP-provided default value is enabled. + * + * - Check the default value of CONFIGURE_INTERRUPT_STACK_SIZE where the + * optional BSP-provided default value is enabled. + * + * - Check the BSP-provided initial extension is registered. + * + * - Try to create a barrier. + * + * - Check that the returned status code is RTEMS_TOO_MANY. + * + * - Try to construct a message queue. + * + * - Check that the returned status code is RTEMS_TOO_MANY. + * + * - Try to create a partition. + * + * - Check that the returned status code is RTEMS_TOO_MANY. + * + * - Try to create a period. + * + * - Check that the returned status code is RTEMS_TOO_MANY. + * + * - Check that the processor maximum is one. + * + * - Try to create a semaphore. + * + * - Check that the returned status code is RTEMS_TOO_MANY. + * + * - Try to construct a task. + * + * - Check that the returned status code is RTEMS_TOO_MANY. + * + * - Check the default CONFIGURE_MAXIMUM_TASKS value. A maximum Classic API + * task value of zero is only configurable if + * CONFIGURE_IDLE_TASK_INITIALIZES_APPLICATION is defined or + * CONFIGURE_MAXIMUM_POSIX_THREADS is set to a positive value. The default + * value of zero for CONFIGURE_MAXIMUM_POSIX_THREADS is used by the test + * suite containing the test case. The test suite defines + * CONFIGURE_IDLE_TASK_INITIALIZES_APPLICATION. + * + * - Try to create a timer. + * + * - Check that the returned status code is RTEMS_TOO_MANY. + * + * - Try to create a user extension set. + * + * - Check that the returned status code is RTEMS_TOO_MANY. + * + * @{ + */ + +#define NAME rtems_build_name( 'N', 'A', 'M', 'E' ) + +RTEMS_ALIGNED(RTEMS_TASK_STORAGE_ALIGNMENT) static char task_storage[ + RTEMS_TASK_STORAGE_SIZE( + RTEMS_MINIMUM_STACK_SIZE, + RTEMS_DEFAULT_ATTRIBUTES + ) +]; + +static const rtems_task_config task_config = { + .name = NAME, + .initial_priority = 1, + .storage_area = task_storage, + .storage_size = sizeof( task_storage ), + .maximum_thread_local_storage_size = 0, + .initial_modes = RTEMS_DEFAULT_MODES, + .attributes = RTEMS_DEFAULT_ATTRIBUTES +}; + +/** + * @brief Check the effect of application configuration options with optional + * BSP-provided settings. + */ +static void AcfgValDefault_Action_0( void ) +{ + rtems_extensions_table bsp = BSP_INITIAL_EXTENSION; + + /* + * Check the configured CONFIGURE_IDLE_TASK_BODY. + */ + T_step_eq_ptr( 0, rtems_configuration_get_idle_task(), IdleBody ); + + /* + * Check the default value of CONFIGURE_IDLE_TASK_STACK_SIZE where the + * optional BSP-provided default value is enabled. + */ + T_step_eq_sz( + 1, + rtems_configuration_get_idle_task_stack_size(), + #if defined(BSP_IDLE_TASK_STACK_SIZE) + BSP_IDLE_TASK_STACK_SIZE + #else + CPU_STACK_MINIMUM_SIZE + #endif + ); + + /* + * Check the default value of CONFIGURE_INTERRUPT_STACK_SIZE where the + * optional BSP-provided default value is enabled. + */ + T_step_eq_sz( + 2, + rtems_configuration_get_interrupt_stack_size(), + #if defined(BSP_INTERRUPT_STACK_SIZE) + BSP_INTERRUPT_STACK_SIZE + #else + CPU_STACK_MINIMUM_SIZE + #endif + ); + + /* + * Check the BSP-provided initial extension is registered. + */ + T_step_eq_sz( 3, _User_extensions_Initial_count, 1 ); + T_step_eq_ptr( + 4, + _User_extensions_Initial_extensions[ 0 ].fatal, + bsp.fatal + ); +} + +/** + * @brief Try to create a barrier. + */ +static void AcfgValDefault_Action_1( void ) +{ + rtems_status_code sc; + rtems_id id; + + sc = rtems_barrier_create( + NAME, + RTEMS_DEFAULT_ATTRIBUTES, + 1, + &id + ); + + /* + * Check that the returned status code is RTEMS_TOO_MANY. + */ + T_step_rsc( 5, sc, RTEMS_TOO_MANY ); +} + +/** + * @brief Try to construct a message queue. + */ +static void AcfgValDefault_Action_2( void ) +{ + rtems_message_queue_config config; + RTEMS_MESSAGE_QUEUE_BUFFER( 1 ) buffers[ 1 ]; + rtems_status_code sc; + rtems_id id; + + memset( &config, 0, sizeof( config ) ); + config.name = NAME; + config.maximum_pending_messages = 1; + config.maximum_message_size = 1; + config.storage_size = sizeof( buffers ); + config.storage_area = buffers; + config.attributes = RTEMS_DEFAULT_ATTRIBUTES; + + sc = rtems_message_queue_construct( &config, &id ); + + /* + * Check that the returned status code is RTEMS_TOO_MANY. + */ + T_step_rsc( 6, sc, RTEMS_TOO_MANY ); +} + +/** + * @brief Try to create a partition. + */ +static void AcfgValDefault_Action_3( void ) +{ + RTEMS_ALIGNED( RTEMS_PARTITION_ALIGNMENT ) uint8_t buffers[ 1 ][ 32 ]; + rtems_status_code sc; + rtems_id id; + + sc = rtems_partition_create( + NAME, + buffers, + sizeof( buffers ), + sizeof( buffers[ 0 ] ), + RTEMS_DEFAULT_ATTRIBUTES, + &id + ); + + /* + * Check that the returned status code is RTEMS_TOO_MANY. + */ + T_step_rsc( 7, sc, RTEMS_TOO_MANY ); +} + +/** + * @brief Try to create a period. + */ +static void AcfgValDefault_Action_4( void ) +{ + rtems_status_code sc; + rtems_id id; + + sc = rtems_rate_monotonic_create( NAME, &id ); + + /* + * Check that the returned status code is RTEMS_TOO_MANY. + */ + T_step_rsc( 8, sc, RTEMS_TOO_MANY ); +} + +/** + * @brief Check that the processor maximum is one. + */ +static void AcfgValDefault_Action_5( void ) +{ + T_step_eq_u32( 9, rtems_scheduler_get_processor_maximum(), 1 ); +} + +/** + * @brief Try to create a semaphore. + */ +static void AcfgValDefault_Action_6( void ) +{ + rtems_status_code sc; + rtems_id id; + + sc = rtems_semaphore_create( + NAME, + 0, + RTEMS_DEFAULT_ATTRIBUTES, + 0, + &id + ); + + /* + * Check that the returned status code is RTEMS_TOO_MANY. + */ + T_step_rsc( 10, sc, RTEMS_TOO_MANY ); +} + +/** + * @brief Try to construct a task. + */ +static void AcfgValDefault_Action_7( void ) +{ + rtems_status_code sc; + rtems_id id; + + sc = rtems_task_construct( &task_config, &id ); + + /* + * Check that the returned status code is RTEMS_TOO_MANY. + */ + T_step_rsc( 11, sc, RTEMS_TOO_MANY ); + + /* + * Check the default CONFIGURE_MAXIMUM_TASKS value. A maximum Classic API + * task value of zero is only configurable if + * CONFIGURE_IDLE_TASK_INITIALIZES_APPLICATION is defined or + * CONFIGURE_MAXIMUM_POSIX_THREADS is set to a positive value. The default + * value of zero for CONFIGURE_MAXIMUM_POSIX_THREADS is used by the test + * suite containing the test case. The test suite defines + * CONFIGURE_IDLE_TASK_INITIALIZES_APPLICATION. + */ + T_step_eq_u32( 12, rtems_configuration_get_maximum_tasks(), 0 ); +} + +/** + * @brief Try to create a timer. + */ +static void AcfgValDefault_Action_8( void ) +{ + rtems_status_code sc; + rtems_id id; + + sc = rtems_timer_create( NAME, &id ); + + /* + * Check that the returned status code is RTEMS_TOO_MANY. + */ + T_step_rsc( 13, sc, RTEMS_TOO_MANY ); +} + +/** + * @brief Try to create a user extension set. + */ +static void AcfgValDefault_Action_9( void ) +{ + rtems_extensions_table table; + rtems_status_code sc; + rtems_id id; + + memset( &table, 0, sizeof( table ) ); + sc = rtems_extension_create( NAME, &table, &id ); + + /* + * Check that the returned status code is RTEMS_TOO_MANY. + */ + T_step_rsc( 14, sc, RTEMS_TOO_MANY ); +} + +/** + * @fn void T_case_body_AcfgValDefault( void ) + */ +T_TEST_CASE( AcfgValDefault ) +{ + T_plan( 15 ); + + AcfgValDefault_Action_0(); + AcfgValDefault_Action_1(); + AcfgValDefault_Action_2(); + AcfgValDefault_Action_3(); + AcfgValDefault_Action_4(); + AcfgValDefault_Action_5(); + AcfgValDefault_Action_6(); + AcfgValDefault_Action_7(); + AcfgValDefault_Action_8(); + AcfgValDefault_Action_9(); +} + +/** @} */ |