Commit Graph

62 Commits

Author SHA1 Message Date
Sebastian Huber
b2c626f016 Improve test of rtems_interrupt_get_affinity()
Use a CPU set which is larger than the internal processor set
representation.
2021-09-02 08:54:58 +02:00
Sebastian Huber
a93d0ce2f5 validation: Improve generated test code
Move the transition map members of the test context to a dedicated
structure.  Move the transition variant pre-condition prepare, action,
and post-condition checks to a separate function to reduce the
indentation level and allow skipping of transition variants.
2021-09-02 08:54:58 +02:00
Sebastian Huber
67c033d39a validation: Test rtems_interrupt_handler_iterate()
Update #3269.
2021-07-26 19:57:31 +02:00
Sebastian Huber
17fb523964 validation: Test rtems_interrupt_set_affinity()
Update #3269.
2021-07-26 19:57:31 +02:00
Sebastian Huber
aab3713655 validation: Test rtems_interrupt_get_affinity()
Update #3269.
2021-07-26 19:57:31 +02:00
Sebastian Huber
32c0cd8ff8 validation: Test rtems_interrupt_raise_on()
Update #3269.
2021-07-26 19:57:31 +02:00
Sebastian Huber
163c1fd1a6 validation: Test rtems_interrupt_is_pending()
Update #3269.
2021-07-26 19:57:31 +02:00
Sebastian Huber
1bf8139a9e validation: Test rtems_interrupt_clear()
Update #3269.
2021-07-26 19:57:31 +02:00
Sebastian Huber
434105805f validation: Test rtems_interrupt_raise()
Update #3269.
2021-07-26 19:57:31 +02:00
Sebastian Huber
7dbab6afee validation: Test rtems_interrupt_entry_remove()
Update #3269.
2021-07-26 19:57:31 +02:00
Sebastian Huber
0996036986 validation: Test rtems_interrupt_entry_install()
Update #3269.
2021-07-26 19:57:31 +02:00
Sebastian Huber
aa6c962668 validation: Test rtems_interrupt_vector_disable()
Update #3269.
2021-07-26 19:57:31 +02:00
Sebastian Huber
7a3e6c74e3 validation: Test rtems_interrupt_vector_enable()
Update #3269.
2021-07-26 19:57:31 +02:00
Sebastian Huber
d8be2b974e validation: rtems_interrupt_vector_is_enabled()
Update #3269.
2021-07-26 19:57:31 +02:00
Sebastian Huber
e2894df9aa validation: Test rtems_interrupt_get_attributes()
Update #3269.
2021-07-26 19:57:31 +02:00
Sebastian Huber
9e1fc36692 validation: GetTestableInterruptVector()
Update #3269.
2021-07-26 19:57:31 +02:00
Sebastian Huber
bfec448682 validation: GetValidInterruptVectorNumber()
Update #3269.
2021-07-26 19:57:31 +02:00
Sebastian Huber
1465e78a59 validation: HasInterruptVectorEntriesInstalled()
Update #3269.
2021-07-26 19:57:31 +02:00
Sebastian Huber
f89cf8e8c4 validation: Add CallWithinISR()
Update #3269.
2021-07-26 19:57:31 +02:00
Sebastian Huber
410317ae3a validation: Add INVALID_ID to tx-support.h 2021-05-14 08:50:10 +02:00
Sebastian Huber
bc29c7c313 validation: Add support library
Add a library for support functions used by validation tests.  Rename
tc-support.* to tx-support.* since this file does not contain test
cases.
2021-05-14 08:48:38 +02:00
Sebastian Huber
9f727f9379 validation: Fix handling of N/A pre-conditions
In the action requirements, some pre-conditions are not applicable
depending on the state of other pre-conditions.  There is no particular
order in the pre-conditions, so we have to check the N/A status
individually.
2021-05-07 07:44:07 +02:00
Sebastian Huber
f14cf0cd74 rtems: Check for NULL config in task construct
Since there are already excessive NULL pointer checks in the Classic
API, do this also in rtems_task_construct().

Update #3959.
2021-04-23 08:24:07 +02:00
Sebastian Huber
03747b5087 rtems: Check for NULL config in msgq construct
Since there are already excessive NULL pointer checks in the Classic
API, do this also in rtems_message_queue_construct().

