2009-09-28 Joel Sherrill <joel.sherrill@OARcorp.com>

* sp09/screen02.c, sp09/screen04.c, sp09/screen07.c, sp09/screen09.c,
	sp09/screen10.c, sp09/screen11.c, sp09/screen12.c, sp09/sp09.scn: Add
	some error cases uncovered by uC5282 coverage runs.
This commit is contained in:
Joel Sherrill
2009-09-28 19:39:06 +00:00
parent a611d80b75
commit 8d8c1f1318
9 changed files with 320 additions and 3 deletions

View File

@@ -1,3 +1,9 @@
2009-09-28 Joel Sherrill <joel.sherrill@OARcorp.com>
* sp09/screen02.c, sp09/screen04.c, sp09/screen07.c, sp09/screen09.c,
sp09/screen10.c, sp09/screen11.c, sp09/screen12.c, sp09/sp09.scn: Add
some error cases uncovered by uC5282 coverage runs.
2009-09-28 Joel Sherrill <joel.sherrill@OARcorp.com>
* sp33/init.c, sp33/sp33.scn: Add some barrier error cases uncovered by

View File

@@ -25,6 +25,14 @@ void Screen2()
struct timeval tv;
rtems_status_code status;
puts( "TA1 - rtems_clock_get_tod - RTEMS_INVALID_ADDRESS" );
status = rtems_clock_get_tod( NULL );
fatal_directive_status(
status,
RTEMS_INVALID_ADDRESS,
"rtems_clock_get_tod NULL param"
);
/* errors before clock is set */
status = rtems_clock_get_tod( &time );
@@ -42,6 +50,14 @@ void Screen2()
puts( "TA1 - rtems_clock_get_tod - RTEMS_NOT_DEFINED" );
}
puts( "TA1 - rtems_clock_get_seconds_since_epoch - RTEMS_INVALID_ADDRESS" );
status = rtems_clock_get_seconds_since_epoch( NULL );
fatal_directive_status(
status,
RTEMS_INVALID_ADDRESS,
"rtems_clock_get_seconds_since_epoch NULL param"
);
status = rtems_clock_get_seconds_since_epoch( &interval );
if ( status == RTEMS_SUCCESSFUL ) {
puts(
@@ -57,6 +73,22 @@ void Screen2()
puts( "TA1 - rtems_clock_get_seconds_since_epoch - RTEMS_NOT_DEFINED" );
}
puts( "TA1 - rtems_clock_get_uptime - RTEMS_INVALID_ADDRESS" );
status = rtems_clock_get_uptime( NULL );
fatal_directive_status(
status,
RTEMS_INVALID_ADDRESS,
"rtems_clock_get_uptime NULL param"
);
puts( "TA1 - rtems_clock_get_tod_timeval - RTEMS_INVALID_ADDRESS" );
status = rtems_clock_get_tod_timeval( NULL );
fatal_directive_status(
status,
RTEMS_INVALID_ADDRESS,
"rtems_clock_get_tod_timeval NULL param"
);
status = rtems_clock_get_tod_timeval( &tv );
if ( status == RTEMS_SUCCESSFUL ) {
puts(
@@ -72,6 +104,32 @@ void Screen2()
puts( "TA1 - rtems_clock_get_tod_timeval - RTEMS_NOT_DEFINED" );
}
puts( "TA1 - rtems_clock_set_nanoseconds_extension - RTEMS_INVALID_ADDRESS" );
status = rtems_clock_set_nanoseconds_extension( NULL );
fatal_directive_status(
status,
RTEMS_INVALID_ADDRESS,
"rtems_clock_set_nanoseconds_extension NULL param"
);
/* NULL parameter */
status = rtems_clock_set( NULL );
fatal_directive_status(
status,
RTEMS_INVALID_ADDRESS,
"rtems_clock_get sull pointer"
);
puts( "TA1 - rtems_clock_set - RTEMS_INVALID_ADDRESS" );
/* NULL parameter */
status = rtems_clock_get( RTEMS_CLOCK_GET_TICKS_SINCE_BOOT, NULL );
fatal_directive_status(
status,
RTEMS_INVALID_ADDRESS,
"rtems_clock_get null pointer"
);
puts( "TA1 - rtems_clock_get - RTEMS_INVALID_ADDRESS" );
/* arbitrary bad value for switch */
status = rtems_clock_get( 0x100, &tv );
fatal_directive_status(

View File

@@ -26,6 +26,19 @@ void Screen4()
time_t seconds;
rtems_status_code status;
status = rtems_event_receive(
RTEMS_EVENT_16,
RTEMS_NO_WAIT,
RTEMS_NO_TIMEOUT,
NULL
);
fatal_directive_status(
status,
RTEMS_INVALID_ADDRESS,
"rtems_event_receive NULL param"
);
puts( "TA1 - rtems_event_receive - NULL param - RTEMS_INVALID_ADDRESS" );
status = rtems_event_receive(
RTEMS_EVENT_16,
RTEMS_NO_WAIT,

View File

@@ -35,6 +35,52 @@ void Screen7()
);
puts( "TA1 - rtems_message_queue_broadcast - RTEMS_INVALID_ID" );
/* null ID parameter */
status = rtems_message_queue_create(
Queue_name[ 1 ],
3,
MESSAGE_SIZE,
RTEMS_DEFAULT_ATTRIBUTES,
NULL
);
fatal_directive_status(
status,
RTEMS_INVALID_ADDRESS,
"rtems_message_queue_create with null param"
);
puts( "TA1 - rtems_message_queue_create - NULL Id - RTEMS_INVALID_ADDRESS" );
/* count == 0 */
status = rtems_message_queue_create(
Queue_name[ 1 ],
0,
MESSAGE_SIZE,
RTEMS_DEFAULT_ATTRIBUTES,
&Junk_id
);
fatal_directive_status(
status,
RTEMS_INVALID_NUMBER,
"rtems_message_queue_create with 0 count"
);
puts( "TA1 - rtems_message_queue_create - count = 0 - RTEMS_INVALID_NUMBER" );
/* max size == 0 */
status = rtems_message_queue_create(
Queue_name[ 1 ],
3,
0,
RTEMS_DEFAULT_ATTRIBUTES,
&Junk_id
);
fatal_directive_status(
status,
RTEMS_INVALID_SIZE,
"rtems_message_queue_create with 0 msg size"
);
puts( "TA1 - rtems_message_queue_create - size = 0 - RTEMS_INVALID_SIZE" );
/* bad name parameter */
status = rtems_message_queue_create(
0,
3,
@@ -133,6 +179,16 @@ void Screen7()
);
puts( "TA1 - rtems_message_queue_ident - RTEMS_INVALID_NAME" );
/* number pending - bad Id */
status = rtems_message_queue_get_number_pending( Queue_id[ 1 ], NULL );
fatal_directive_status(
status,
RTEMS_INVALID_ADDRESS,
"rtems_message_queue_get_number_pending with NULL param"
);
puts("TA1 - rtems_message_queue_get_number_pending - RTEMS_INVALID_ADDRESS");
/* number pending - bad Id */
status = rtems_message_queue_get_number_pending( 100, &count );
fatal_directive_status(
status,
@@ -141,6 +197,16 @@ void Screen7()
);
puts( "TA1 - rtems_message_queue_get_number_pending - RTEMS_INVALID_ID" );
/* flush null param */
status = rtems_message_queue_flush( Queue_id[ 1 ], NULL );
fatal_directive_status(
status,
RTEMS_INVALID_ADDRESS,
"rtems_message_queue_flush with NULL param"
);
puts( "TA1 - rtems_message_queue_flush - RTEMS_INVALID_ADDRESS" );
/* flush invalid id */
status = rtems_message_queue_flush( 100, &count );
fatal_directive_status(
status,
@@ -223,6 +289,18 @@ void Screen7()
"TA1 - rtems_message_queue_receive - Q 1 - woke up with RTEMS_TIMEOUT"
);
/* send NULL message*/
status = rtems_message_queue_send( Queue_id[ 1 ], NULL, MESSAGE_SIZE );
fatal_directive_status(
status,
RTEMS_INVALID_ADDRESS,
"rtems_message_queue_send with NULL buffer"
);
puts(
"TA1 - rtems_message_queue_send - NULL buffer - RTEMS_INVALID_ADDRESS"
);
/* send bad id */
status = rtems_message_queue_send( 100, buffer, MESSAGE_SIZE );
fatal_directive_status(
status,
@@ -247,6 +325,18 @@ void Screen7()
);
puts( "TA1 - rtems_message_queue_send - BUFFER 3 TO Q 1 - RTEMS_TOO_MANY" );
/* urgent NULL message*/
status = rtems_message_queue_urgent( Queue_id[ 1 ], NULL, MESSAGE_SIZE );
fatal_directive_status(
status,
RTEMS_INVALID_ADDRESS,
"rtems_message_queue_urgent with NULL buffer"
);
puts(
"TA1 - rtems_message_queue_urgent - NULL buffer - RTEMS_INVALID_ADDRESS"
);
/* urgent bad Id */
status = rtems_message_queue_urgent( 100, buffer, MESSAGE_SIZE );
fatal_directive_status(
status,

View File

@@ -165,7 +165,19 @@ void Screen9()
RTEMS_INVALID_ID,
"rtems_port_external_to_internal with illegal id"
);
puts( "TA1 - rtems_port_external_to_internal - RTEMS_INVALID_ID" );
status = rtems_port_external_to_internal(
100,
Internal_port_area,
NULL
);
fatal_directive_status(
status,
RTEMS_INVALID_ADDRESS,
"rtems_port_external_to_internal with NULL param"
);
puts( "TA1 - rtems_port_external_to_internal - RTEMS_INVALID_ADDRESS" );
status = rtems_port_internal_to_external(
100,
Internal_port_area,
@@ -177,4 +189,16 @@ void Screen9()
"rtems_port_internal_to_external with illegal id"
);
puts( "TA1 - rtems_port_internal_to_external - RTEMS_INVALID_ID" );
status = rtems_port_internal_to_external(
100,
Internal_port_area,
NULL
);
fatal_directive_status(
status,
RTEMS_INVALID_ADDRESS,
"rtems_port_internal_to_external with NULL param"
);
puts( "TA1 - rtems_port_external_to_internal - RTEMS_INVALID_ADDRESS" );
}

View File

@@ -26,6 +26,15 @@ void Screen10()
/*
* Check create error cases.
*/
status = rtems_rate_monotonic_create( Period_name[ 1 ], NULL );
fatal_directive_status(
status,
RTEMS_INVALID_ADDRESS,
"rtems_rate_monotonic_create with NULL param"
);
puts( "TA1 - rtems_rate_monotonic_create - RTEMS_INVALID_ADDRESS" );
status = rtems_rate_monotonic_create( 0, &Junk_id );
fatal_directive_status(
status,
@@ -113,9 +122,28 @@ void Screen10()
"TA1 - rtems_rate_monotonic_period(RTEMS_PERIOD_STATUS) - RTEMS_TIMEOUT"
);
/*
* Check get_statistics error cases.
*/
status = rtems_rate_monotonic_get_statistics( Period_id[ 1 ], NULL );
fatal_directive_status(
status,
RTEMS_INVALID_ADDRESS,
"rtems_rate_monotonic_get_statistics with NULL param"
);
puts( "TA1 - rtems_rate_monotonic_get_statistics - RTEMS_INVALID_ADDRESS" );
/*
* Check get_status error cases.
*/
status = rtems_rate_monotonic_get_status( Period_id[ 1 ], NULL );
fatal_directive_status(
status,
RTEMS_INVALID_ADDRESS,
"rtems_rate_monotonic_get_status with NULL param"
);
puts( "TA1 - rtems_rate_monotonic_get_status - RTEMS_INVALID_ADDRESS" );
status = rtems_rate_monotonic_get_status( 100, &period_status );
fatal_directive_status(
status,

View File

@@ -191,6 +191,16 @@ void Screen11()
);
puts( "TA1 - rtems_partition_delete - local RTEMS_INVALID_ID" );
/* get bad address */
status = rtems_partition_get_buffer( 100, NULL );
fatal_directive_status(
status,
RTEMS_INVALID_ADDRESS,
"rtems_partition_get_buffer with NULL param"
);
puts( "TA1 - rtems_partition_get_buffer - RTEMS_INVALID_ADDRESS" );
/* get bad Id */
status = rtems_partition_get_buffer( 100, &buffer_address_1 );
fatal_directive_status(
status,
@@ -215,6 +225,23 @@ void Screen11()
);
puts( "TA1 - rtems_partition_return_buffer - RTEMS_INVALID_ID" );
/* create bad area */
status = rtems_partition_create(
Partition_name[ 1 ],
NULL,
128,
64,
RTEMS_DEFAULT_ATTRIBUTES,
&Junk_id
);
fatal_directive_status(
status,
RTEMS_INVALID_ADDRESS,
"rtems_partition_return_buffer with NULL area"
);
puts( "TA1 - rtems_partition_create - RTEMS_INVALID_ADDRESS" );
/* create OK */
status = rtems_partition_create(
Partition_name[ 1 ],
Partition_good_area,

View File

@@ -127,6 +127,20 @@ void Screen12()
directive_failed( status, "rtems_region_create" );
puts( "TA1 - rtems_region_create - RTEMS_SUCCESSFUL" );
/* extend NULL address */
status = rtems_region_extend(
Region_id[ 1 ],
NULL,
REGION_LENGTH - 1
);
fatal_directive_status(
status,
RTEMS_INVALID_ADDRESS,
"rtems_region_extend with NULL"
);
puts( "TA1 - rtems_region_extend - NULL address - RTEMS_INVALID_ADDRESS" );
/* extend within heap */
status = rtems_region_extend(
Region_id[ 1 ],
&Region_good_area[ REGION_START_OFFSET ],
@@ -212,6 +226,7 @@ void Screen12()
);
puts( "TA1 - rtems_region_get_free_information - unknown RTEMS_INVALID_ID" );
/* get segment illegal id */
status = rtems_region_get_segment(
100,
0x40,
@@ -226,6 +241,37 @@ void Screen12()
);
puts( "TA1 - rtems_region_get_segment - RTEMS_INVALID_ID" );
/* get_segment with NULL param */
status = rtems_region_get_segment(
Region_id[ 1 ],
2,
RTEMS_DEFAULT_OPTIONS,
RTEMS_NO_TIMEOUT,
NULL
);
fatal_directive_status(
status,
RTEMS_INVALID_ADDRESS,
"rtems_region_get_segment with NULL param"
);
puts( "TA1 - rtems_region_get_segment - RTEMS_INVALID_ADDRESS" );
/* get_segment with illegal 0 size */
status = rtems_region_get_segment(
Region_id[ 1 ],
0,
RTEMS_DEFAULT_OPTIONS,
RTEMS_NO_TIMEOUT,
&segment_address_1
);
fatal_directive_status(
status,
RTEMS_INVALID_SIZE,
"rtems_region_get_segment with 0 size"
);
puts( "TA1 - rtems_region_get_segment - 0 size - RTEMS_INVALID_SIZE" );
/* get_segment with illegal big size */
status = rtems_region_get_segment(
Region_id[ 1 ],
sizeof( Region_good_area ) * 2,
@@ -236,9 +282,9 @@ void Screen12()
fatal_directive_status(
status,
RTEMS_INVALID_SIZE,
"rtems_region_get_segment with illegal size"
"rtems_region_get_segment with big size"
);
puts( "TA1 - rtems_region_get_segment - RTEMS_INVALID_SIZE" );
puts( "TA1 - rtems_region_get_segment - too big - RTEMS_INVALID_SIZE" );
status = rtems_region_get_segment(
Region_id[ 1 ],

View File

@@ -22,9 +22,16 @@ TA1 - rtems_task_start - RTEMS_INVALID_ID
TA1 - rtems_task_start - RTEMS_INCORRECT_STATE
TA1 - rtems_task_suspend - RTEMS_INVALID_ID
<pause - screen 2>
TA1 - rtems_clock_get_tod - RTEMS_INVALID_ADDRESS
TA1 - rtems_clock_get_tod - RTEMS_NOT_DEFINED
TA1 - rtems_clock_get_seconds_since_epoch - RTEMS_INVALID_ADDRESS
TA1 - rtems_clock_get_second_since_epoch - RTEMS_NOT_DEFINED
TA1 - rtems_clock_get_uptime - RTEMS_INVALID_ADDRESS
TA1 - rtems_clock_get_tod_timeval - RTEMS_INVALID_ADDRESS
TA1 - rtems_clock_get_tod_timeval - RTEMS_NOT_DEFINED
TA1 - rtems_clock_set_nanoseconds_extension - RTEMS_INVALID_ADDRESS
TA1 - rtems_clock_set - RTEMS_INVALID_ADDRESS
TA1 - rtems_clock_get - RTEMS_INVALID_ADDRESS
TA1 - rtems_clock_get - RTEMS_INVALID_NUMBER
TA1 - rtems_task_wake_when - RTEMS_NOT_DEFINED
TA1 - rtems_timer_fire_when - RTEMS_NOT_DEFINED
@@ -60,6 +67,7 @@ TA1 - rtems_task_create - 10 created - RTEMS_SUCCESSFUL
TA1 - rtems_task_create - 11 - RTEMS_TOO_MANY
TA1 - rtems_task_create - RTEMS_MP_NOT_CONFIGURED
<pause - screen 4>
TA1 - rtems_event_receive - NULL param - RTEMS_INVALID_ADDRESS
TA1 - rtems_event_receive - RTEMS_UNSATISFIED ( all conditions )
TA1 - rtems_event_receive - RTEMS_UNSATISFIED ( any condition )
TA1 - rtems_event_receive - timeout in 3 seconds
@@ -105,6 +113,9 @@ TA2 - rtems_task_delete - delete self - RTEMS_SUCCESSFUL
TA1 - rtems_task_delete TA2 - already deleted RTEMS_INVALID_ID
<pause - screen 7>
TA1 - rtems_message_queue_broadcast - RTEMS_INVALID_ID
TA1 - rtems_message_queue_create - NULL Id - RTEMS_INVALID_ADDRESS
TA1 - rtems_message_queue_create - count = 0 - RTEMS_INVALID_NUMBER
TA1 - rtems_message_queue_create - size = 0 - RTEMS_INVALID_SIZE
TA1 - rtems_message_queue_create - Q 1 - RTEMS_INVALID_NAME
TA1 - rtems_message_queue_create - Q 1 - RTEMS_MP_NOT_CONFIGURED
TA1 - rtems_message_queue_create - Q 2 - RTEMS_UNSATISFIED
@@ -113,6 +124,7 @@ TA1 - rtems_message_queue_create - Q 2 - RTEMS_TOO_MANY
TA1 - rtems_message_queue_delete - unknown RTEMS_INVALID_ID
TA1 - rtems_message_queue_delete - local RTEMS_INVALID_ID
TA1 - rtems_message_queue_ident - RTEMS_INVALID_NAME
TA1 - rtems_message_queue_get_number_pending - RTEMS_INVALID_ADDRESS
TA1 - rtems_message_queue_get_number_pending - RTEMS_INVALID_ID
TA1 - rtems_message_queue_flush - RTEMS_INVALID_ID
TA1 - rtems_message_queue_receive - RTEMS_INVALID_ID
@@ -121,10 +133,12 @@ TA1 - rtems_message_queue_receive - Q 1 - RTEMS_INVALID_ADDRESS NULL size
TA1 - rtems_message_queue_receive - Q 1 - RTEMS_UNSATISFIED
TA1 - rtems_message_queue_receive - Q 1 - timeout in 3 seconds
TA1 - rtems_message_queue_receive - Q 1 - woke up with RTEMS_TIMEOUT
TA1 - rtems_message_queue_send - RTEMS_INVALID_ADDRESS
TA1 - rtems_message_queue_send - RTEMS_INVALID_ID
TA1 - rtems_message_queue_send - BUFFER 1 TO Q 1 - RTEMS_SUCCESSFUL
TA1 - rtems_message_queue_send - BUFFER 2 TO Q 1 - RTEMS_SUCCESSFUL
TA1 - rtems_message_queue_send - BUFFER 3 TO Q 1 - RTEMS_TOO_MANY
TA1 - rtems_message_queue_urgent - RTEMS_INVALID_ADDRESS
TA1 - rtems_message_queue_urgent - RTEMS_INVALID_ID
TA1 - rtems_message_queue_broadcast - NULL buffer - RTEMS_INVALID_ADDRESS
TA1 - rtems_message_queue_broadcast - NULL count - RTEMS_INVALID_ADDRESS
@@ -162,8 +176,11 @@ TA1 - rtems_port_create - RTEMS_TOO_MANY
TA1 - rtems_port_delete - RTEMS_INVALID_ID
TA1 - rtems_port_ident - RTEMS_INVALID_NAME
TA1 - rtems_port_external_to_internal - RTEMS_INVALID_ID
TA1 - rtems_port_external_to_internal - RTEMS_INVALID_ADDRESS
TA1 - rtems_port_internal_to_external - RTEMS_INVALID_ID
TA1 - rtems_port_internal_to_external - RTEMS_INVALID_ADDRESS
<pause - screen 10>
TA1 - rtems_rate_monotonic_create - RTEMS_INVALID_ADDRESS
TA1 - rtems_rate_monotonic_create - RTEMS_INVALID_NAME
TA1 - rtems_rate_monotonic_create - RTEMS_SUCCESSFUL
TA1 - rtems_rate_monotonic_create - RTEMS_TOO_MANY
@@ -174,6 +191,8 @@ TA1 - rtems_rate_monotonic_period(RTEMS_PERIOD_STATUS) - RTEMS_NOT_DEFINED
TA1 - rtems_rate_monotonic_period - 100 ticks - RTEMS_SUCCESSFUL
TA1 - rtems_rate_monotonic_period(RTEMS_PERIOD_STATUS) - RTEMS_SUCCESSFUL
TA1 - rtems_rate_monotonic_period(RTEMS_PERIOD_STATUS) - RTEMS_TIMEOUT
TA1 - rtems_rate_monotonic_get_statistics - RTEMS_INVALID_ADDRESS
TA1 - rtems_rate_monotonic_get_status - RTEMS_INVALID_ADDRESS
TA1 - rtems_rate_monotonic_get_status - RTEMS_INVALID_ID
TA1 - rtems_rate_monotonic_cancel - RTEMS_INVALID_ID
TA1 - rtems_rate_monotonic_cancel - local RTEMS_INVALID_ID
@@ -197,9 +216,11 @@ TA1 - rtems_partition_create - RTEMS_INVALID_ADDRESS
TA1 - rtems_partition_create - RTEMS_INVALID_SIZE
TA1 - rtems_partition_delete - unknown RTEMS_INVALID_ID
TA1 - rtems_partition_delete - local RTEMS_INVALID_ID
TA1 - rtems_partition_get_buffer - RTEMS_INVALID_ADDRESS
TA1 - rtems_partition_get_buffer - RTEMS_INVALID_ID
TA1 - rtems_partition_ident - RTEMS_INVALID_NAME
TA1 - rtems_partition_return_buffer - RTEMS_INVALID_ID
TA1 - rtems_partition_create - RTEMS_INVALID_ADDRESS
TA1 - rtems_partition_create - RTEMS_SUCCESSFUL
TA1 - rtems_partition_create - RTEMS_TOO_MANY
TA1 - rtems_partition_get_buffer - RTEMS_SUCCESSFUL
@@ -215,6 +236,7 @@ TA1 - rtems_region_create - RTEMS_INVALID_ADDRESS
TA1 - rtems_region_create - RTEMS_INVALID_SIZE
TA1 - rtems_region_create - RTEMS_INVALID_ADDRESS
TA1 - rtems_region_create - RTEMS_SUCCESSFUL
TA1 - rtems_region_extend - NULL address - RTEMS_INVALID_ADDRESS
TA1 - rtems_region_extend - address within - RTEMS_INVALID_ADDRESS
TA1 - rtems_region_create - RTEMS_TOO_MANY
TA1 - rtems_region_delete - unknown RTEMS_INVALID_ID
@@ -225,6 +247,9 @@ TA1 - rtems_region_get_information - unknown RTEMS_INVALID_ID
TA1 - rtems_region_get_free_information - RTEMS_INVALID_ADDRESS
TA1 - rtems_region_get_free_information - unknown RTEMS_INVALID_ID
TA1 - rtems_region_get_segment - RTEMS_INVALID_ID
TA1 - rtems_region_get_segment - RTEMS_INVALID_ADDRESS
TA1 - rtems_region_get_segment - 0 size - RTEMS_INVALID_SIZE
TA1 - rtems_region_get_segment - too big - RTEMS_INVALID_SIZE
TA1 - rtems_region_get_segment - RTEMS_INVALID_SIZE
TA1 - rtems_region_get_segment - RTEMS_SUCCESSFUL
TA1 - rtems_region_get_segment - RTEMS_UNSATISFIED