Skip to content

Functional test add priority inherit test cases #57

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Open
wants to merge 9 commits into
base: smp-dev-functional-test
Choose a base branch
from
Open

Functional test add priority inherit test cases #57

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
9 commits
Select commit Hold shift + click to select a range
4a9d4b2
Add priority inherit and disinerit test cases
chinglee-iot Apr 12, 2023
fdf5cbd
Add the test cases in single priority no timeslice test group
chinglee-iot Apr 14, 2023
ee57094
Update kernel submodule
chinglee-iot Apr 14, 2023
c269d47
Adding the coverage test for priority inherit and disinherit
chinglee-iot Apr 14, 2023
37fc638
Add coverage test for prvSearchForNameWithinSingleList
chinglee-iot Apr 17, 2023
c357970
Add priority check
chinglee-iot Apr 19, 2023
ec52650
Merge branch 'jzarr-new-tests' into add-priority-inheritance-timeout-…
chinglee-iot Apr 25, 2023
6b07dd7
Merge remote-tracking branch 'origin/add-priority-inheritance-timeout…
chinglee-iot Apr 26, 2023
f48d23a
Merge branch 'function-test-sync-main' into functional-test-add-prior…
chinglee-iot Apr 26, 2023
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
198 changes: 198 additions & 0 deletions .../CMock/smp/multiple_priorities_no_timeslice/covg_multiple_priorities_no_timeslice_utest.c
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -3901,6 +3901,103 @@ void test_coverage_xTaskPriorityInherit_task_uxpriority_greater( void )
TEST_ASSERT_EQUAL( xTaskTCBs[ 1 ].xStateListItem.pvContainer, &pxReadyTasksLists[ xTaskTCBs[ 1 ].uxPriority ] );
}

/**
* @brief xTaskPriorityInherit - task is already running.
* A running task inherit a high priority task. Verify that the priority is raised.
*
* <b>Coverage</b>
* @code{c}
* ...
* if( taskTASK_IS_RUNNING( pxMutexHolderTCB ) != pdTRUE )
* {
* prvYieldForTask( pxMutexHolderTCB );
* }
* @endcode
* ( taskTASK_IS_RUNNING( pxMutexHolderTCB ) != pdTRUE ) is false.
*/
void test_coverage_xTaskPriorityInherit_task_is_running( void )
{
TCB_t xTaskTCBs[ configNUMBER_OF_CORES ] = { NULL };
uint32_t i;

/* Setup the variables and structure. */
/* Create high priority task on core 1 ~ N-1. */
for( i = 0; i < ( configNUMBER_OF_CORES - 1 ); i++ )
{
vCreateStaticTestTask( &xTaskTCBs[ i ],
2,
i,
pdFALSE );
xTaskTCBs[ i ].xStateListItem.pxContainer = &pxReadyTasksLists[ 2 ];
listINSERT_END( &pxReadyTasksLists[ 2 ], &xTaskTCBs[ i ].xStateListItem );
pxCurrentTCBs[ i ] = &xTaskTCBs[ i ];
}

/* Create a low priority task on last core. */
vCreateStaticTestTask( &xTaskTCBs[ i ],
1,
i,
pdFALSE );
xTaskTCBs[ i ].xStateListItem.pxContainer = &pxReadyTasksLists[ 1 ];
listINSERT_END( &pxReadyTasksLists[ 1 ], &xTaskTCBs[ i ].xStateListItem );
pxCurrentTCBs[ i ] = &xTaskTCBs[ i ];

/* API call. */
xTaskPriorityInherit( &xTaskTCBs[ ( configNUMBER_OF_CORES - 1 ) ] );

/* Validation. */
/* Verify the priority of the task is raised. */
TEST_ASSERT_EQUAL( 2, xTaskTCBs[ ( configNUMBER_OF_CORES - 1 ) ].uxPriority );
}

/**
* @brief xTaskPriorityInherit - task is of invalid running state.
* A running task inherit a high priority task. Verify that the priority is raised.
*
* <b>Coverage</b>
* @code{c}
* ...
* if( taskTASK_IS_RUNNING( pxMutexHolderTCB ) != pdTRUE )
* {
* prvYieldForTask( pxMutexHolderTCB );
* }
* @endcode
* ( taskTASK_IS_RUNNING( pxMutexHolderTCB ) != pdTRUE ) is true.
*/
void test_coverage_xTaskPriorityInherit_task_invalid_state( void )
{
TCB_t xTaskTCBs[ configNUMBER_OF_CORES + 1 ] = { NULL };
uint32_t i;

/* Setup the variables and structure. */
/* Create high priority task on core 1 ~ N-1. */
for( i = 0; i < configNUMBER_OF_CORES; i++ )
{
vCreateStaticTestTask( &xTaskTCBs[ i ],
2,
i,
pdFALSE );
xTaskTCBs[ i ].xStateListItem.pxContainer = &pxReadyTasksLists[ 2 ];
listINSERT_END( &pxReadyTasksLists[ 2 ], &xTaskTCBs[ i ].xStateListItem );
pxCurrentTCBs[ i ] = &xTaskTCBs[ i ];
}

/* Create a low priority task on last core. */
vCreateStaticTestTask( &xTaskTCBs[ i ],
1,
configNUMBER_OF_CORES,
pdFALSE );
xTaskTCBs[ i ].xStateListItem.pxContainer = &pxReadyTasksLists[ 1 ];
listINSERT_END( &pxReadyTasksLists[ 1 ], &xTaskTCBs[ i ].xStateListItem );

/* API call. */
xTaskPriorityInherit( &xTaskTCBs[ configNUMBER_OF_CORES ] );

/* Validation. */
/* The task in pending ready list should not in any event list now. */
TEST_ASSERT_EQUAL( 2, xTaskTCBs[ configNUMBER_OF_CORES ].uxPriority );
}

