summaryrefslogtreecommitdiffstats
path: root/testsuites/validation (follow)
Commit message (Collapse)AuthorAgeFilesLines
...
* validation: Test timecounterSebastian Huber2022-03-246-0/+2679
| | | | | | | | | | | | 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.
* validation: Test object servicesSebastian Huber2022-03-242-7/+152
| | | | | | | | | | | | 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.
* validation: Test User Extensions ManagerSebastian Huber2022-03-244-0/+1210
| | | | | | | | | | | | 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.
* validation: Test Timer ManagerFrank Kühndel2022-03-2411-0/+9073
| | | | | | | | | | | | 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.
* validation: Test Task ManagerSebastian Huber2022-03-2424-1212/+25723
| | | | | | | | | | | | 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.
* validation: Test Signal ManagerSebastian Huber2022-03-245-4/+421
| | | | | | | | | | | | 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.
* validation: Test Semaphore ManagerSebastian Huber2022-03-2412-0/+8794
| | | | | | | | | | | | 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.
* validation: Test Scheduler ManagerSebastian Huber2022-03-2410-0/+5530
| | | | | | | | | | | | 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.
* validation: Test Rate Monotonic ManagerFrank Kühndel2022-03-247-0/+5299
| | | | | | | | | | | | 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.
* validation: Test Partition ManagerSebastian Huber2022-03-247-74/+2582
| | | | | | | | | | | | 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.
* validation: Test optionsSebastian Huber2022-03-241-0/+202
| | | | | | | | | | | | 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.
* validation: Test task modesSebastian Huber2022-03-241-0/+363
| | | | | | | | | | | | 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.
* validation: Test Message ManagerFrank Kühndel2022-03-2410-932/+7524
| | | | | | | | | | | | 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.
* validation: Test IO ManagerSebastian Huber2022-03-246-0/+1313
| | | | | | | | | | | | 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.
* validation: Test Interrupt ManagerSebastian Huber2022-03-2418-330/+2081
| | | | | | | | | | | | 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.
* validation: Test Event ManagerSebastian Huber2022-03-247-0/+3220
| | | | | | | | | | | | 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.
* validation: Test rtems_cpu_usage_reset()Sebastian Huber2022-03-241-0/+151
| | | | | | | | | | | | 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.
* validation: Test Clock ManagerFrank Kühndel2022-03-245-0/+2821
| | | | | | | | | | | | 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.
* validation: Test Cache ManagerSebastian Huber2022-03-242-0/+753
| | | | | | | | | | | | 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.
* validation: Test <rtems/score/basedefs.h>Frank Kühndel2022-03-243-0/+2239
| | | | | | | | | | | | 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.
* validation: Test Barrier ManagerSebastian Huber2022-03-246-38/+806
| | | | | | | | | | | | 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.
* validation: Test attributesSebastian Huber2022-03-241-0/+350
| | | | | | | | | | | | 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.
* validation: Test application configurationSebastian Huber2022-03-249-0/+1701
| | | | | | | | | | | | 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.
* validation: Test object identificationSebastian Huber2022-03-244-0/+1110
| | | | | | | | | | | | 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.
* validation: Test mutex operationsSebastian Huber2022-03-246-0/+3683
| | | | | | | | | | | | 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.
* validation: Test semaphore operationsSebastian Huber2022-03-246-0/+1609
| | | | | | | | | | | | 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.
* validation: Test thread queuesSebastian Huber2022-03-2431-0/+15612
| | | | | | | | | | | | 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.
* validation: Add system termination test suitesSebastian Huber2022-03-2429-0/+4837
| | | | | | | | | | | | 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.
* validation: Add test suitesSebastian Huber2022-03-2410-36/+740
| | | | | | | | | | | | 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.
* validation: Improve support librarySebastian Huber2022-03-2415-26/+3637
| | | | Update #3716.
* Improve test of rtems_interrupt_get_affinity()Sebastian Huber2021-09-021-18/+21
| | | | | Use a CPU set which is larger than the internal processor set representation.
* validation: Improve generated test codeSebastian Huber2021-09-0220-1331/+1679
| | | | | | | 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.
* validation: Test rtems_interrupt_handler_iterate()Sebastian Huber2021-07-261-0/+636
| | | | Update #3269.
* validation: Test rtems_interrupt_set_affinity()Sebastian Huber2021-07-261-0/+670
| | | | Update #3269.
* validation: Test rtems_interrupt_get_affinity()Sebastian Huber2021-07-261-0/+683
| | | | Update #3269.
* validation: Test rtems_interrupt_raise_on()Sebastian Huber2021-07-263-2/+721
| | | | Update #3269.
* validation: Test rtems_interrupt_is_pending()Sebastian Huber2021-07-261-0/+629
| | | | Update #3269.
* validation: Test rtems_interrupt_clear()Sebastian Huber2021-07-261-0/+586
| | | | Update #3269.
* validation: Test rtems_interrupt_raise()Sebastian Huber2021-07-261-0/+576
| | | | Update #3269.
* validation: Test rtems_interrupt_entry_remove()Sebastian Huber2021-07-261-0/+1432
| | | | Update #3269.
* validation: Test rtems_interrupt_entry_install()Sebastian Huber2021-07-261-0/+1364
| | | | Update #3269.
* validation: Test rtems_interrupt_vector_disable()Sebastian Huber2021-07-261-0/+632
| | | | Update #3269.
* validation: Test rtems_interrupt_vector_enable()Sebastian Huber2021-07-261-0/+638
| | | | Update #3269.
* validation: rtems_interrupt_vector_is_enabled()Sebastian Huber2021-07-261-0/+627
| | | | Update #3269.
* validation: Test rtems_interrupt_get_attributes()Sebastian Huber2021-07-261-0/+440
| | | | Update #3269.
* validation: GetTestableInterruptVector()Sebastian Huber2021-07-262-0/+49
| | | | Update #3269.
* validation: GetValidInterruptVectorNumber()Sebastian Huber2021-07-262-0/+31
| | | | Update #3269.
* validation: HasInterruptVectorEntriesInstalled()Sebastian Huber2021-07-262-0/+81
| | | | Update #3269.
* validation: Add CallWithinISR()Sebastian Huber2021-07-262-0/+148
| | | | Update #3269.
* validation: Add INVALID_ID to tx-support.hSebastian Huber2021-05-143-4/+7
|