diff options
author | Sebastian Huber <sebastian.huber@embedded-brains.de> | 2021-11-17 20:09:04 +0100 |
---|---|---|
committer | Sebastian Huber <sebastian.huber@embedded-brains.de> | 2021-11-23 15:18:38 +0100 |
commit | 19eb8cacc35179fce1605dedb4487b5e738d3d52 (patch) | |
tree | af3076c059ebf35e8f8f6fc814cb766830cba9fe | |
parent | 50d539bc12a71a79260c4dc22e0785d64e3594c2 (diff) |
validation: Signals
-rw-r--r-- | spec/build/testsuites/validation/validation-0.yml | 2 | ||||
-rw-r--r-- | testsuites/validation/tc-signals.c | 133 | ||||
-rw-r--r-- | testsuites/validation/tr-signal-constant.c | 150 | ||||
-rw-r--r-- | testsuites/validation/tr-signal-constant.h | 81 |
4 files changed, 366 insertions, 0 deletions
diff --git a/spec/build/testsuites/validation/validation-0.yml b/spec/build/testsuites/validation/validation-0.yml index e2061b37c8..ae2269da7a 100644 --- a/spec/build/testsuites/validation/validation-0.yml +++ b/spec/build/testsuites/validation/validation-0.yml @@ -77,6 +77,7 @@ source: - testsuites/validation/tc-sem-obtain.c - testsuites/validation/tc-sem-release.c - testsuites/validation/tc-sem-set-priority.c +- testsuites/validation/tc-signals.c - testsuites/validation/tc-signal-catch.c - testsuites/validation/tc-signal-send.c - testsuites/validation/tc-status.c @@ -119,6 +120,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/testsuites/validation/tc-signals.c b/testsuites/validation/tc-signals.c new file mode 100644 index 0000000000..de6a1d3ad8 --- /dev/null +++ b/testsuites/validation/tc-signals.c @@ -0,0 +1,133 @@ +/* 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 RTEMSTestSuiteTestsuitesValidation0 + * + * @brief Tests the Signal Manager API. + * + * This test case performs the following actions: + * + * - Run the signal constant and number 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 constant and number 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..58e30da14f --- /dev/null +++ b/testsuites/validation/tr-signal-constant.c @@ -0,0 +1,150 @@ +/* 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 RTEMSTestSuiteTestsuitesValidation0 + * + * @brief Tests an signal constant and number of the Signal Manager using the + * Classic and system signal sets of the executing task. + * + * This test case performs the following actions: + * + * - Validate the signal constant. + * + * - Check that the signal constant is equal to the signal number bit in the + * signal set. + * + * @{ + */ + +/** + * @brief Test context for spec:/rtems/signal/val/signal-constant test case. + */ +typedef struct { + /** + * @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; + +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 signal number bit in the + * signal set. + */ + T_step_eq_u32( + 0, + ctx->signal, + ( (rtems_signal_set) 1 ) << ctx->number + ); +} + +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( 1 ); + + RtemsSignalValSignalConstant_Action_0( 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 */ |