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