/**
* @brief xTaskPriorityDisinherit - restore priority after inheriting the priority of the mutex holder
*
Expand Down Expand Up @@ -4041,6 +4138,56 @@ void test_coverage_xTaskPriorityDisinherit_task_uxpriority_greater( void )
TEST_ASSERT_EQUAL( xTaskTCBs[ 1 ].xStateListItem.pvContainer, &pxReadyTasksLists[ xTaskTCBs[ 1 ].uxPriority ] );
}

/**
* @brief xTaskPriorityDisinherit - task is of invalid running state.
* The task disinherits a high priority task. Verify that the priority of the disinherited
* task is dropped to base priority.
*
* <b>Coverage</b>
* @code{c}
* ...
* if( taskTASK_IS_RUNNING( pxTCB ) == pdTRUE )
* {
* prvYieldCore( pxTCB->xTaskRunState );
* }
* @endcode
* ( taskTASK_IS_RUNNING( pxTCB ) == pdTRUE ) is false.
*/
void test_coverage_xTaskPriorityDisinherit_task_invalid_state( void )
{
TCB_t xTaskTCBs[ configNUMBER_OF_CORES + 1 ] = { NULL };
uint32_t i;

/* Setup the variables and structure. */
/* Create high priority task on core 1 ~ N-1. */
for( i = 0; i < configNUMBER_OF_CORES; i++ )
{
vCreateStaticTestTask( &xTaskTCBs[ i ],
2,
i,
pdFALSE );
xTaskTCBs[ i ].xStateListItem.pxContainer = &pxReadyTasksLists[ 2 ];
listINSERT_END( &pxReadyTasksLists[ 2 ], &xTaskTCBs[ i ].xStateListItem );
}

/* Create a low priority task on last core. */
vCreateStaticTestTask( &xTaskTCBs[ i ],
2,
configNUMBER_OF_CORES,
pdFALSE );
xTaskTCBs[ i ].xStateListItem.pxContainer = &pxReadyTasksLists[ 2 ];
listINSERT_END( &pxReadyTasksLists[ 2 ], &xTaskTCBs[ i ].xStateListItem );
xTaskTCBs[ i ].uxMutexesHeld = 1;
xTaskTCBs[ i ].uxBasePriority = 1;

/* API call. */
xTaskPriorityDisinherit( &xTaskTCBs[ configNUMBER_OF_CORES ] );

/* Validation. */
/* The priority of the task is dropped to base priority. */
TEST_ASSERT_EQUAL( xTaskTCBs[ i ].uxBasePriority, xTaskTCBs[ configNUMBER_OF_CORES ].uxPriority );
}

/**
* @brief xTaskPriorityDisinheritAfterTimeout - restore priority after inheriting the priority of the mutex holder
*
Expand Down Expand Up @@ -4175,6 +4322,57 @@ void test_coverage_xTaskPriorityDisinheritAfterTimeout_task_uxpriority_greater(
TEST_ASSERT_EQUAL( xTaskTCBs[ 1 ].xStateListItem.pvContainer, &pxReadyTasksLists[ xTaskTCBs[ 1 ].uxPriority ] );
}

/**
* @brief vTaskPriorityDisinheritAfterTimeout - task is of invalid running state.
* The task disinherit a high priority task due to high priority task timeout. Verify
* that the priority of the disinherited task is dropped to uxHighestPriorityWaitingTask.
*
* <b>Coverage</b>
* @code{c}
* ...
* if( taskTASK_IS_RUNNING( pxTCB ) == pdTRUE )
* {
* prvYieldCore( pxTCB->xTaskRunState );
* }
* @endcode
* ( taskTASK_IS_RUNNING( pxTCB ) == pdTRUE ) is false.
*/
void test_coverage_vTaskPriorityDisinheritAfterTimeout_task_invalid_state( void )
{
TCB_t xTaskTCBs[ configNUMBER_OF_CORES + 1 ] = { NULL };
uint32_t i;
UBaseType_t uxHighestPriorityWaitingTask = 2;

/* Setup the variables and structure. */
/* Create high priority task on core 1 ~ N-1. */
for( i = 0; i < configNUMBER_OF_CORES; i++ )
{
vCreateStaticTestTask( &xTaskTCBs[ i ],
3,
i,
pdFALSE );
xTaskTCBs[ i ].xStateListItem.pxContainer = &pxReadyTasksLists[ 3 ];
listINSERT_END( &pxReadyTasksLists[ 3 ], &xTaskTCBs[ i ].xStateListItem );
}

/* Create a low priority task on last core. */
vCreateStaticTestTask( &xTaskTCBs[ i ],
1,
configNUMBER_OF_CORES,
pdFALSE );
xTaskTCBs[ i ].xStateListItem.pxContainer = &pxReadyTasksLists[ 1 ];
listINSERT_END( &pxReadyTasksLists[ 1 ], &xTaskTCBs[ i ].xStateListItem );
xTaskTCBs[ i ].uxMutexesHeld = 1;
xTaskTCBs[ i ].uxBasePriority = 1;

/* API call. */
vTaskPriorityDisinheritAfterTimeout( &xTaskTCBs[ configNUMBER_OF_CORES ], uxHighestPriorityWaitingTask );

/* Validation. */
/* The priority of the task is dropped to uxHighestPriorityWaitingTask. */
TEST_ASSERT_EQUAL( uxHighestPriorityWaitingTask, xTaskTCBs[ configNUMBER_OF_CORES ].uxPriority );
}

/**
* @brief uxTaskGetSystemState - array size is less than current task number.
*
Expand Down
Loading