forked from Imagelibrary/rtems
validation: Test User Extensions 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.
This commit is contained in:
Sebastian Huber
@@ -30,6 +30,8 @@ links:
|
||||
uid: performance-no-clock-0
|
||||
- role: build-dependency
|
||||
uid: terminate
|
||||
- role: build-dependency
|
||||
uid: userext
|
||||
- role: build-dependency
|
||||
uid: validation-0
|
||||
- role: build-dependency
|
||||
|
||||
20
spec/build/testsuites/validation/userext.yml
Normal file
20
spec/build/testsuites/validation/userext.yml
Normal file
@@ -0,0 +1,20 @@
|
||||
SPDX-License-Identifier: CC-BY-SA-4.0 OR BSD-2-Clause
|
||||
build-type: test-program
|
||||
cflags: []
|
||||
copyrights:
|
||||
- Copyright (C) 2021 embedded brains GmbH (http://www.embedded-brains.de)
|
||||
cppflags: []
|
||||
cxxflags: []
|
||||
enabled-by: true
|
||||
features: c cprogram
|
||||
includes: []
|
||||
ldflags: []
|
||||
links: []
|
||||
source:
|
||||
- testsuites/validation/tc-userext.c
|
||||
- testsuites/validation/ts-userext.c
|
||||
stlib: []
|
||||
target: testsuites/validation/ts-userext.exe
|
||||
type: build
|
||||
use-after: []
|
||||
use-before: []
|
||||
@@ -104,6 +104,9 @@ source:
|
||||
- testsuites/validation/tc-timer-reset.c
|
||||
- testsuites/validation/tc-timer-server-fire-after.c
|
||||
- testsuites/validation/tc-timer-server-fire-when.c
|
||||
- testsuites/validation/tc-userext-create.c
|
||||
- testsuites/validation/tc-userext-delete.c
|
||||
- testsuites/validation/tc-userext-ident.c
|
||||
- testsuites/validation/tr-event-constant.c
|
||||
- testsuites/validation/tr-mtx-seize-try.c
|
||||
- testsuites/validation/tr-mtx-seize-wait.c
|
||||
|
||||
610
testsuites/validation/tc-userext-create.c
Normal file
610
testsuites/validation/tc-userext-create.c
Normal file
@@ -0,0 +1,610 @@
|
||||
/* SPDX-License-Identifier: BSD-2-Clause */
|
||||
|
||||
/**
|
||||
* @file
|
||||
*
|
||||
* @ingroup RTEMSTestCaseRtemsUserextReqCreate
|
||||
*/
|
||||
|
||||
/*
|
||||
* 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 <string.h>
|
||||
|
||||
#include "tx-support.h"
|
||||
|
||||
#include <rtems/test.h>
|
||||
|
||||
/**
|
||||
* @defgroup RTEMSTestCaseRtemsUserextReqCreate spec:/rtems/userext/req/create
|
||||
*
|
||||
* @ingroup RTEMSTestSuiteTestsuitesValidationNoClock0
|
||||
*
|
||||
* @{
|
||||
*/
|
||||
|
||||
typedef enum {
|
||||
RtemsUserextReqCreate_Pre_Name_Valid,
|
||||
RtemsUserextReqCreate_Pre_Name_Invalid,
|
||||
RtemsUserextReqCreate_Pre_Name_NA
|
||||
} RtemsUserextReqCreate_Pre_Name;
|
||||
|
||||
typedef enum {
|
||||
RtemsUserextReqCreate_Pre_Id_Valid,
|
||||
RtemsUserextReqCreate_Pre_Id_Null,
|
||||
RtemsUserextReqCreate_Pre_Id_NA
|
||||
} RtemsUserextReqCreate_Pre_Id;
|
||||
|
||||
typedef enum {
|
||||
RtemsUserextReqCreate_Pre_Table_TdSw,
|
||||
RtemsUserextReqCreate_Pre_Table_NoTdSw,
|
||||
RtemsUserextReqCreate_Pre_Table_Null,
|
||||
RtemsUserextReqCreate_Pre_Table_NA
|
||||
} RtemsUserextReqCreate_Pre_Table;
|
||||
|
||||
typedef enum {
|
||||
RtemsUserextReqCreate_Pre_Free_Yes,
|
||||
RtemsUserextReqCreate_Pre_Free_No,
|
||||
RtemsUserextReqCreate_Pre_Free_NA
|
||||
} RtemsUserextReqCreate_Pre_Free;
|
||||
|
||||
typedef enum {
|
||||
RtemsUserextReqCreate_Post_Status_Ok,
|
||||
RtemsUserextReqCreate_Post_Status_InvName,
|
||||
RtemsUserextReqCreate_Post_Status_InvAddr,
|
||||
RtemsUserextReqCreate_Post_Status_TooMany,
|
||||
RtemsUserextReqCreate_Post_Status_NA
|
||||
} RtemsUserextReqCreate_Post_Status;
|
||||
|
||||
typedef enum {
|
||||
RtemsUserextReqCreate_Post_Name_Valid,
|
||||
RtemsUserextReqCreate_Post_Name_Invalid,
|
||||
RtemsUserextReqCreate_Post_Name_NA
|
||||
} RtemsUserextReqCreate_Post_Name;
|
||||
|
||||
typedef enum {
|
||||
RtemsUserextReqCreate_Post_IdVar_Set,
|
||||
RtemsUserextReqCreate_Post_IdVar_Nop,
|
||||
RtemsUserextReqCreate_Post_IdVar_NA
|
||||
} RtemsUserextReqCreate_Post_IdVar;
|
||||
|
||||
typedef struct {
|
||||
uint16_t Skip : 1;
|
||||
uint16_t Pre_Name_NA : 1;
|
||||
uint16_t Pre_Id_NA : 1;
|
||||
uint16_t Pre_Table_NA : 1;
|
||||
uint16_t Pre_Free_NA : 1;
|
||||
uint16_t Post_Status : 3;
|
||||
uint16_t Post_Name : 2;
|
||||
uint16_t Post_IdVar : 2;
|
||||
} RtemsUserextReqCreate_Entry;
|
||||
|
||||
/**
|
||||
* @brief Test context for spec:/rtems/userext/req/create test case.
|
||||
*/
|
||||
typedef struct {
|
||||
void *seized_objects;
|
||||
|
||||
rtems_extensions_table table_variable;;
|
||||
|
||||
rtems_id id_value;
|
||||
|
||||
rtems_name name;
|
||||
|
||||
rtems_extensions_table *table;;
|
||||
|
||||
rtems_id *id;
|
||||
|
||||
rtems_status_code status;
|
||||
|
||||
struct {
|
||||
/**
|
||||
* @brief This member defines the pre-condition states for the next action.
|
||||
*/
|
||||
size_t pcs[ 4 ];
|
||||
|
||||
/**
|
||||
* @brief If this member is true, then the test action loop is executed.
|
||||
*/
|
||||
bool in_action_loop;
|
||||
|
||||
/**
|
||||
* @brief This member contains the next transition map index.
|
||||
*/
|
||||
size_t index;
|
||||
|
||||
/**
|
||||
* @brief This member contains the current transition map entry.
|
||||
*/
|
||||
RtemsUserextReqCreate_Entry entry;
|
||||
|
||||
/**
|
||||
* @brief If this member is true, then the current transition variant
|
||||
* should be skipped.
|
||||
*/
|
||||
bool skip;
|
||||
} Map;
|
||||
} RtemsUserextReqCreate_Context;
|
||||
|
||||
static RtemsUserextReqCreate_Context
|
||||
RtemsUserextReqCreate_Instance;
|
||||
|
||||
static const char * const RtemsUserextReqCreate_PreDesc_Name[] = {
|
||||
"Valid",
|
||||
"Invalid",
|
||||
"NA"
|
||||
};
|
||||
|
||||
static const char * const RtemsUserextReqCreate_PreDesc_Id[] = {
|
||||
"Valid",
|
||||
"Null",
|
||||
"NA"
|
||||
};
|
||||
|
||||
static const char * const RtemsUserextReqCreate_PreDesc_Table[] = {
|
||||
"TdSw",
|
||||
"NoTdSw",
|
||||
"Null",
|
||||
"NA"
|
||||
};
|
||||
|
||||
static const char * const RtemsUserextReqCreate_PreDesc_Free[] = {
|
||||
"Yes",
|
||||
"No",
|
||||
"NA"
|
||||
};
|
||||
|
||||
static const char * const * const RtemsUserextReqCreate_PreDesc[] = {
|
||||
RtemsUserextReqCreate_PreDesc_Name,
|
||||
RtemsUserextReqCreate_PreDesc_Id,
|
||||
RtemsUserextReqCreate_PreDesc_Table,
|
||||
RtemsUserextReqCreate_PreDesc_Free,
|
||||
NULL
|
||||
};
|
||||
|
||||
#define NAME rtems_build_name( 'T', 'E', 'S', 'T' )
|
||||
|
||||
static rtems_status_code Create( void *arg, uint32_t *id )
|
||||
{
|
||||
static const rtems_extensions_table table;
|
||||
|
||||
return rtems_extension_create(
|
||||
rtems_build_name( 'S', 'I', 'Z', 'E' ),
|
||||
&table,
|
||||
id
|
||||
);
|
||||
}
|
||||
|
||||
static void ThreadSwitch( rtems_tcb *executing, rtems_tcb *heir)
|
||||
{
|
||||
(void) executing;
|
||||
(void) heir;
|
||||
}
|
||||
|
||||
static void RtemsUserextReqCreate_Pre_Name_Prepare(
|
||||
RtemsUserextReqCreate_Context *ctx,
|
||||
RtemsUserextReqCreate_Pre_Name state
|
||||
)
|
||||
{
|
||||
switch ( state ) {
|
||||
case RtemsUserextReqCreate_Pre_Name_Valid: {
|
||||
/*
|
||||
* While the ``name`` parameter is valid.
|
||||
*/
|
||||
ctx->name = NAME;
|
||||
break;
|
||||
}
|
||||
|
||||
case RtemsUserextReqCreate_Pre_Name_Invalid: {
|
||||
/*
|
||||
* While the ``name`` parameter is invalid.
|
||||
*/
|
||||
ctx->name = 0;
|
||||
break;
|
||||
}
|
||||
|
||||
case RtemsUserextReqCreate_Pre_Name_NA:
|
||||
break;
|
||||
}
|
||||
}
|
||||
|
||||
static void RtemsUserextReqCreate_Pre_Id_Prepare(
|
||||
RtemsUserextReqCreate_Context *ctx,
|
||||
RtemsUserextReqCreate_Pre_Id state
|
||||
)
|
||||
{
|
||||
switch ( state ) {
|
||||
case RtemsUserextReqCreate_Pre_Id_Valid: {
|
||||
/*
|
||||
* While the ``id`` parameter references an object of type rtems_id.
|
||||
*/
|
||||
ctx->id = &ctx->id_value;
|
||||
break;
|
||||
}
|
||||
|
||||
case RtemsUserextReqCreate_Pre_Id_Null: {
|
||||
/*
|
||||
* While the ``id`` parameter is NULL.
|
||||
*/
|
||||
ctx->id = NULL;
|
||||
break;
|
||||
}
|
||||
|
||||
case RtemsUserextReqCreate_Pre_Id_NA:
|
||||
break;
|
||||
}
|
||||
}
|
||||
|
||||
static void RtemsUserextReqCreate_Pre_Table_Prepare(
|
||||
RtemsUserextReqCreate_Context *ctx,
|
||||
RtemsUserextReqCreate_Pre_Table state
|
||||
)
|
||||
{
|
||||
switch ( state ) {
|
||||
case RtemsUserextReqCreate_Pre_Table_TdSw: {
|
||||
/*
|
||||
* While the ``extension_table`` parameter references an object of type
|
||||
* rtems_extensions_table, while all extensions except the thread switch
|
||||
* extension of the referenced object are set to NULL or the address of a
|
||||
* corresponding extension, while the thread switch extension of the
|
||||
* referenced object is set to the address of a thread switch extension.
|
||||
*/
|
||||
ctx->table = &ctx->table_variable;
|
||||
ctx->table_variable.thread_switch = ThreadSwitch;
|
||||
break;
|
||||
}
|
||||
|
||||
case RtemsUserextReqCreate_Pre_Table_NoTdSw: {
|
||||
/*
|
||||
* While the ``extension_table`` parameter references an object of type
|
||||
* rtems_id, while all extensions except the thread switch extension of
|
||||
* the referenced object are set to NULL or the address of a
|
||||
* corresponding extension, while the thread switch extension of the
|
||||
* referenced object is set to NULL.
|
||||
*/
|
||||
ctx->table = &ctx->table_variable;
|
||||
ctx->table_variable.thread_switch = NULL;
|
||||
break;
|
||||
}
|
||||
|
||||
case RtemsUserextReqCreate_Pre_Table_Null: {
|
||||
/*
|
||||
* While the ``extension_table`` parameter is NULL.
|
||||
*/
|
||||
ctx->table = NULL;
|
||||
break;
|
||||
}
|
||||
|
||||
case RtemsUserextReqCreate_Pre_Table_NA:
|
||||
break;
|
||||
}
|
||||
}
|
||||
|
||||
static void RtemsUserextReqCreate_Pre_Free_Prepare(
|
||||
RtemsUserextReqCreate_Context *ctx,
|
||||
RtemsUserextReqCreate_Pre_Free state
|
||||
)
|
||||
{
|
||||
switch ( state ) {
|
||||
case RtemsUserextReqCreate_Pre_Free_Yes: {
|
||||
/*
|
||||
* While the system has at least one inactive extension set object
|
||||
* available.
|
||||
*/
|
||||
/* Nothing to do */
|
||||
break;
|
||||
}
|
||||
|
||||
case RtemsUserextReqCreate_Pre_Free_No: {
|
||||
/*
|
||||
* While the system has no inactive extension set object available.
|
||||
*/
|
||||
ctx->seized_objects = T_seize_objects( Create, NULL );
|
||||
break;
|
||||
}
|
||||
|
||||
case RtemsUserextReqCreate_Pre_Free_NA:
|
||||
break;
|
||||
}
|
||||
}
|
||||
|
||||
static void RtemsUserextReqCreate_Post_Status_Check(
|
||||
RtemsUserextReqCreate_Context *ctx,
|
||||
RtemsUserextReqCreate_Post_Status state
|
||||
)
|
||||
{
|
||||
switch ( state ) {
|
||||
case RtemsUserextReqCreate_Post_Status_Ok: {
|
||||
/*
|
||||
* The return status of rtems_extension_create() shall be
|
||||
* RTEMS_SUCCESSFUL.
|
||||
*/
|
||||
T_rsc_success( ctx->status );
|
||||
break;
|
||||
}
|
||||
|
||||
case RtemsUserextReqCreate_Post_Status_InvName: {
|
||||
/*
|
||||
* The return status of rtems_extension_create() shall be
|
||||
* RTEMS_INVALID_NAME.
|
||||
*/
|
||||
T_rsc( ctx->status, RTEMS_INVALID_NAME );
|
||||
break;
|
||||
}
|
||||
|
||||
case RtemsUserextReqCreate_Post_Status_InvAddr: {
|
||||
/*
|
||||
* The return status of rtems_extension_create() shall be
|
||||
* RTEMS_INVALID_ADDRESS.
|
||||
*/
|
||||
T_rsc( ctx->status, RTEMS_INVALID_ADDRESS );
|
||||
break;
|
||||
}
|
||||
|
||||
case RtemsUserextReqCreate_Post_Status_TooMany: {
|
||||
/*
|
||||
* The return status of rtems_extension_create() shall be RTEMS_TOO_MANY.
|
||||
*/
|
||||
T_rsc( ctx->status, RTEMS_TOO_MANY );
|
||||
break;
|
||||
}
|
||||
|
||||
case RtemsUserextReqCreate_Post_Status_NA:
|
||||
break;
|
||||
}
|
||||
}
|
||||
|
||||
static void RtemsUserextReqCreate_Post_Name_Check(
|
||||
RtemsUserextReqCreate_Context *ctx,
|
||||
RtemsUserextReqCreate_Post_Name state
|
||||
)
|
||||
{
|
||||
rtems_status_code sc;
|
||||
rtems_id id;
|
||||
|
||||
switch ( state ) {
|
||||
case RtemsUserextReqCreate_Post_Name_Valid: {
|
||||
/*
|
||||
* The unique object name shall identify the extension set created by the
|
||||
* rtems_extension_create() call.
|
||||
*/
|
||||
id = 0;
|
||||
sc = rtems_extension_ident( NAME, &id );
|
||||
T_rsc_success( sc );
|
||||
T_eq_u32( id, ctx->id_value );
|
||||
break;
|
||||
}
|
||||
|
||||
case RtemsUserextReqCreate_Post_Name_Invalid: {
|
||||
/*
|
||||
* The unique object name shall not identify an extension set.
|
||||
*/
|
||||
sc = rtems_extension_ident( NAME, &id );
|
||||
T_rsc( sc, RTEMS_INVALID_NAME );
|
||||
break;
|
||||
}
|
||||
|
||||
case RtemsUserextReqCreate_Post_Name_NA:
|
||||
break;
|
||||
}
|
||||
}
|
||||
|
||||
static void RtemsUserextReqCreate_Post_IdVar_Check(
|
||||
RtemsUserextReqCreate_Context *ctx,
|
||||
RtemsUserextReqCreate_Post_IdVar state
|
||||
)
|
||||
{
|
||||
switch ( state ) {
|
||||
case RtemsUserextReqCreate_Post_IdVar_Set: {
|
||||
/*
|
||||
* The value of the object referenced by the ``extension_table``
|
||||
* parameter shall be set to the object identifier of the created
|
||||
* extension set after the return of the rtems_extension_create() call.
|
||||
*/
|
||||
T_eq_ptr( ctx->id, &ctx->id_value );
|
||||
T_ne_u32( ctx->id_value, INVALID_ID );
|
||||
break;
|
||||
}
|
||||
|
||||
case RtemsUserextReqCreate_Post_IdVar_Nop: {
|
||||
/*
|
||||
* Objects referenced by the ``extension_table`` parameter in past calls
|
||||
* to rtems_extension_create() shall not be accessed by the
|
||||
* rtems_extension_create() call.
|
||||
*/
|
||||
T_eq_u32( ctx->id_value, INVALID_ID );
|
||||
break;
|
||||
}
|
||||
|
||||
case RtemsUserextReqCreate_Post_IdVar_NA:
|
||||
break;
|
||||
}
|
||||
}
|
||||
|
||||
static void RtemsUserextReqCreate_Setup( RtemsUserextReqCreate_Context *ctx )
|
||||
{
|
||||
memset( ctx, 0, sizeof( *ctx ) );
|
||||
ctx->id_value = INVALID_ID;
|
||||
}
|
||||
|
||||
static void RtemsUserextReqCreate_Setup_Wrap( void *arg )
|
||||
{
|
||||
RtemsUserextReqCreate_Context *ctx;
|
||||
|
||||
ctx = arg;
|
||||
ctx->Map.in_action_loop = false;
|
||||
RtemsUserextReqCreate_Setup( ctx );
|
||||
}
|
||||
|
||||
static void RtemsUserextReqCreate_Action( RtemsUserextReqCreate_Context *ctx )
|
||||
{
|
||||
ctx->status = rtems_extension_create( ctx->name, ctx->table, ctx->id );
|
||||
}
|
||||
|
||||
static void RtemsUserextReqCreate_Cleanup( RtemsUserextReqCreate_Context *ctx )
|
||||
{
|
||||
if ( ctx->id_value != INVALID_ID ) {
|
||||
rtems_status_code sc;
|
||||
|
||||
sc = rtems_extension_delete( ctx->id_value );
|
||||
T_rsc_success( sc );
|
||||
|
||||
ctx->id_value = INVALID_ID;
|
||||
}
|
||||
|
||||
T_surrender_objects( &ctx->seized_objects, rtems_extension_delete );
|
||||
}
|
||||
|
||||
static const RtemsUserextReqCreate_Entry
|
||||
RtemsUserextReqCreate_Entries[] = {
|
||||
{ 0, 0, 0, 0, 0, RtemsUserextReqCreate_Post_Status_InvName,
|
||||
RtemsUserextReqCreate_Post_Name_Invalid,
|
||||
RtemsUserextReqCreate_Post_IdVar_Nop },
|
||||
{ 0, 0, 0, 0, 0, RtemsUserextReqCreate_Post_Status_InvAddr,
|
||||
RtemsUserextReqCreate_Post_Name_Invalid,
|
||||
RtemsUserextReqCreate_Post_IdVar_Nop },
|
||||
{ 0, 0, 0, 0, 0, RtemsUserextReqCreate_Post_Status_Ok,
|
||||
RtemsUserextReqCreate_Post_Name_Valid, RtemsUserextReqCreate_Post_IdVar_Set },
|
||||
{ 0, 0, 0, 0, 0, RtemsUserextReqCreate_Post_Status_TooMany,
|
||||
RtemsUserextReqCreate_Post_Name_Invalid,
|
||||
RtemsUserextReqCreate_Post_IdVar_Nop }
|
||||
};
|
||||
|
||||
static const uint8_t
|
||||
RtemsUserextReqCreate_Map[] = {
|
||||
2, 3, 2, 3, 1, 1, 1, 1, 1, 1, 1, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0
|
||||
};
|
||||
|
||||
static size_t RtemsUserextReqCreate_Scope( void *arg, char *buf, size_t n )
|
||||
{
|
||||
RtemsUserextReqCreate_Context *ctx;
|
||||
|
||||
ctx = arg;
|
||||
|
||||
if ( ctx->Map.in_action_loop ) {
|
||||
return T_get_scope( RtemsUserextReqCreate_PreDesc, buf, n, ctx->Map.pcs );
|
||||
}
|
||||
|
||||
return 0;
|
||||
}
|
||||
|
||||
static T_fixture RtemsUserextReqCreate_Fixture = {
|
||||
.setup = RtemsUserextReqCreate_Setup_Wrap,
|
||||
.stop = NULL,
|
||||
.teardown = NULL,
|
||||
.scope = RtemsUserextReqCreate_Scope,
|
||||
.initial_context = &RtemsUserextReqCreate_Instance
|
||||
};
|
||||
|
||||
static inline RtemsUserextReqCreate_Entry RtemsUserextReqCreate_PopEntry(
|
||||
RtemsUserextReqCreate_Context *ctx
|
||||
)
|
||||
{
|
||||
size_t index;
|
||||
|
||||
index = ctx->Map.index;
|
||||
ctx->Map.index = index + 1;
|
||||
return RtemsUserextReqCreate_Entries[
|
||||
RtemsUserextReqCreate_Map[ index ]
|
||||
];
|
||||
}
|
||||
|
||||
static void RtemsUserextReqCreate_TestVariant(
|
||||
RtemsUserextReqCreate_Context *ctx
|
||||
)
|
||||
{
|
||||
RtemsUserextReqCreate_Pre_Name_Prepare( ctx, ctx->Map.pcs[ 0 ] );
|
||||
RtemsUserextReqCreate_Pre_Id_Prepare( ctx, ctx->Map.pcs[ 1 ] );
|
||||
RtemsUserextReqCreate_Pre_Table_Prepare( ctx, ctx->Map.pcs[ 2 ] );
|
||||
RtemsUserextReqCreate_Pre_Free_Prepare( ctx, ctx->Map.pcs[ 3 ] );
|
||||
RtemsUserextReqCreate_Action( ctx );
|
||||
RtemsUserextReqCreate_Post_Status_Check( ctx, ctx->Map.entry.Post_Status );
|
||||
RtemsUserextReqCreate_Post_Name_Check( ctx, ctx->Map.entry.Post_Name );
|
||||
RtemsUserextReqCreate_Post_IdVar_Check( ctx, ctx->Map.entry.Post_IdVar );
|
||||
}
|
||||
|
||||
/**
|
||||
* @fn void T_case_body_RtemsUserextReqCreate( void )
|
||||
*/
|
||||
T_TEST_CASE_FIXTURE( RtemsUserextReqCreate, &RtemsUserextReqCreate_Fixture )
|
||||
{
|
||||
RtemsUserextReqCreate_Context *ctx;
|
||||
|
||||
ctx = T_fixture_context();
|
||||
ctx->Map.in_action_loop = true;
|
||||
ctx->Map.index = 0;
|
||||
|
||||
for (
|
||||
ctx->Map.pcs[ 0 ] = RtemsUserextReqCreate_Pre_Name_Valid;
|
||||
ctx->Map.pcs[ 0 ] < RtemsUserextReqCreate_Pre_Name_NA;
|
||||
++ctx->Map.pcs[ 0 ]
|
||||
) {
|
||||
for (
|
||||
ctx->Map.pcs[ 1 ] = RtemsUserextReqCreate_Pre_Id_Valid;
|
||||
ctx->Map.pcs[ 1 ] < RtemsUserextReqCreate_Pre_Id_NA;
|
||||
++ctx->Map.pcs[ 1 ]
|
||||
) {
|
||||
for (
|
||||
ctx->Map.pcs[ 2 ] = RtemsUserextReqCreate_Pre_Table_TdSw;
|
||||
ctx->Map.pcs[ 2 ] < RtemsUserextReqCreate_Pre_Table_NA;
|
||||
++ctx->Map.pcs[ 2 ]
|
||||
) {
|
||||
for (
|
||||
ctx->Map.pcs[ 3 ] = RtemsUserextReqCreate_Pre_Free_Yes;
|
||||
ctx->Map.pcs[ 3 ] < RtemsUserextReqCreate_Pre_Free_NA;
|
||||
++ctx->Map.pcs[ 3 ]
|
||||
) {
|
||||
ctx->Map.entry = RtemsUserextReqCreate_PopEntry( ctx );
|
||||
RtemsUserextReqCreate_TestVariant( ctx );
|
||||
RtemsUserextReqCreate_Cleanup( ctx );
|
||||
}
|
||||
}
|
||||
}
|
||||
}
|
||||
}
|
||||
|
||||
/** @} */
|
||||
387
testsuites/validation/tc-userext-delete.c
Normal file
387
testsuites/validation/tc-userext-delete.c
Normal file
@@ -0,0 +1,387 @@
|
||||
/* SPDX-License-Identifier: BSD-2-Clause */
|
||||
|
||||
/**
|
||||
* @file
|
||||
*
|
||||
* @ingroup RTEMSTestCaseRtemsUserextReqDelete
|
||||
*/
|
||||
|
||||
/*
|
||||
* 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 <string.h>
|
||||
|
||||
#include <rtems/test.h>
|
||||
|
||||
/**
|
||||
* @defgroup RTEMSTestCaseRtemsUserextReqDelete spec:/rtems/userext/req/delete
|
||||
*
|
||||
* @ingroup RTEMSTestSuiteTestsuitesValidationNoClock0
|
||||
*
|
||||
* @{
|
||||
*/
|
||||
|
||||
typedef enum {
|
||||
RtemsUserextReqDelete_Pre_Id_NoObj,
|
||||
RtemsUserextReqDelete_Pre_Id_ExtTdSw,
|
||||
RtemsUserextReqDelete_Pre_Id_ExtNoTdSw,
|
||||
RtemsUserextReqDelete_Pre_Id_NA
|
||||
} RtemsUserextReqDelete_Pre_Id;
|
||||
|
||||
typedef enum {
|
||||
RtemsUserextReqDelete_Post_Status_Ok,
|
||||
RtemsUserextReqDelete_Post_Status_InvId,
|
||||
RtemsUserextReqDelete_Post_Status_NA
|
||||
} RtemsUserextReqDelete_Post_Status;
|
||||
|
||||
typedef enum {
|
||||
RtemsUserextReqDelete_Post_Name_Valid,
|
||||
RtemsUserextReqDelete_Post_Name_Invalid,
|
||||
RtemsUserextReqDelete_Post_Name_NA
|
||||
} RtemsUserextReqDelete_Post_Name;
|
||||
|
||||
typedef struct {
|
||||
uint8_t Skip : 1;
|
||||
uint8_t Pre_Id_NA : 1;
|
||||
uint8_t Post_Status : 2;
|
||||
uint8_t Post_Name : 2;
|
||||
} RtemsUserextReqDelete_Entry;
|
||||
|
||||
/**
|
||||
* @brief Test context for spec:/rtems/userext/req/delete test case.
|
||||
*/
|
||||
typedef struct {
|
||||
rtems_id extension_id;
|
||||
|
||||
rtems_extensions_table table;
|
||||
|
||||
rtems_id id;
|
||||
|
||||
rtems_status_code status;
|
||||
|
||||
struct {
|
||||
/**
|
||||
* @brief This member defines the pre-condition states for the next action.
|
||||
*/
|
||||
size_t pcs[ 1 ];
|
||||
|
||||
/**
|
||||
* @brief If this member is true, then the test action loop is executed.
|
||||
*/
|
||||
bool in_action_loop;
|
||||
|
||||
/**
|
||||
* @brief This member contains the next transition map index.
|
||||
*/
|
||||
size_t index;
|
||||
|
||||
/**
|
||||
* @brief This member contains the current transition map entry.
|
||||
*/
|
||||
RtemsUserextReqDelete_Entry entry;
|
||||
|
||||
/**
|
||||
* @brief If this member is true, then the current transition variant
|
||||
* should be skipped.
|
||||
*/
|
||||
bool skip;
|
||||
} Map;
|
||||
} RtemsUserextReqDelete_Context;
|
||||
|
||||
static RtemsUserextReqDelete_Context
|
||||
RtemsUserextReqDelete_Instance;
|
||||
|
||||
static const char * const RtemsUserextReqDelete_PreDesc_Id[] = {
|
||||
"NoObj",
|
||||
"ExtTdSw",
|
||||
"ExtNoTdSw",
|
||||
"NA"
|
||||
};
|
||||
|
||||
static const char * const * const RtemsUserextReqDelete_PreDesc[] = {
|
||||
RtemsUserextReqDelete_PreDesc_Id,
|
||||
NULL
|
||||
};
|
||||
|
||||
#define NAME rtems_build_name( 'T', 'E', 'S', 'T' )
|
||||
|
||||
static void ThreadSwitch( rtems_tcb *executing, rtems_tcb *heir)
|
||||
{
|
||||
(void) executing;
|
||||
(void) heir;
|
||||
}
|
||||
|
||||
static void RtemsUserextReqDelete_Pre_Id_Prepare(
|
||||
RtemsUserextReqDelete_Context *ctx,
|
||||
RtemsUserextReqDelete_Pre_Id state
|
||||
)
|
||||
{
|
||||
rtems_status_code sc;
|
||||
bool valid_id;
|
||||
|
||||
valid_id = false;
|
||||
|
||||
switch ( state ) {
|
||||
case RtemsUserextReqDelete_Pre_Id_NoObj: {
|
||||
/*
|
||||
* While the ``id`` parameter is not associated with an extension set.
|
||||
*/
|
||||
/* Already set by prologue */
|
||||
break;
|
||||
}
|
||||
|
||||
case RtemsUserextReqDelete_Pre_Id_ExtTdSw: {
|
||||
/*
|
||||
* While the ``id`` parameter is associated with an extension set with a
|
||||
* thread switch extension.
|
||||
*/
|
||||
valid_id = true;
|
||||
ctx->table.thread_switch = ThreadSwitch;
|
||||
break;
|
||||
}
|
||||
|
||||
case RtemsUserextReqDelete_Pre_Id_ExtNoTdSw: {
|
||||
/*
|
||||
* While the ``id`` parameter is associated with an extension set without
|
||||
* a thread switch extension.
|
||||
*/
|
||||
valid_id = true;
|
||||
ctx->table.thread_switch = NULL;
|
||||
break;
|
||||
}
|
||||
|
||||
case RtemsUserextReqDelete_Pre_Id_NA:
|
||||
break;
|
||||
}
|
||||
|
||||
sc = rtems_extension_create(
|
||||
NAME,
|
||||
&ctx->table,
|
||||
&ctx->extension_id
|
||||
);
|
||||
T_rsc_success( sc );
|
||||
|
||||
if ( valid_id ) {
|
||||
ctx->id = ctx->extension_id;
|
||||
} else {
|
||||
ctx->id = 0;
|
||||
}
|
||||
}
|
||||
|
||||
static void RtemsUserextReqDelete_Post_Status_Check(
|
||||
RtemsUserextReqDelete_Context *ctx,
|
||||
RtemsUserextReqDelete_Post_Status state
|
||||
)
|
||||
{
|
||||
switch ( state ) {
|
||||
case RtemsUserextReqDelete_Post_Status_Ok: {
|
||||
/*
|
||||
* The return status of rtems_extension_delete() shall be
|
||||
* RTEMS_SUCCESSFUL.
|
||||
*/
|
||||
ctx->extension_id = 0;
|
||||
T_rsc_success( ctx->status );
|
||||
break;
|
||||
}
|
||||
|
||||
case RtemsUserextReqDelete_Post_Status_InvId: {
|
||||
/*
|
||||
* The return status of rtems_extension_delete() shall be
|
||||
* RTEMS_INVALID_ID.
|
||||
*/
|
||||
T_rsc( ctx->status, RTEMS_INVALID_ID );
|
||||
break;
|
||||
}
|
||||
|
||||
case RtemsUserextReqDelete_Post_Status_NA:
|
||||
break;
|
||||
}
|
||||
}
|
||||
|
||||
static void RtemsUserextReqDelete_Post_Name_Check(
|
||||
RtemsUserextReqDelete_Context *ctx,
|
||||
RtemsUserextReqDelete_Post_Name state
|
||||
)
|
||||
{
|
||||
rtems_status_code sc;
|
||||
rtems_id id;
|
||||
|
||||
switch ( state ) {
|
||||
case RtemsUserextReqDelete_Post_Name_Valid: {
|
||||
/*
|
||||
* The unique object name shall identify an extension set.
|
||||
*/
|
||||
id = 0;
|
||||
sc = rtems_extension_ident( NAME, &id );
|
||||
T_rsc_success( sc );
|
||||
T_eq_u32( id, ctx->extension_id );
|
||||
break;
|
||||
}
|
||||
|
||||
case RtemsUserextReqDelete_Post_Name_Invalid: {
|
||||
/*
|
||||
* The unique object name shall not identify an extension set.
|
||||
*/
|
||||
sc = rtems_extension_ident( NAME, &id );
|
||||
T_rsc( sc, RTEMS_INVALID_NAME );
|
||||
break;
|
||||
}
|
||||
|
||||
case RtemsUserextReqDelete_Post_Name_NA:
|
||||
break;
|
||||
}
|
||||
}
|
||||
|
||||
static void RtemsUserextReqDelete_Setup( RtemsUserextReqDelete_Context *ctx )
|
||||
{
|
||||
memset( ctx, 0, sizeof( *ctx ) );
|
||||
}
|
||||
|
||||
static void RtemsUserextReqDelete_Setup_Wrap( void *arg )
|
||||
{
|
||||
RtemsUserextReqDelete_Context *ctx;
|
||||
|
||||
ctx = arg;
|
||||
ctx->Map.in_action_loop = false;
|
||||
RtemsUserextReqDelete_Setup( ctx );
|
||||
}
|
||||
|
||||
static void RtemsUserextReqDelete_Action( RtemsUserextReqDelete_Context *ctx )
|
||||
{
|
||||
ctx->status = rtems_extension_delete( ctx->id );
|
||||
}
|
||||
|
||||
static void RtemsUserextReqDelete_Cleanup( RtemsUserextReqDelete_Context *ctx )
|
||||
{
|
||||
if ( ctx->extension_id != 0 ) {
|
||||
rtems_status_code sc;
|
||||
|
||||
sc = rtems_extension_delete( ctx->extension_id );
|
||||
T_rsc_success( sc );
|
||||
}
|
||||
}
|
||||
|
||||
static const RtemsUserextReqDelete_Entry
|
||||
RtemsUserextReqDelete_Entries[] = {
|
||||
{ 0, 0, RtemsUserextReqDelete_Post_Status_Ok,
|
||||
RtemsUserextReqDelete_Post_Name_Invalid },
|
||||
{ 0, 0, RtemsUserextReqDelete_Post_Status_InvId,
|
||||
RtemsUserextReqDelete_Post_Name_Valid }
|
||||
};
|
||||
|
||||
static const uint8_t
|
||||
RtemsUserextReqDelete_Map[] = {
|
||||
1, 0, 0
|
||||
};
|
||||
|
||||
static size_t RtemsUserextReqDelete_Scope( void *arg, char *buf, size_t n )
|
||||
{
|
||||
RtemsUserextReqDelete_Context *ctx;
|
||||
|
||||
ctx = arg;
|
||||
|
||||
if ( ctx->Map.in_action_loop ) {
|
||||
return T_get_scope( RtemsUserextReqDelete_PreDesc, buf, n, ctx->Map.pcs );
|
||||
}
|
||||
|
||||
return 0;
|
||||
}
|
||||
|
||||
static T_fixture RtemsUserextReqDelete_Fixture = {
|
||||
.setup = RtemsUserextReqDelete_Setup_Wrap,
|
||||
.stop = NULL,
|
||||
.teardown = NULL,
|
||||
.scope = RtemsUserextReqDelete_Scope,
|
||||
.initial_context = &RtemsUserextReqDelete_Instance
|
||||
};
|
||||
|
||||
static inline RtemsUserextReqDelete_Entry RtemsUserextReqDelete_PopEntry(
|
||||
RtemsUserextReqDelete_Context *ctx
|
||||
)
|
||||
{
|
||||
size_t index;
|
||||
|
||||
index = ctx->Map.index;
|
||||
ctx->Map.index = index + 1;
|
||||
return RtemsUserextReqDelete_Entries[
|
||||
RtemsUserextReqDelete_Map[ index ]
|
||||
];
|
||||
}
|
||||
|
||||
static void RtemsUserextReqDelete_TestVariant(
|
||||
RtemsUserextReqDelete_Context *ctx
|
||||
)
|
||||
{
|
||||
RtemsUserextReqDelete_Pre_Id_Prepare( ctx, ctx->Map.pcs[ 0 ] );
|
||||
RtemsUserextReqDelete_Action( ctx );
|
||||
RtemsUserextReqDelete_Post_Status_Check( ctx, ctx->Map.entry.Post_Status );
|
||||
RtemsUserextReqDelete_Post_Name_Check( ctx, ctx->Map.entry.Post_Name );
|
||||
}
|
||||
|
||||
/**
|
||||
* @fn void T_case_body_RtemsUserextReqDelete( void )
|
||||
*/
|
||||
T_TEST_CASE_FIXTURE( RtemsUserextReqDelete, &RtemsUserextReqDelete_Fixture )
|
||||
{
|
||||
RtemsUserextReqDelete_Context *ctx;
|
||||
|
||||
ctx = T_fixture_context();
|
||||
ctx->Map.in_action_loop = true;
|
||||
ctx->Map.index = 0;
|
||||
|
||||
for (
|
||||
ctx->Map.pcs[ 0 ] = RtemsUserextReqDelete_Pre_Id_NoObj;
|
||||
ctx->Map.pcs[ 0 ] < RtemsUserextReqDelete_Pre_Id_NA;
|
||||
++ctx->Map.pcs[ 0 ]
|
||||
) {
|
||||
ctx->Map.entry = RtemsUserextReqDelete_PopEntry( ctx );
|
||||
RtemsUserextReqDelete_TestVariant( ctx );
|
||||
RtemsUserextReqDelete_Cleanup( ctx );
|
||||
}
|
||||
}
|
||||
|
||||
/** @} */
|
||||
116
testsuites/validation/tc-userext-ident.c
Normal file
116
testsuites/validation/tc-userext-ident.c
Normal file
@@ -0,0 +1,116 @@
|
||||
/* SPDX-License-Identifier: BSD-2-Clause */
|
||||
|
||||
/**
|
||||
* @file
|
||||
*
|
||||
* @ingroup RTEMSTestCaseRtemsUserextValIdent
|
||||
*/
|
||||
|
||||
/*
|
||||
* Copyright (C) 2020 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 "tr-object-ident-local.h"
|
||||
|
||||
#include <rtems/test.h>
|
||||
|
||||
/**
|
||||
* @defgroup RTEMSTestCaseRtemsUserextValIdent spec:/rtems/userext/val/ident
|
||||
*
|
||||
* @ingroup RTEMSTestSuiteTestsuitesValidationNoClock0
|
||||
*
|
||||
* @brief Test the rtems_extension_ident() directive.
|
||||
*
|
||||
* This test case performs the following actions:
|
||||
*
|
||||
* - Run the generic object identification tests for Classic API user extension
|
||||
* class objects defined by /rtems/req/ident-local.
|
||||
*
|
||||
* @{
|
||||
*/
|
||||
|
||||
static rtems_status_code ClassicUserExtIdentAction(
|
||||
rtems_name name,
|
||||
rtems_id *id
|
||||
)
|
||||
{
|
||||
return rtems_extension_ident( name, id );
|
||||
}
|
||||
|
||||
/**
|
||||
* @brief Run the generic object identification tests for Classic API user
|
||||
* extension class objects defined by /rtems/req/ident-local.
|
||||
*/
|
||||
static void RtemsUserextValIdent_Action_0( void )
|
||||
{
|
||||
static const rtems_extensions_table table;
|
||||
rtems_status_code sc;
|
||||
rtems_id id_local_object;
|
||||
|
||||
sc = rtems_extension_create(
|
||||
ClassicObjectLocalIdentName,
|
||||
&table,
|
||||
&id_local_object
|
||||
);
|
||||
T_assert_rsc_success( sc );
|
||||
|
||||
RtemsReqIdentLocal_Run(
|
||||
id_local_object,
|
||||
ClassicUserExtIdentAction
|
||||
);
|
||||
|
||||
sc = rtems_extension_delete( id_local_object );
|
||||
T_rsc_success( sc );
|
||||
}
|
||||
|
||||
/**
|
||||
* @fn void T_case_body_RtemsUserextValIdent( void )
|
||||
*/
|
||||
T_TEST_CASE( RtemsUserextValIdent )
|
||||
{
|
||||
RtemsUserextValIdent_Action_0();
|
||||
}
|
||||
|
||||
/** @} */
|
||||
97
testsuites/validation/ts-userext.c
Normal file
97
testsuites/validation/ts-userext.c
Normal file
@@ -0,0 +1,97 @@
|
||||
/* SPDX-License-Identifier: BSD-2-Clause */
|
||||
|
||||
/**
|
||||
* @file
|
||||
*
|
||||
* @ingroup RTEMSTestSuiteTestsuitesUserext
|
||||
*/
|
||||
|
||||
/*
|
||||
* 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 "tc-userext.h"
|
||||
|
||||
#include <rtems/test.h>
|
||||
|
||||
/**
|
||||
* @defgroup RTEMSTestSuiteTestsuitesUserext spec:/testsuites/userext
|
||||
*
|
||||
* @ingroup RTEMSTestSuites
|
||||
*
|
||||
* @brief This validation test suite contains a test cases related to the
|
||||
* invocation of user extensions.
|
||||
*
|
||||
* @{
|
||||
*/
|
||||
|
||||
const char rtems_test_name[] = "Userext";
|
||||
|
||||
#define CONFIGURE_MAXIMUM_PROCESSORS 2
|
||||
|
||||
#define CONFIGURE_INITIAL_EXTENSIONS \
|
||||
{ \
|
||||
.thread_begin = ThreadBeginExtension0, \
|
||||
.thread_create = ThreadCreateExtension0, \
|
||||
.thread_delete = ThreadDeleteExtension0, \
|
||||
.thread_exitted = ThreadExittedExtension0, \
|
||||
.thread_restart = ThreadRestartExtension0, \
|
||||
.thread_start = ThreadStartExtension0, \
|
||||
.thread_switch = ThreadSwitchExtension0, \
|
||||
.thread_terminate = ThreadTerminateExtension0 \
|
||||
}, { \
|
||||
.thread_begin = ThreadBeginExtension1, \
|
||||
.thread_create = ThreadCreateExtension1, \
|
||||
.thread_delete = ThreadDeleteExtension1, \
|
||||
.thread_exitted = ThreadExittedExtension1, \
|
||||
.thread_restart = ThreadRestartExtension1, \
|
||||
.thread_start = ThreadStartExtension1, \
|
||||
.thread_switch = ThreadSwitchExtension1, \
|
||||
.thread_terminate = ThreadTerminateExtension1 \
|
||||
}
|
||||
|
||||
#include "ts-default.h"
|
||||
|
||||
/** @} */
|
||||
Reference in New Issue
Block a user