From 32e472a7656d1eaebc22b22e99859e1247a89041 Mon Sep 17 00:00:00 2001 From: Sebastian Huber Date: Tue, 7 Sep 2021 13:56:42 +0200 Subject: validation: Test Signal Manager The test source code is generated from specification items by the "./spec2modules.py" script contained in the git://git.rtems.org/rtems-central.git Git repository. Please read the "How-To" section in the "Software Requirements Engineering" chapter of the RTEMS Software Engineering manual to get more information about the process. Update #3716. --- testsuites/validation/tc-signal-catch.c | 4 +- testsuites/validation/tc-signal-send.c | 6 +- testsuites/validation/tc-signals.c | 134 +++++++++++++++++++ testsuites/validation/tr-signal-constant.c | 200 +++++++++++++++++++++++++++++ testsuites/validation/tr-signal-constant.h | 81 ++++++++++++ 5 files changed, 421 insertions(+), 4 deletions(-) create mode 100644 testsuites/validation/tc-signals.c create mode 100644 testsuites/validation/tr-signal-constant.c create mode 100644 testsuites/validation/tr-signal-constant.h (limited to 'testsuites/validation') diff --git a/testsuites/validation/tc-signal-catch.c b/testsuites/validation/tc-signal-catch.c index 45482fc5a5..3618290443 100644 --- a/testsuites/validation/tc-signal-catch.c +++ b/testsuites/validation/tc-signal-catch.c @@ -63,8 +63,8 @@ /** * @defgroup RTEMSTestCaseRtemsSignalReqCatch spec:/rtems/signal/req/catch * - * @ingroup RTEMSTestSuiteTestsuitesValidation0 - * @ingroup RTEMSTestSuiteTestsuitesValidation1 + * @ingroup RTEMSTestSuiteTestsuitesValidationNoClock0 + * @ingroup RTEMSTestSuiteTestsuitesValidationOneCpu0 * * @{ */ diff --git a/testsuites/validation/tc-signal-send.c b/testsuites/validation/tc-signal-send.c index d884cdf230..e6efbfd7cf 100644 --- a/testsuites/validation/tc-signal-send.c +++ b/testsuites/validation/tc-signal-send.c @@ -61,8 +61,8 @@ /** * @defgroup RTEMSTestCaseRtemsSignalReqSend spec:/rtems/signal/req/send * - * @ingroup RTEMSTestSuiteTestsuitesValidation0 - * @ingroup RTEMSTestSuiteTestsuitesValidation1 + * @ingroup RTEMSTestSuiteTestsuitesValidationNoClock0 + * @ingroup RTEMSTestSuiteTestsuitesValidationOneCpu0 * * @{ */ @@ -723,8 +723,10 @@ static void RtemsSignalReqSend_Action( RtemsSignalReqSend_Context *ctx ) if ( ctx->id == ctx->worker_id ) { SendEventsToWorker( ctx, EVENT_START ); + StartDelayThreadDispatch( 1 ); ctx->status = rtems_signal_send( ctx->id, ctx->signal_set ); ctx->calls_after_send = ctx->handler_calls; + StopDelayThreadDispatch( 1 ); SendEventsToWorker( ctx, EVENT_SEND_DONE ); ctx->calls_after_dispatch = ctx->handler_calls; diff --git a/testsuites/validation/tc-signals.c b/testsuites/validation/tc-signals.c new file mode 100644 index 0000000000..86ae17e018 --- /dev/null +++ b/testsuites/validation/tc-signals.c @@ -0,0 +1,134 @@ +/* SPDX-License-Identifier: BSD-2-Clause */ + +/** + * @file + * + * @ingroup RTEMSTestCaseRtemsSignalValSignals + */ + +/* + * Copyright (C) 2021 embedded brains GmbH (http://www.embedded-brains.de) + * + * 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 + +#include "tr-signal-constant.h" + +#include + +/** + * @defgroup RTEMSTestCaseRtemsSignalValSignals spec:/rtems/signal/val/signals + * + * @ingroup RTEMSTestSuiteTestsuitesValidationNoClock0 + * + * @brief This test case collection provides validation test cases for the @ref + * RTEMSAPIClassicSignal. + * + * This test case performs the following actions: + * + * - Run the signal test for all 32 signal constants. + * + * @{ + */ + +static const rtems_signal_set signals[] = { + RTEMS_SIGNAL_0, + RTEMS_SIGNAL_1, + RTEMS_SIGNAL_2, + RTEMS_SIGNAL_3, + RTEMS_SIGNAL_4, + RTEMS_SIGNAL_5, + RTEMS_SIGNAL_6, + RTEMS_SIGNAL_7, + RTEMS_SIGNAL_8, + RTEMS_SIGNAL_9, + RTEMS_SIGNAL_10, + RTEMS_SIGNAL_11, + RTEMS_SIGNAL_12, + RTEMS_SIGNAL_13, + RTEMS_SIGNAL_14, + RTEMS_SIGNAL_15, + RTEMS_SIGNAL_16, + RTEMS_SIGNAL_17, + RTEMS_SIGNAL_18, + RTEMS_SIGNAL_19, + RTEMS_SIGNAL_20, + RTEMS_SIGNAL_21, + RTEMS_SIGNAL_22, + RTEMS_SIGNAL_23, + RTEMS_SIGNAL_24, + RTEMS_SIGNAL_25, + RTEMS_SIGNAL_26, + RTEMS_SIGNAL_27, + RTEMS_SIGNAL_28, + RTEMS_SIGNAL_29, + RTEMS_SIGNAL_30, + RTEMS_SIGNAL_31 +}; + +/** + * @brief Run the signal test for all 32 signal constants. + */ +static void RtemsSignalValSignals_Action_0( void ) +{ + unsigned int i; + + for ( i = 0; i < 32; ++i ) { + RtemsSignalValSignalConstant_Run( signals[ i ], i ); + T_step( i ); /* Accounts for 32 test plan steps */ + } +} + +/** + * @fn void T_case_body_RtemsSignalValSignals( void ) + */ +T_TEST_CASE( RtemsSignalValSignals ) +{ + T_plan( 32 ); + + RtemsSignalValSignals_Action_0(); +} + +/** @} */ diff --git a/testsuites/validation/tr-signal-constant.c b/testsuites/validation/tr-signal-constant.c new file mode 100644 index 0000000000..323f977272 --- /dev/null +++ b/testsuites/validation/tr-signal-constant.c @@ -0,0 +1,200 @@ +/* SPDX-License-Identifier: BSD-2-Clause */ + +/** + * @file + * + * @ingroup RTEMSTestCaseRtemsSignalValSignalConstant + */ + +/* + * Copyright (C) 2021 embedded brains GmbH (http://www.embedded-brains.de) + * + * 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 + +#include "tr-signal-constant.h" + +#include + +/** + * @defgroup RTEMSTestCaseRtemsSignalValSignalConstant \ + * spec:/rtems/signal/val/signal-constant + * + * @ingroup RTEMSTestSuiteTestsuitesValidationNoClock0 + * + * @brief Tests a signal constant of the @ref RTEMSAPIClassicSignal using the + * signal set of the executing task. + * + * This test case performs the following actions: + * + * - Validate the signal constant. + * + * - Check that the signal constant is equal to the integer representation of + * the signal in the signal set. + * + * - Validate the signal delivery. + * + * - Check that the caught signal set represents exactly the sent signal. + * + * @{ + */ + +/** + * @brief Test context for spec:/rtems/signal/val/signal-constant test case. + */ +typedef struct { + /** + * @brief This member contains the caught signal set. + */ + rtems_signal_set signal_set; + + /** + * @brief This member contains a copy of the corresponding + * RtemsSignalValSignalConstant_Run() parameter. + */ + rtems_signal_set signal; + + /** + * @brief This member contains a copy of the corresponding + * RtemsSignalValSignalConstant_Run() parameter. + */ + int number; +} RtemsSignalValSignalConstant_Context; + +static RtemsSignalValSignalConstant_Context + RtemsSignalValSignalConstant_Instance; + +typedef RtemsSignalValSignalConstant_Context Context; + +static void SignalHandler( rtems_signal_set signal_set ) +{ + Context *ctx; + + ctx = T_fixture_context(); + ctx->signal_set = signal_set; +} + +static T_fixture RtemsSignalValSignalConstant_Fixture = { + .setup = NULL, + .stop = NULL, + .teardown = NULL, + .scope = NULL, + .initial_context = &RtemsSignalValSignalConstant_Instance +}; + +/** + * @brief Validate the signal constant. + */ +static void RtemsSignalValSignalConstant_Action_0( + RtemsSignalValSignalConstant_Context *ctx +) +{ + /* No action */ + + /* + * Check that the signal constant is equal to the integer representation of + * the signal in the signal set. + */ + T_step_eq_u32( + 0, + ctx->signal, + ( (rtems_signal_set) 1 ) << ctx->number + ); +} + +/** + * @brief Validate the signal delivery. + */ +static void RtemsSignalValSignalConstant_Action_1( + RtemsSignalValSignalConstant_Context *ctx +) +{ + rtems_status_code sc; + + ctx->signal_set = 0; + + sc = rtems_signal_catch( NULL, RTEMS_DEFAULT_MODES ); + T_step_rsc_success( 1, sc ); + + sc = rtems_signal_catch( SignalHandler, RTEMS_NO_ASR ); + T_step_rsc_success( 2, sc ); + + sc = rtems_signal_send( RTEMS_SELF, ctx->signal ); + T_step_rsc_success( 3, sc ); + + /* + * Check that the caught signal set represents exactly the sent signal. + */ + T_step_eq_u32( + 4, + ctx->signal_set, + ctx->signal + ); +} + +static T_fixture_node RtemsSignalValSignalConstant_Node; + +void RtemsSignalValSignalConstant_Run( rtems_signal_set signal, int number ) +{ + RtemsSignalValSignalConstant_Context *ctx; + + ctx = &RtemsSignalValSignalConstant_Instance; + ctx->signal = signal; + ctx->number = number; + + ctx = T_push_fixture( + &RtemsSignalValSignalConstant_Node, + &RtemsSignalValSignalConstant_Fixture + ); + + T_plan( 5 ); + + RtemsSignalValSignalConstant_Action_0( ctx ); + RtemsSignalValSignalConstant_Action_1( ctx ); + + T_pop_fixture(); +} + +/** @} */ diff --git a/testsuites/validation/tr-signal-constant.h b/testsuites/validation/tr-signal-constant.h new file mode 100644 index 0000000000..99b43f159b --- /dev/null +++ b/testsuites/validation/tr-signal-constant.h @@ -0,0 +1,81 @@ +/* SPDX-License-Identifier: BSD-2-Clause */ + +/** + * @file + * + * @ingroup RTEMSTestCaseRtemsSignalValSignalConstant + */ + +/* + * Copyright (C) 2021 embedded brains GmbH (http://www.embedded-brains.de) + * + * 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 + */ + +#ifndef _TR_SIGNAL_CONSTANT_H +#define _TR_SIGNAL_CONSTANT_H + +#include + +#ifdef __cplusplus +extern "C" { +#endif + +/** + * @addtogroup RTEMSTestCaseRtemsSignalValSignalConstant + * + * @{ + */ + +/** + * @brief Runs the parameterized test case. + * + * @param signal is the signal constant. + * + * @param number is the signal number. + */ +void RtemsSignalValSignalConstant_Run( rtems_signal_set signal, int number ); + +/** @} */ + +#ifdef __cplusplus +} +#endif + +#endif /* _TR_SIGNAL_CONSTANT_H */ -- cgit v1.2.3