.. include:: ./../../macros.txt
.. include:: ./../../units.txt

.. _SOFTWARE_VERIFICATION:

Software Verification
=====================

Test Plans
----------

The test plan includes module and integration tests (see
:numref:`module_testing` and :numref:`integration_testing`).
These tests are automatically run in the CI pipeline for every revision of the
software.

Failing tests lead to a rejection of the feature branch until the test suite
passes (see :numref:`SOFTWARE_DEVELOPMENT_PROCESS`).