Update #4007.
2021-04-23 08:23:59 +02:00
Sebastian Huber
3e46a75e04 validation: Fix unused variable warning
Fix warning:

testsuites/validation/tc-signal-send.c:634:21: warning: unused variable
  'sc' [-Wunused-variable]
2021-04-07 06:43:55 +02:00
Sebastian Huber
e0aba8cb9e score: Fix task stack initialization
Do not adjust the stack area begin address since this may confuse the
stack allocator and result in failed stack frees.

Account for the alignment overhead in the stack space size estimate.

Check that the stack size is in the expected interval.
2021-03-27 18:05:05 +01:00
Sebastian Huber
fec2b72472 validation: Use support functions 2021-03-23 07:57:13 +01:00
Sebastian Huber
8afe332348 validation: Add test case support functions 2021-03-23 07:57:13 +01:00
Sebastian Huber
fa1e7ea054 validation: Reduce source code/rodata size
Use a common wording for the tests.  Use the new templates for action
requirements described in the RTEMS Software Engineering manual.
2021-03-19 16:55:48 +01:00
Sebastian Huber
5babc54d8d validation: Task create/construct
Run the task create/construct tests also on validation test suite 1
which has exactly one processor configured.
2021-03-16 12:47:52 +01:00
Sebastian Huber
586e06ec62 validation: Improve wording 2021-03-11 21:59:52 +01:00
Sebastian Huber
bfd1b6eef3 validation: Use common wording 2021-03-11 07:58:19 +01:00
Sebastian Huber
e76470dfa7 validation: Use common wording 2021-03-08 11:04:55 +01:00
Sebastian Huber
1ce127e9df validation: Use common wording 2021-03-05 21:19:54 +01:00
Sebastian Huber
8fe59be236 validation: Fix for 64-bit targets
Closes #4179.
2021-03-04 09:08:03 +01:00
Sebastian Huber
83b1b25d4c rtems: Simplify rtems_signal_catch()
In uniprocessor configurations, we can simplify rtems_signal_catch().
Add a validation test for the SMP special case.
2021-03-02 21:46:52 +01:00
Sebastian Huber
c0c4b8b8b5 validation: Format comment blocks 2021-03-02 07:56:15 +01:00
Sebastian Huber
2ad03ded38 validation: Add comments to task tests 2021-03-01 10:12:26 +01:00
Sebastian Huber
81fcf16ae6 validation: Add comments to message queue tests
Split up post-condition.
2021-03-01 10:12:26 +01:00
Sebastian Huber
54c96305a8 validation: Add comments to signal tests 2021-03-01 10:12:26 +01:00
Sebastian Huber
34f279aa19 validation: Add comments to barrier tests
Unify code sections across tests.
2021-03-01 10:12:10 +01:00
Sebastian Huber
08cbd4ba20 score: Fix _Stack_Extend_size()
Check for an integer overflow.  Add a validation test for task create
errors.
2021-03-01 07:18:14 +01:00
Sebastian Huber
9dad735697 validation: Improve task construct error tests 2021-03-01 07:18:14 +01:00
Sebastian Huber
1ac4a85ebf score: Fix thread initialization
Close the thread object if a thread create extension fails.  Also call
the delete extension to avoid resource leaks in early extensions if a
late extension fails.

Close #4270.
2021-02-26 09:23:02 +01:00
Sebastian Huber
006c7020f4 validation: Simplify message queue construct tests 2021-02-24 09:22:36 +01:00
Sebastian Huber
fd83860323 validation: Add missing barrier create test case 2021-02-24 09:22:36 +01:00
Sebastian Huber
3e7d658033 validation: Add signal manager tests
Update #4244.
2021-02-20 15:18:48 +01:00
Sebastian Huber
f38c0de407 validation: Add Validation1 test suite
Update #4244.
2021-02-20 15:18:48 +01:00
Sebastian Huber
fafc923044 validation: Tweak construct error tests
Unify the state names across tests and make sure the state names have a
similar length.
2021-02-08 08:44:14 +01:00
Sebastian Huber
e59efd8835 validation: Tests for barrier manager 2021-02-08 08:44:14 +01:00