Unit, integration and validation tests for space profile

[Sebastian Huber]

Various tests such as

• unit tests,
• integration tests, and
• validation tests

are required by ​ECSS-Q-ST-40C. One goal of the tests is to achieve a certain code coverage, see also ​ECSS-Q-ST-80C. Working with tests involves the following topics:

• test guidelines (#3717),
• test planning (#3718),
• test code using a test framework (#3199),
• test execution,
• test reports.

[Chris Johns]

The ESA qual project will need to consider how the RTEMS project will review any and all changes related to these tickets. I see this ticket is blocked by #3199 so there are a number and the amount of review this generates is a concern. Without the resources changes will have be reviewed and accepted at a pace the unfunded members of the project can handle. We are open to discussing how this can be made to work so please feel free to contact Joel or I directly on this matter.

[Sebastian Huber <sebastian.huber@…>]

In [changeset:"cc1c944042bcf500b7c39ecb7ce826e914722d73/rtems" cc1c944/rtems]:

libtest: Add scheduler test support

Add support to record scheduler operations. This support is especially
important for tests in SMP configurations since the thread switch extension is
quite difficult to use due to the asynchronous nature of thread dispatching.
In contrast, the scheduler operations occur normally in a deterministic order.

Update #3716.

[Sebastian Huber <sebastian.huber@…>]

In [changeset:"6aa05524034ee0e232285ca4ac07d7b70451750a/rtems" 6aa0552/rtems]:

libtest: Increase line length

Update #3716.

[Sebastian Huber <sebastian.huber@…>]

In [changeset:"40cc4f5009dd248d803ea25a0d1277951e9abb0b/rtems" 40cc4f5/rtems]:

validation: Improve support library

Update #3716.

[Sebastian Huber <sebastian.huber@…>]

In [changeset:"212b0ca440d6bb2f3e5d2638508227c2a7106a57/rtems" 212b0ca/rtems]:

validation: Add test suites

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.

[Sebastian Huber <sebastian.huber@…>]

In [changeset:"c39133b88262a81da9eff3f744b62f3d675334a6/rtems" c39133b8/rtems]:

validation: Add system termination test suites

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.

[Sebastian Huber <sebastian.huber@…>]

In [changeset:"7db4c14b9eb015d248f43589a904dc474764299d/rtems" 7db4c14b/rtems]:

validation: Test thread queues

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.

[Sebastian Huber <sebastian.huber@…>]

In [changeset:"a6b4a3b07cb83f13dc83cbf2f0832f80b3dc2d5c/rtems" a6b4a3b0/rtems]:

validation: Test semaphore operations

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.

[Sebastian Huber <sebastian.huber@…>]

In [changeset:"a4b771844a23aff751ba00a6b34b6e407c3b1fc3/rtems" a4b77184/rtems]:

validation: Test mutex operations

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.

[Sebastian Huber <sebastian.huber@…>]

In [changeset:"d9a07fd87a405d0842dab8794ebe94d13090db80/rtems" d9a07fd8/rtems]:

validation: Test object identification

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.

[Sebastian Huber <sebastian.huber@…>]

In [changeset:"ca4d9ea23b3137da49aa500ffb54c9c52af61bd5/rtems" ca4d9ea/rtems]:

validation: Test application configuration

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.

[Sebastian Huber <sebastian.huber@…>]

In [changeset:"0b26e0994ce8f002470ac02c2029f947105049ab/rtems" 0b26e099/rtems]:

validation: Test attributes

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.

[Sebastian Huber <sebastian.huber@…>]

In [changeset:"1410d5b8bff73b42796088571f302575e68ae809/rtems" 1410d5b8/rtems]:

validation: Test Barrier 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.

[Frank Kühndel <frank.kuehndel@…>]

In [changeset:"99544e3f87c8b5a364899d3a355b10f0323bc7e0/rtems" 99544e3/rtems]:

validation: Test <rtems/score/basedefs.h>

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.

[Sebastian Huber <sebastian.huber@…>]

In [changeset:"b322a3ba44b095b688afe1f04388d7908a797840/rtems" b322a3ba/rtems]:

validation: Test Cache 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.

[Frank Kühndel <frank.kuehndel@…>]

In [changeset:"034d0b2f0bbd28da74392b7b8b48ae2ce77fcb51/rtems" 034d0b2/rtems]:

validation: Test Clock 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.

[Sebastian Huber <sebastian.huber@…>]

In [changeset:"32ca0c479e284358bfddc737053082901c198a59/rtems" 32ca0c47/rtems]:

validation: Test rtems_cpu_usage_reset()

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.

[Sebastian Huber <sebastian.huber@…>]

In [changeset:"8d3fe04499e39c99158c3fd531233c953a28ff0a/rtems" 8d3fe04/rtems]:

validation: Test Event 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.

[Sebastian Huber <sebastian.huber@…>]

In [changeset:"aebf6b661954b4b0ca65342af504b41631bdef78/rtems" aebf6b6/rtems]:

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.

[Sebastian Huber <sebastian.huber@…>]

In [changeset:"134b4cb709ef123ee8132e3dbf94e3982b29b23d/rtems" 134b4cb7/rtems]:

validation: Test IO 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.

[Frank Kühndel <frank.kuehndel@…>]

In [changeset:"04fb7b604061e3bba58d5e839dba41c79a392b37/rtems" 04fb7b6/rtems]:

validation: Test Message 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.

[Sebastian Huber <sebastian.huber@…>]

In [changeset:"b63084a91623bf4144c4b64898f0b186e63f8bb1/rtems" b63084a/rtems]:

validation: Test task modes

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.

[Sebastian Huber <sebastian.huber@…>]

In [changeset:"372ff260c8db562174b0c818456bdf2397f28b64/rtems" 372ff26/rtems]:

validation: Test options

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.

[Sebastian Huber <sebastian.huber@…>]

In [changeset:"5c850245bf7e9f0ea5fd945832dddd83cdf052d7/rtems" 5c85024/rtems]:

validation: Test Partition 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.

[Frank Kühndel <frank.kuehndel@…>]

In [changeset:"98091b6d88316dbec4c5a3ee0918e46d8352bfeb/rtems" 98091b6d/rtems]:

validation: Test Rate Monotonic 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.

[Sebastian Huber <sebastian.huber@…>]

In [changeset:"1c87bb585f781e2ebd42af7f1bf045f97d065c5c/rtems" 1c87bb5/rtems]:

validation: Test Scheduler 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.

[Sebastian Huber <sebastian.huber@…>]

In [changeset:"43adf2ed59175fcdd1201730f0b17e739d8032e4/rtems" 43adf2e/rtems]:

validation: Test Semaphore 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.

[Sebastian Huber <sebastian.huber@…>]

In [changeset:"32e472a7656d1eaebc22b22e99859e1247a89041/rtems" 32e472a7/rtems]:

validation: Test Signal 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.

[Sebastian Huber <sebastian.huber@…>]

In [changeset:"6b2939048464c0d282fd7eb491fa9f3e24b02e84/rtems" 6b293904/rtems]:

validation: Test Task 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.

[Frank Kühndel <frank.kuehndel@…>]

In [changeset:"565a7e6654f31087ff1c9572fd8df5c79661856a/rtems" 565a7e66/rtems]:

validation: Test Timer 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.

[Sebastian Huber <sebastian.huber@…>]

In [changeset:"c88db0f5fb9b5493756d6ed0018a9d4fadd23032/rtems" c88db0f/rtems]:

validation: Test User Extensions 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.

[Sebastian Huber <sebastian.huber@…>]

In [changeset:"bc0cd6951e99a891e17fd39aa87f11d84fc93aa4/rtems" bc0cd69/rtems]:

validation: Test object services

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.

[Sebastian Huber <sebastian.huber@…>]

In [changeset:"7eb4fc8d4331d3c1423c9d0b573141e70022cf11/rtems" 7eb4fc8d/rtems]:

validation: Test timecounter

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.

[Sebastian Huber <sebastian.huber@…>]

In [changeset:"fa660c4d5b76a3226f60b0f89777aaf152478e63/rtems" fa660c4d/rtems]:

validation: Test status code directives

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.

[Sebastian Huber <sebastian.huber@…>]

In [changeset:"5fb7ce8835ea3829a623cf38a4c81afd4c4ca0dc/rtems" 5fb7ce8/rtems]:

validation: Test futex support

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.

[Sebastian Huber <sebastian.huber@…>]

In [changeset:"c24747a69bbe2e27a4c5b328ab286d3c1c03d066/rtems" c24747a6/rtems]:

validation: Test <sys/lock.h> mutex operations

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.

[Sebastian Huber <sebastian.huber@…>]

In [changeset:"9f283e79f26697f7814210b4d848530e836259d3/rtems" 9f283e7/rtems]:

validation: Test C libary functions

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.

[Sebastian Huber <sebastian.huber@…>]

In [changeset:"ff50664c5c08cf8d184b0406ca029b7e913a6e7e/rtems" ff50664/rtems]:

validation: Test scheduler operations

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.

[Sebastian Huber <sebastian.huber@…>]

In [changeset:"4a8f4b7202b367759864119d78733128fe4d3d5f/rtems" 4a8f4b7/rtems]:

validation: Test SMP-specific aspects

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.

[Sebastian Huber <sebastian.huber@…>]

In [changeset:"ab2c04a86f59e46ef94a3335254a5ddd53fff632/rtems" ab2c04a/rtems]:

validation: Test thread implementation

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.

[Sebastian Huber <sebastian.huber@…>]

In [changeset:"14de245d05d6fd86a92d15a62429779a8c1390aa/rtems" 14de245d/rtems]:

validation: Test support functions

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.

[Sebastian Huber <sebastian.huber@…>]

In [changeset:"c2d7376f0686a663e65e03dcc3922fa2c85cb530/rtems" c2d7376/rtems]:

validation: Use individual names for ident tests

Make the task configuration reusable.

Update #3716.

[Sebastian Huber <sebastian.huber@…>]

In [changeset:"af90f783f0d69b9f9ad1d714e8d40ae821d16c29/rtems" af90f78/rtems]:

validation: Test scheduler detail

This particular state during a reconsider help request scheduler operation was
only covered by the existing test suites under some timing conditions.

Update #3716.

[Sebastian Huber <sebastian.huber@…>]

In [changeset:"c75e03367ac136f20938c7ea7d9979e69d3c50e5/rtems" c75e033/rtems]:

validation: Test thread free of FPU owner

Update #3716.

[Sebastian Huber <sebastian.huber@…>]

In [changeset:"588a07e1a81adc796392906574599a077239dd9e/rtems" 588a07e1/rtems]:

validation: Always test spurious interrupts

Update #3716.

[Sebastian Huber <sebastian.huber@…>]

In [changeset:"e506df58ecc2e3e04f0d2191e24126efc9ef1e59/rtems" e506df5/rtems]:

validation: Test thread idle bodies

Update #3716.

[Sebastian Huber <sebastian.huber@…>]

In [changeset:"cdc1eb7dcc6612d8e0eb23fc4b1582d3219742e9/rtems" cdc1eb7d/rtems]:

validation: SMP-specific spurious interrupt test

Update #3716.

[Sebastian Huber <sebastian.huber@…>]

In [changeset:"7219d3c0e9639463ec26e5035b6046b1b9964ce6/rtems" 7219d3c/rtems]:

libtest: Add T_report_hash_sha256_update()

Update #3716.

[Sebastian Huber <sebastian.huber@…>]

In [changeset:"f6a38fb2546950909f371691494371993968b20c/rtems" f6a38fb/rtems]:

validation: Use T_report_hash_sha256_update()

Add the direct BSP character ouput to the report hash.

Update #3716.

[Sebastian Huber <sebastian.huber@…>]

In [changeset:"1a35b5abf481d8ecd25866599d1416897a5721f8/rtems-central" 1a35b5a/rtems-central]:

validation: Use T_report_hash_sha256_update()

Add the direct BSP character ouput to the report hash.

Update #3716.

[Sebastian Huber <sebastian.huber@…>]

In [changeset:"1dca588f63cb8b2752a5012a3401e5150081b285/rtems" 1dca588/rtems]:

validation: Support a partial thread queue flush

Update #3716.

[Sebastian Huber <sebastian.huber@…>]

In [changeset:"c4472cef3e1c916ddb708ab3d4a46178b78f88a4/rtems" c4472cef/rtems]:

validation: Move flush filter stop validation

This gets rid of a cyclic dependency in the specification graph.

Update #3716.

[Sebastian Huber <sebastian.huber@…>]

In [changeset:"98353136ddf9344e60942eebc2637453fb4f3c27/rtems" 9835313/rtems]:

validation: Refine basedefs specification

Update #3716.

[Sebastian Huber <sebastian.huber@…>]

In [changeset:"4e227f460cddfe413cec55324ee6705fc9c6f957/rtems" 4e227f4/rtems]:

validation: CONFIGURE_SCHEDULER_TABLE_ENTRIES

Test this option in a configuration with only one processor.

Update #3716.

[Sebastian Huber <sebastian.huber@…>]

In [changeset:"3803757b2c9e9959a811a343abd1791fee4990b2/rtems" 3803757/rtems]:

validation: Test deadlock detection special case

Update #3716.

[Sebastian Huber <sebastian.huber@…>]

In [changeset:"a3717de01ceb8e054b6b48c55d2951d481fbfee3/rtems" a3717de/rtems]:

validation: Remove unused test suite

Update #3716.

[Sebastian Huber <sebastian.huber@…>]

In [changeset:"a7706515c7cdc5e2c429063fe6d59d2c037c67e5/rtems" a770651/rtems]:

validation: Use correct number of idle tasks

Update #3716.

[Sebastian Huber <sebastian.huber@…>]

In [changeset:"1d07dfad83c081212b63b148c846060fe5c10662/rtems" 1d07dfa/rtems]:

validation: Improve IRQ handler dispatch test

Clarify wording. Use a function wrapper for the SMP spurious interrupt setup.

Update #3716.

[Sebastian Huber <sebastian.huber@…>]

In [changeset:"9bfe5f599dc2d34167e320e01c62e3a70adec15d/rtems" 9bfe5f5/rtems]:

validation: Derive names from item UIDs

Use the item UID converted to CamelCase for Doxygen group names and
testsuite names.

Update #3716.

[Sebastian Huber <sebastian.huber@…>]

In [changeset:"de6568ed997141c9c5806e089e919a7288ae87d4/rtems" de6568ed/rtems]:

validation: Fix test case group identifiers

Update #3716.

[Sebastian Huber <sebastian.huber@…>]

In [changeset:"74a6b33f3b48f8f2bd1b8e9a5026803965123eea/rtems" 74a6b33f/rtems]:

validation: Replace enum Event with defines

There is a Doxygen limitation that all compound names (enum, struct,
class, union, group) within a project must be unique.

Update #3716.

[Sebastian Huber <sebastian.huber@…>]

In [changeset:"c821b925f791f6fd138a1fda2378ed5df1d791a7/rtems" c821b92/rtems]:

validation: Test the global construction

Update #3716.

[Sebastian Huber <sebastian.huber@…>]

In [changeset:"8bc15aba565f960f4389a22cfb19076edc7039a5/rtems" 8bc15aba/rtems]:

validation: Validate RTEMS_NO_TIMEOUT

Update #3716.

[Sebastian Huber <sebastian.huber@…>]

In [changeset:"72465f86d59463621d21bcba4c46a767e4bbe5a1/rtems" 72465f86/rtems]:

validation: Fix typo

Update #3716.

[Sebastian Huber <sebastian.huber@…>]

In [changeset:"64fdb089003c3ab3713c713a70b0832c41afb8f8/rtems" 64fdb08/rtems]:

validation: Fix formatting

Update #3716.

[Sebastian Huber <sebastian.huber@…>]

In [changeset:"649dc37c8fcee2820a266afa9fe1938329801043/rtems" 649dc37/rtems]:

validation: Use spec:* references

Update #3716.

[Sebastian Huber <sebastian.huber@…>]

In [changeset:"ee748932678b0fedea3399b3bc9f1b124fb7bbaa/rtems" ee74893/rtems]:

validation: Add group for runtime measurements

Update #3716.

[Sebastian Huber <sebastian.huber@…>]

In [changeset:"367427d07b04db9b5a47624aea0923a2ccee9104/rtems" 367427d0/rtems]:

validation: Improve formatting

This enables automatic Doxygen links.

Update #3716.

[Sebastian Huber <sebastian.huber@…>]

In [changeset:"28fabc299fa0a1c95ea5124473d6446a812aa9e2/rtems" 28fabc29/rtems]:

validation: rtems_scheduler_get_maximum_priority()

Validate this directive for the EDF SMP scheduler.

Update #3716.

[Sebastian Huber <sebastian.huber@…>]

In [changeset:"1a2d797a97d0865e3f46f4977e9159165513e9e8/rtems" 1a2d797a/rtems]:

validation: Fix formatting

Update #3716.

[Sebastian Huber <sebastian.huber@…>]

In [changeset:"9db208019b5db3cfcf9ca72d2e73f0a84af58cb7/rtems" 9db2080/rtems]:

validation: RTEMS_STATIC_ANALYSIS

Improve the validation of this define which is not defined for normal
builds.

Update #3716.

[Sebastian Huber <sebastian.huber@…>]

In [changeset:"976f208ff2247f9801dec4371327282edf2d5e98/rtems" 976f208/rtems]:

validation: Add checks to static assert tests

This ensures that the test cases have at least one test step.

Update #3716.

[Sebastian Huber <sebastian.huber@…>]

In [changeset:"2ede66f1bca1a0e43095f579e44942c743afee7b/rtems" 2ede66f/rtems]:

validation: grlib

Update #3716.

[Sebastian Huber <sebastian.huber@…>]

In [changeset:"e6de385a97c2811d4e249665bb63162b73e74af1/rtems" e6de385a/rtems]:

validation: Test sparc/leon3 BSP family

Update #3716.

[Frank Kühndel <frank.kuehndel@…>]

In [changeset:"2fc7e042807e5a75a864b6fa99cf7e1866c156fc/rtems" 2fc7e04/rtems]:

unit: Test POSIX-specific message queue impl

This unit test covers code paths of the Message Handler which are only
reached by through POSIX message queue API.

Update #3716.

[Frank Kühndel <frank.kuehndel@…>]

In [changeset:"0afbd00958ed3ba00e2f6b67bebf2733c6334cc2/rtems" 0afbd009/rtems]:

unit: Test unlimited objects configuration

This unit test covers code paths which are only reached if unlimited
objects are used.

Update #3716.

[Sebastian Huber <sebastian.huber@…>]

In [changeset:"723c634d61a71bd5b3b8cd0889cb87e768e43b0a/rtems" 723c634/rtems]:

validation: Improve sparc/leon3 shutdown test

Test the shutdown halt separately from the SMP-specific shutdown
request.

Update #3716.

[Sebastian Huber <sebastian.huber@…>]

In [changeset:"23c8a039b3273086f30f818d253bcb7404ebfc05/rtems" 23c8a03/rtems]:

validation: Task entry return for idle threads

Update #3716.

[Sebastian Huber <sebastian.huber@…>]

In [changeset:"9a975e52113ad46e27557c23b50af6d3b42156fa/rtems" 9a975e52/rtems]:

validation: Fix variable type

This fixes test failures on targets using short enums.

Update #3716.

[Sebastian Huber <sebastian.huber@…>]

In [changeset:"3fa6e41c4c01fca2cefcfcd22ad48dd8184f70fc/rtems" 3fa6e41/rtems]:

validation: Simplify partition performance test

Do not depend on <rtems/chain.h>.

Update #3716.

[Sebastian Huber <sebastian.huber@…>]

In [changeset:"5a21b1d1331c9cfb5ffcb0903ff751981757285e/rtems" 5a21b1d1/rtems]:

validation: Compatibility for other RTEMS versions

Make some performance tests compatible to other RTEMS versions which do
not allow changing the priority of a task which owns a priority
inheritance mutex.

Update #3716.

[Sebastian Huber <sebastian.huber@…>]

In [changeset:"1781b517dd964e826035ada5ba585164b0362a3c/rtems" 1781b517/rtems]:

validation: Check thread dispatching detail

Update #3716.

[Sebastian Huber <sebastian.huber@…>]

In [changeset:"2cb3d75d9e6097bbc2ccbb36b140c4287b06f6a2/rtems" 2cb3d75/rtems]:

validation: Test CPU performance

Measure the runtime of 1000 no-operation instructions. This may help to
investigate runtime measurement variations which do not result from code
generation or source code changes.

The runtime measurement of a function which does nothing and just
returns gives an estimate of the measurement overhead.

Update #3716.

[Sebastian Huber <sebastian.huber@…>]

In [changeset:"429727cdf3ec5bec5d392cc7d475d85578285ee1/rtems" 429727c/rtems]:

testsuites/unit: Add tests for compiler builtins

Explicitly test the 64-bit integer division and modulo operations. They
are essential for the timekeeping services. On most 32-bit targets,
they need a software implementation.

Update #3716.

[Sebastian Huber <sebastian.huber@…>]

In [changeset:"f7632d0dad238a77b0e961f44c2e404264c20f8f/rtems" f7632d0/rtems]:

testsuites/unit: Fix build error on aarch64

Update #3716.

[Sebastian Huber <sebastian.huber@…>]

In [changeset:"1adf143246200453860b5fd87f1e6d8a4a6b41c7/rtems" 1adf143/rtems]:

testsuites/unit: Add tests for compiler builtins

Test some compiler builtins which may use integer library routines:

​https://gcc.gnu.org/onlinedocs/gccint/Integer-library-routines.html

Update #3716.

[Sebastian Huber <sebastian.huber@…>]

In [changeset:"f279017882f0d976c069b9a2bc26fee2489d6ed2/rtems" f279017/rtems]:

validation: Improve MrsP validation

For uniprocessor configurations, the selection of
RTEMS_MULTIPROCESSOR_RESOURCE_SHARING results in a priority ceiling
mutex.

Build the MrsP validation tests only if RTEMS_SMP is enabled.

Update #3716.

[Sebastian Huber <sebastian.huber@…>]

In [changeset:"a180c138c72661101f46e24f8bee7f62eca82018/rtems" a180c13/rtems]:

validation: Remove superfluous includes

Update #3716.

[Sebastian Huber <sebastian.huber@…>]

In [changeset:"2e71bd08bae61cd7259d8c362818b4a268a393e9/rtems" 2e71bd08/rtems]:

tm27: Add optional TM27_INTERRUPT_VECTOR_DEFAULT

Let the BSP define TM27_INTERRUPT_VECTOR_DEFAULT to more efficiently and
reliably get the TM27 default interrupt vector.

Update #3716.

[Sebastian Huber <sebastian.huber@…>]

In [changeset:"93f927de26d9e5504e548c99533f2de197682a83/rtems" 93f927de/rtems]:

tm27: Add TM27_INTERRUPT_VECTOR_ALTERNATIVE

The TM27 support may define TM27_INTERRUPT_VECTOR_ALTERNATIVE to provide
an alternative software generated interrupt request which is raised by
_TM27_Raise_alternative() and cleared by _TM27_Clear_alternative().
Both functions shall return an RTEMS status code. This interrupt vector
may be used to test the interrupt controller support on targets which do
not provide generic software generated interrupts.

Update #3716.

[Matt Joyce <matthew.joyce@…>]

In [changeset:"461f118ad005a27c648b437a9869d11fd3b087bd/rtems" 461f118a/rtems]:

validation/tc-sched-smp: Fix synchronization issue

Update #3716.

[Sebastian Huber <sebastian.huber@…>]

In [changeset:"b771385452535e6a1ab97d1fdbdd8e6aa7cc2de7/rtems" b7713854/rtems]:

testsuites/unit: Add tests for compiler builtins

On the arm target, udivmoddi4() cannot be fully tested through normal
integer divisions.

Update #3716.

[Sebastian Huber <sebastian.huber@…>]

In [changeset:"43143040f00af26fcf6a8f9a7f9dbce3ff823b41/rtems" 43143040/rtems]:

validation: Test global construction on aarch64

Update #3716.

[Sebastian Huber <sebastian.huber@…>]

In [changeset:"aaa2491a617132dd193247e3a83a8978fe702f83/rtems-central" aaa2491/rtems-central]:

spec: Add tests for compiler builtins

On the arm target, udivmoddi4() cannot be fully tested through normal
integer divisions.

Update #3716.