source: rtems/c/src/ada-tests/sptests/sp09/sp09.scn @ 48bfd992

4.104.114.84.95
Last change on this file since 48bfd992 was c1ef834, checked in by Joel Sherrill <joel.sherrill@…>, on Jun 3, 1997 at 3:12:23 PM

Fixed problems which prevented the test from compiling and running to
completion.

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