8 Commits

Author SHA1 Message Date
Sebastian Huber
bcef89f236 Update company name
The embedded brains GmbH & Co. KG is the legal successor of embedded
brains GmbH.
2023-05-20 11:05:26 +02:00
Sebastian Huber
9bfe5f599d validation: Derive names from item UIDs
Use the item UID converted to CamelCase for Doxygen group names and
testsuite names.

Update #3716.
2023-03-13 14:00:59 +01:00
Sebastian Huber
71d1acd41d bsps/irq: Rename handler in dispatch table
The name handler table was a bit misleading after the last rework.
Rename it to distach table.  Update the documentation accordingly.

Update #4769.
2022-12-02 10:25:39 +01:00
Sebastian Huber
f151e6f680 validation: Properly teardown test cases
Make sure that the state of the testable interrupt vector is restored to the
state at the test case begin.
2022-11-09 16:55:15 +01:00
Sebastian Huber
aebf6b6619 validation: Test Interrupt Manager
The test source code is generated from specification items
by the "./spec2modules.py" script contained in the
git://git.rtems.org/rtems-central.git Git repository.

Please read the "How-To" section in the "Software Requirements Engineering"
chapter of the RTEMS Software Engineering manual to get more information about
the process.

Update #3716.
2022-03-24 11:10:48 +01:00
Sebastian Huber
40cc4f5009 validation: Improve support library
Update #3716.
2022-03-24 11:10:48 +01: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