diff options
author | Sebastian Huber <sebastian.huber@embedded-brains.de> | 2021-09-07 13:56:42 +0200 |
---|---|---|
committer | Sebastian Huber <sebastian.huber@embedded-brains.de> | 2022-03-24 11:10:49 +0100 |
commit | 32e472a7656d1eaebc22b22e99859e1247a89041 (patch) | |
tree | a9dc9876ac92769892d98b4f06e3dc475301d09a | |
parent | 43adf2ed59175fcdd1201730f0b17e739d8032e4 (diff) |
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.
-rw-r--r-- | spec/build/testsuites/validation/validation-0.yml | 2 | ||||
-rw-r--r-- | spec/build/testsuites/validation/validation-1.yml | 2 | ||||
-rw-r--r-- | spec/build/testsuites/validation/validation-no-clock-0.yml | 4 | ||||
-rw-r--r-- | spec/build/testsuites/validation/validation-one-cpu-0.yml | 2 | ||||
-rw-r--r-- | testsuites/validation/tc-signal-catch.c | 4 | ||||
-rw-r--r-- | testsuites/validation/tc-signal-send.c | 6 | ||||
-rw-r--r-- | testsuites/validation/tc-signals.c | 134 | ||||
-rw-r--r-- | testsuites/validation/tr-signal-constant.c | 200 | ||||
-rw-r--r-- | testsuites/validation/tr-signal-constant.h | 81 |
9 files changed, 427 insertions, 8 deletions
diff --git a/spec/build/testsuites/validation/validation-0.yml b/spec/build/testsuites/validation/validation-0.yml index 6419717479..b56f031b4c 100644 --- a/spec/build/testsuites/validation/validation-0.yml +++ b/spec/build/testsuites/validation/validation-0.yml @@ -14,8 +14,6 @@ source: - testsuites/validation/tc-acfg-appl-needs-clock-driver.c - testsuites/validation/tc-event-send-receive.c - testsuites/validation/tc-object.c -- testsuites/validation/tc-signal-catch.c -- testsuites/validation/tc-signal-send.c - testsuites/validation/tc-task-construct-errors.c - testsuites/validation/tc-task-create-errors.c - testsuites/validation/tr-event-send-receive.c diff --git a/spec/build/testsuites/validation/validation-1.yml b/spec/build/testsuites/validation/validation-1.yml index 8a98f8b382..e98a5b86f6 100644 --- a/spec/build/testsuites/validation/validation-1.yml +++ b/spec/build/testsuites/validation/validation-1.yml @@ -11,8 +11,6 @@ includes: [] ldflags: [] links: [] source: -- testsuites/validation/tc-signal-catch.c -- testsuites/validation/tc-signal-send.c - testsuites/validation/tc-task-construct-errors.c - testsuites/validation/tc-task-create-errors.c - testsuites/validation/ts-validation-1.c diff --git a/spec/build/testsuites/validation/validation-no-clock-0.yml b/spec/build/testsuites/validation/validation-no-clock-0.yml index 0910669521..a90366900c 100644 --- a/spec/build/testsuites/validation/validation-no-clock-0.yml +++ b/spec/build/testsuites/validation/validation-no-clock-0.yml @@ -70,6 +70,9 @@ source: - testsuites/validation/tc-sem-release.c - testsuites/validation/tc-sem-set-priority.c - testsuites/validation/tc-sem-timeout.c +- testsuites/validation/tc-signal-catch.c +- testsuites/validation/tc-signals.c +- testsuites/validation/tc-signal-send.c - testsuites/validation/tr-event-constant.c - testsuites/validation/tr-mtx-seize-try.c - testsuites/validation/tr-mtx-seize-wait.c @@ -79,6 +82,7 @@ source: - testsuites/validation/tr-sem-seize-try.c - testsuites/validation/tr-sem-seize-wait.c - testsuites/validation/tr-sem-surrender.c +- testsuites/validation/tr-signal-constant.c - testsuites/validation/tr-tq-enqueue-ceiling.c - testsuites/validation/tr-tq-enqueue-deadlock.c - testsuites/validation/tr-tq-enqueue-fifo.c diff --git a/spec/build/testsuites/validation/validation-one-cpu-0.yml b/spec/build/testsuites/validation/validation-one-cpu-0.yml index d6518c33cd..bcea57fee9 100644 --- a/spec/build/testsuites/validation/validation-one-cpu-0.yml +++ b/spec/build/testsuites/validation/validation-one-cpu-0.yml @@ -19,6 +19,8 @@ source: - testsuites/validation/tc-ratemon-timeout.c - testsuites/validation/tc-sem-delete.c - testsuites/validation/tc-sem-uni.c +- testsuites/validation/tc-signal-catch.c +- testsuites/validation/tc-signal-send.c - testsuites/validation/tc-score-fatal.c - testsuites/validation/ts-validation-one-cpu-0.c stlib: [] 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 <rtems.h> + +#include "tr-signal-constant.h" + +#include <rtems/test.h> + +/** + * @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 <rtems.h> + +#include "tr-signal-constant.h" + +#include <rtems/test.h> + +/** + * @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 <rtems.h> + +#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 */ |