source: rtems/testsuites/ada/sptests/sp09/ada_sp09.scn @ 76bd25e

5
Last change on this file since 76bd25e was ee537ea, checked in by Sebastian Huber <sebastian.huber@…>, on 10/12/17 at 08:00:10

ada-tests: Move to testsuites/ada

This solves a build dependency issue, e.g. building tests before
librtemsbsp.a exists.

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