3.5. Software Verification

3.5.1. Test Plans

The test plan includes module and integration tests (see Section 3.4.1 and Section 3.4.2). 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 Section 3.1).

3.5.2. Software Analysis

The source code is subject to a static program analysis. These tests are performed by Axivion Suite (see Section 6).

The architecture is verified by the Axivion Suite (see Section 6)