| 1 | *** TEST 9 *** |
|---|
| 2 | INIT - task_create - INVALID_PRIORITY |
|---|
| 3 | INIT - task_restart - INCORRECT_STATE |
|---|
| 4 | TA1 - task_delete - INVALID_ID |
|---|
| 5 | TA1 - task_get_note - INVALID_NUMBER |
|---|
| 6 | TA1 - task_get_note - INVALID_ID |
|---|
| 7 | TA1 - task_ident - current task SUCCESSFUL |
|---|
| 8 | TA1 - task_ident - global INVALID_NAME |
|---|
| 9 | TA1 - task_ident - local INVALID_NAME |
|---|
| 10 | TA1 - task_ident - INVALID_NODE |
|---|
| 11 | TA1 - task_restart - INVALID_ID |
|---|
| 12 | TA1 - task_resume - INVALID_ID |
|---|
| 13 | TA1 - task_resume - INCORRECT_STATE |
|---|
| 14 | TA1 - task_set_priority - INVALID_PRIORITY |
|---|
| 15 | TA1 - task_set_priority - INVALID_ID |
|---|
| 16 | TA1 - task_set_note - INVALID_NUMBER |
|---|
| 17 | TA1 - task_set_note - INVALID_ID |
|---|
| 18 | TA1 - task_start - INVALID_ID |
|---|
| 19 | TA1 - task_start - INCORRECT_STATE |
|---|
| 20 | TA1 - task_suspend - INVALID_ID |
|---|
| 21 | <pause - screen 2> |
|---|
| 22 | TA1 - clock_get - NOT_DEFINED |
|---|
| 23 | TA1 - task_wake_when - NOT_DEFINED |
|---|
| 24 | TA1 - timer_fire_when - NOT_DEFINED |
|---|
| 25 | TA1 - clock_set - 8:30:45 2/ 5/1987 - INVALID_CLOCK |
|---|
| 26 | TA1 - clock_set - 8:30:45 15/ 5/1988 - INVALID_CLOCK |
|---|
| 27 | TA1 - clock_set - 8:30:45 2/32/1988 - INVALID_CLOCK |
|---|
| 28 | TA1 - clock_set - 25:30:45 2/ 5/1988 - INVALID_CLOCK |
|---|
| 29 | TA1 - clock_set - 8:61:45 2/ 5/1988 - INVALID_CLOCK |
|---|
| 30 | TA1 - clock_set - 8:30:61 2/ 5/1988 - INVALID_CLOCK |
|---|
| 31 | TA1 - clock_set - 8:30:45 2/ 5/1988 - INVALID_CLOCK |
|---|
| 32 | TA1 - clock_set - 8:30:45 2/ 5/1988 - SUCCESSFUL |
|---|
| 33 | TA1 - task_wake_when - TICK INVALID - sleep about 3 seconds |
|---|
| 34 | TA1 - task_wake_when - TICK INVALID - woke up SUCCESSFUL |
|---|
| 35 | TA1 - task_wake_when - 8:30:48 2/ 5/1961 - INVALID_CLOCK |
|---|
| 36 | TA1 - task_wake_when - 25:30:48 2/ 5/1988 - INVALID_CLOCK |
|---|
| 37 | TA1 - current time - 8:30:48 2/ 5/1988 |
|---|
| 38 | TA1 - task_wake_when - 8:30:48 1/ 5/1988 - INVALID_CLOCK |
|---|
| 39 | <pause - screen 3> |
|---|
| 40 | TA1 - task_create - INVALID_NAME |
|---|
| 41 | TA1 - task_create - stack size - UNSATISFIED |
|---|
| 42 | TA1 - task_create - TA2 created - SUCCESSFUL |
|---|
| 43 | TA1 - task_suspend - suspend TA2 - SUCCESSFUL |
|---|
| 44 | TA1 - task_suspend - suspend TA2 - ALREADY_SUSPENDED |
|---|
| 45 | TA1 - task_resume - TA2 resumed - SUCCESSFUL |
|---|
| 46 | TA1 - task_create - TA3 created - SUCCESSFUL |
|---|
| 47 | TA1 - task_create - 4 created - SUCCESSFUL |
|---|
| 48 | TA1 - task_create - 5 created - SUCCESSFUL |
|---|
| 49 | TA1 - task_create - 6 created - SUCCESSFUL |
|---|
| 50 | TA1 - task_create - 7 created - SUCCESSFUL |
|---|
| 51 | TA1 - task_create - 8 created - SUCCESSFUL |
|---|
| 52 | TA1 - task_create - 9 created - SUCCESSFUL |
|---|
| 53 | TA1 - task_create - 10 created - SUCCESSFUL |
|---|
| 54 | TA1 - task_create - 11 - TOO_MANY |
|---|
| 55 | TA1 - task_create - MP_NOT_CONFIGURED |
|---|
| 56 | <pause - screen 4> |
|---|
| 57 | TA1 - event_receive - UNSATISFIED ( all conditions ) |
|---|
| 58 | TA1 - event_receive - UNSATISFIED ( any conditions ) |
|---|
| 59 | TA1 - event_receive - timeout in 3 seconds |
|---|
| 60 | TA1 - event_receive - woke with TIMEOUT |
|---|
| 61 | TA1 - event_send - INVALID_ID |
|---|
| 62 | TA1 - task_wake_after - sleep 1 second - SUCCESSFUL |
|---|
| 63 | TA1 - clock_set - 8:30:45 2/ 5/1988 - SUCCESSFUL |
|---|
| 64 | <pause - screen 5> |
|---|
| 65 | TA1 - semaphore_create - INVALID_NAME |
|---|
| 66 | TA1 - semaphore_create - 1 - SUCCESSFUL |
|---|
| 67 | TA1 - semaphore_create - 2 - SUCCESSFUL |
|---|
| 68 | TA1 - semaphore_create - 3 - TOO_MANY |
|---|
| 69 | TA1 - semaphore_create - NOT_DEFINED |
|---|
| 70 | TA1 - semaphore_create - NOT_DEFINED |
|---|
| 71 | TA1 - semaphore_create - INVALID_NUMBER |
|---|
| 72 | TA1 - semaphore_create - MP_NOT_CONFIGURED |
|---|
| 73 | TA1 - semaphore_delete - unknown INVALID_ID |
|---|
| 74 | TA1 - semaphore_delete - local INVALID_ID |
|---|
| 75 | TA1 - semaphore_ident - global INVALID_NAME |
|---|
| 76 | TA1 - semaphore_ident - local INVALID_NAME |
|---|
| 77 | <pause - screen 6> |
|---|
| 78 | TA1 - semaphore_obtain - INVALID_ID |
|---|
| 79 | TA1 - semaphore_obtain - got sem 1 - SUCCESSFUL |
|---|
| 80 | TA1 - semaphore_obtain - UNSATISFIED |
|---|
| 81 | TA1 - semaphore_obtain - timeout in 3 seconds |
|---|
| 82 | TA1 - semaphore_obtain - woke with TIMEOUT |
|---|
| 83 | TA1 - semaphore_release - NOT_OWNER_OF_RESOURCE |
|---|
| 84 | TA1 - semaphore_release - INVALID_ID |
|---|
| 85 | TA1 - task_start - start TA2 - SUCCESSFUL |
|---|
| 86 | TA1 - task_wake_after - yield processor - SUCCESSFUL |
|---|
| 87 | TA2 - semaphore_obtain - sem 1 - WAIT FOREVER |
|---|
| 88 | TA1 - semaphore_delete - delete sem 1 - SUCCESSFUL |
|---|
| 89 | TA1 - semaphore_obtain - binary semaphore |
|---|
| 90 | TA1 - semaphore_delete - delete sem 2 - RESOURCE_IN_USE |
|---|
| 91 | TA1 - task_wake_after - yield processor - SUCCESSFUL |
|---|
| 92 | TA2 - semaphore_obtain - woke up with OBJECT_WAS_DELETED |
|---|
| 93 | TA2 - task_delete - delete self - SUCCESSFUL |
|---|
| 94 | TA1 - task_delete TA2 - already deleted INVALID_ID |
|---|
| 95 | <pause - screen 7> |
|---|
| 96 | TA1 - message_queue_broadcast - INVALID_ID |
|---|
| 97 | TA1 - message_queue_create - Q 1 - INVALID_NAME |
|---|
| 98 | TA1 - message_queue_create - Q 1 - MP_NOT_CONFIGURED |
|---|
| 99 | TA1 - message_queue_create - Q 1 - 2 DEEP - SUCCESSFUL |
|---|
| 100 | TA1 - message_queue_create - Q 2 - TOO_MANY |
|---|
| 101 | TA1 - message_queue_delete - unknown INVALID_ID |
|---|
| 102 | TA1 - message_queue_delete - local INVALID_ID |
|---|
| 103 | TA1 - message_queue_ident - INVALID_NAME |
|---|
| 104 | TA1 - message_queue_get_number_pending - INVALID_ID |
|---|
| 105 | TA1 - message_queue_flush - INVALID_ID |
|---|
| 106 | TA1 - message_queue_receive - INVALID_ID |
|---|
| 107 | TA1 - message_queue_receive - Q 1 - UNSATISFIED |
|---|
| 108 | TA1 - message_queue_receive - Q 1 - timeout in 3 seconds |
|---|
| 109 | TA1 - message_queue_receive - Q 1 - woke up with TIMEOUT |
|---|
| 110 | TA1 - message_queue_send - INVALID_ID |
|---|
| 111 | TA1 - message_queue_send - BUFFER 1 TO Q 1 - SUCCESSFUL |
|---|
| 112 | TA1 - message_queue_send - BUFFER 2 TO Q 1 - SUCCESSFUL |
|---|
| 113 | TA1 - message_queue_send - BUFFER 3 TO Q 1 - TOO_MANY |
|---|
| 114 | <pause - screen 8> |
|---|
| 115 | TA1 - message_queue_delete - Q 1 - SUCCESSFUL |
|---|
| 116 | TA1 - message_queue_create - Q 1 - 2 DEEP - SUCCESSFUL |
|---|
| 117 | TA1 - message_queue_send - BUFFER 1 TO Q 1 - SUCCESSFUL |
|---|
| 118 | TA1 - message_queue_send - BUFFER 2 TO Q 1 - SUCCESSFUL |
|---|
| 119 | TA1 - message_queue_send - BUFFER 3 TO Q 1 - TOO_MANY |
|---|
| 120 | TA1 - message_queue_delete - Q 1 - SUCCESSFUL |
|---|
| 121 | TA1 - message_queue_create - Q 1 - 3 DEEP - SUCCESSFUL |
|---|
| 122 | TA1 - message_queue_send - BUFFER 1 TO Q 1 - SUCCESSFUL |
|---|
| 123 | TA1 - message_queue_send - BUFFER 2 TO Q 1 - SUCCESSFUL |
|---|
| 124 | TA1 - message_queue_send - BUFFER 3 TO Q 1 - SUCCESSFUL |
|---|
| 125 | TA1 - message_queue_send - BUFFER 4 TO Q 1 - TOO_MANY |
|---|
| 126 | TA1 - message_queue_delete - Q 1 - SUCCESSFUL |
|---|
| 127 | TA1 - message_queue_create - Q 1 - 3 DEEP - SUCCESSFUL |
|---|
| 128 | TA1 - task_start - start TA3 - SUCCESSFUL |
|---|
| 129 | TA1 - task_wake_after - yield processor - SUCCESSFUL |
|---|
| 130 | TA3 - message_queue_receive - Q 1 - WAIT FOREVER |
|---|
| 131 | TA1 - message_queue_delete - delete Q 1 - SUCCESSFUL |
|---|
| 132 | TA1 - task_wake_after - yield processor - SUCCESSFUL |
|---|
| 133 | TA3 - message_queue_receive - woke up with OBJECT_WAS_DELETED |
|---|
| 134 | TA3 - task_delete - delete self - SUCCESSFUL |
|---|
| 135 | <pause - screen 9> |
|---|
| 136 | TA1 - port_create - INVALID_NAME |
|---|
| 137 | TA1 - port_create - INVALID_ADDRESS |
|---|
| 138 | TA1 - port_create - TOO_MANY |
|---|
| 139 | TA1 - port_delete - INVALID_ID |
|---|
| 140 | TA1 - port_ident - INVALID_NAME |
|---|
| 141 | TA1 - port_internal_to_external - INVALID_ID |
|---|
| 142 | TA1 - port_external_to_internal - INVALID_ID |
|---|
| 143 | <pause - screen 10> |
|---|
| 144 | TA1 - rate_monotonic_create - INVALID_NAME |
|---|
| 145 | TA1 - rate_monotonic_create - SUCCESSFUL |
|---|
| 146 | TA1 - rate_monotonic_create - TOO_MANY |
|---|
| 147 | TA1 - rate_monotonic_ident - INVALID_NAME |
|---|
| 148 | TA1 - rate_monotonic_period - unknown INVALID_ID |
|---|
| 149 | TA1 - rate_monotonic_period - local INVALID_ID |
|---|
| 150 | TA1 - rate_monotonic_period( STATUS ) - NOT_DEFINED |
|---|
| 151 | TA1 - rate_monotonic_period - 100 ticks - SUCCESSFUL |
|---|
| 152 | TA1 - rate_monotonic_period( STATUS ) - SUCCESSFUL |
|---|
| 153 | TA1 - rate_monotonic_period( STATUS ) - TIMEOUT |
|---|
| 154 | TA1 - rate_monotonic_cancel - unknown INVALID_ID |
|---|
| 155 | TA1 - rate_monotonic_cancel - local INVALID_ID |
|---|
| 156 | TA1 - rate_monotonic_cancel - SUCCESSFUL |
|---|
| 157 | TA1 - rate_monotonic_period - 5 ticks - TIMEOUT |
|---|
| 158 | TA1 - task_wake_after - yielding to TA4 |
|---|
| 159 | TA4 - rate_monotonic_cancel - NOT_OWNER_OF_RESOURCE |
|---|
| 160 | TA4 - rate_monotonic_period - NOT_OWNER_OF_RESOURCE |
|---|
| 161 | TA4 - task_delete - delete self - SUCCESSFUL |
|---|
| 162 | TA1 - rate_monotonic_delete - unknown INVALID_ID |
|---|
| 163 | TA1 - rate_monotonic_delete - local INVALID_ID |
|---|
| 164 | TA1 - rate_monotonic_delete - SUCCESSFUL |
|---|
| 165 | <pause - screen 11> |
|---|
| 166 | TA1 - partition_create - INVALID_NAME |
|---|
| 167 | TA1 - partition_create - length - INVALID_SIZE |
|---|
| 168 | TA1 - partition_create - buffer size - INVALID_SIZE |
|---|
| 169 | TA1 - partition_create - length < buffer size - INVALID_SIZE |
|---|
| 170 | TA1 - partition_create - MP_NOT_CONFIGURED |
|---|
| 171 | TA1 - partition_create - INVALID_ADDRESS |
|---|
| 172 | TA1 - partition_create - INVALID_SIZE |
|---|
| 173 | TA1 - partition_delete - unknown INVALID_ID |
|---|
| 174 | TA1 - partition_delete - local INVALID_ID |
|---|
| 175 | TA1 - partition_get_buffer - INVALID_ID |
|---|
| 176 | TA1 - partition_ident - INVALID_NAME |
|---|
| 177 | TA1 - partition_return_buffer - INVALID_ID |
|---|
| 178 | TA1 - partition_create - SUCCESSFUL |
|---|
| 179 | TA1 - partition_create - TOO_MANY |
|---|
| 180 | TA1 - partition_get_buffer - SUCCESSFUL |
|---|
| 181 | TA1 - partition_get_buffer - SUCCESSFUL |
|---|
| 182 | TA1 - partition_get_buffer - UNSATISFIED |
|---|
| 183 | TA1 - partition_delete - RESOURCE_IN_USE |
|---|
| 184 | TA1 - partition_return_buffer - INVALID_ADDRESS - out of range |
|---|
| 185 | TA1 - partition_return_buffer - INVALID_ADDRESS - not on boundary |
|---|
| 186 | <pause - screen 12> |
|---|
| 187 | TA1 - region_create - INVALID_NAME |
|---|
| 188 | TA1 - region_create - INVALID_ADDRESS |
|---|
| 189 | TA1 - region_create - INVALID_SIZE |
|---|
| 190 | TA1 - region_create - SUCCESSFUL |
|---|
| 191 | TA1 - region_create - TOO_MANY |
|---|
| 192 | TA1 - region_delete - unknown INVALID_ID |
|---|
| 193 | TA1 - region_delete - local INVALID_ID |
|---|
| 194 | TA1 - region_ident - INVALID_NAME |
|---|
| 195 | TA1 - region_get_segment - INVALID_ID |
|---|
| 196 | TA1 - region_get_segment - INVALID_SIZE |
|---|
| 197 | TA1 - region_get_segment - SUCCESSFUL |
|---|
| 198 | TA1 - region_get_segment - UNSATISFIED |
|---|
| 199 | TA1 - region_get_segment - timeout in 3 seconds |
|---|
| 200 | TA1 - region_get_segment - woke up with TIMEOUT |
|---|
| 201 | TA1 - region_delete - RESOURCE_IN_USE |
|---|
| 202 | TA1 - region_return_segment - INVALID_ID |
|---|
| 203 | TA1 - region_return_segment - INVALID_ADDRESS |
|---|
| 204 | TA1 - debug_disable - DEBUG_REGION |
|---|
| 205 | TA1 - region_return_segment - INVALID_ADDRESS - SKIPPED |
|---|
| 206 | TA1 - region_return_segment - INVALID_ADDRESS - SKIPPED |
|---|
| 207 | TA1 - debug_enable - DEBUG_REGION |
|---|
| 208 | TA1 - region_extend - INVALID_ID |
|---|
| 209 | TA1 - region_extend - within heap - INVALID_ADDRESS |
|---|
| 210 | TA1 - region_extend - non-contiguous lower - NOT_IMPLEMENTED |
|---|
| 211 | TA1 - region_extend - contiguous lower - NOT_IMPLEMENTED |
|---|
| 212 | TA1 - region_extend - non-contiguous higher - NOT_IMPLEMENTED |
|---|
| 213 | <pause - screen 13> |
|---|
| 214 | TA1 - clock_set - 23:59:59 12/31/2000 - SUCCESSFUL |
|---|
| 215 | TA1 - clock_get - 0: 0: 0 1/ 1/2001 - SUCCESSFUL |
|---|
| 216 | TA1 - clock_set - 23:59:59 12/31/1999 - SUCCESSFUL |
|---|
| 217 | TA1 - clock_get - 0: 0: 0 1/ 1/2000 - SUCCESSFUL |
|---|
| 218 | TA1 - clock_set - 23:59:59 12/31/2100 - SUCCESSFUL |
|---|
| 219 | TA1 - clock_get - 17:31:44 11/25/1964 - SUCCESSFUL |
|---|
| 220 | TA1 - clock_set - 23:59:59 12/31/2099 - SUCCESSFUL |
|---|
| 221 | TA1 - clock_get - 17:31:44 11/25/1963 - SUCCESSFUL |
|---|
| 222 | TA1 - clock_set - 23:59:59 12/31/1991 - SUCCESSFUL |
|---|
| 223 | TA1 - clock_get - 0: 0: 0 1/ 1/1992 - SUCCESSFUL |
|---|
| 224 | <pause - screen 14> |
|---|
| 225 | TA1 - timer_create - INVALID_NAME |
|---|
| 226 | TA1 - timer_create - 1 - SUCCESSFUL |
|---|
| 227 | TA1 - timer_create - 2 - TOO_MANY |
|---|
| 228 | TA1 - timer_delete - local INVALID_ID |
|---|
| 229 | TA1 - timer_delete - global INVALID_ID |
|---|
| 230 | TA1 - timer_ident - INVALID_NAME |
|---|
| 231 | TA1 - timer_cancel - INVALID_ID |
|---|
| 232 | TA1 - timer_reset - INVALID_ID |
|---|
| 233 | TA1 - timer_reset - NOT_DEFINED |
|---|
| 234 | TA1 - timer_fire_after - INVALID_ID |
|---|
| 235 | TA1 - timer_fire_when - INVALID_ID |
|---|
| 236 | TA1 - timer_fire_after - INVALID_NUMBER |
|---|
| 237 | TA1 - timer_fire_when - 8:30:45 2/ 5/1987 - INVALID_CLOCK |
|---|
| 238 | TA1 - clock_get - 0: 0: 0 1/ 1/1992 |
|---|
| 239 | TA1 - timer_fire_when - 8:30:45 2/ 5/1990 - before INVALID_CLOCK |
|---|
| 240 | TA1 - timer_server_fire_after - INCORRECT_STATE |
|---|
| 241 | TA1 - timer_server_fire_when - INCORRECT_STATE |
|---|
| 242 | TA1 - timer_initiate_server - INVALID_PRIORITY |
|---|
| 243 | TA1 - timer_initiate_server |
|---|
| 244 | TA1 - timer_server_fire_after - INVALID_ID |
|---|
| 245 | TA1 - timer_server_fire_when - INVALID_ID |
|---|
| 246 | TA1 - timer_server_fire_after - INVALID_NUMBER |
|---|
| 247 | TA1 - timer_server_fire_when - 8:30:45 2/ 5/1987 - INVALID_CLOCK |
|---|
| 248 | TA1 - clock_get - 0: 0: 0 1/ 1/1992 |
|---|
| 249 | TA1 - timer_server_fire_when - 8:30:45 2/ 5/1990 - before INVALID_CLOCK |
|---|
| 250 | *** END OF TEST 9 *** |
|---|
![[RTEMS Logo]](/images/logo.png){kind=logo}
