4.4.4. SWE.4 Software Unit Verification
4.4.4. SWE.4 Software Unit Verification
Process ID SWE.4
Process The purpose of the Software unit Verification Process is to verify software units to provide evidence for
Purpose compliance of the software units with the software detailed design and with the non-functional software
requirements.
2. criteria for software unit verification are developed according to the software unit verification
strategy that are suitable to provide evidence for compliance of the software units with the
software detailed design and with the non-functional software requirements;
3. software units are verified according to the software unit verification strategy and the defined
criteria for software unit verification and the results are recorded;
4. consistency and bidirectional traceability are established between software units, criteria for
verification and verification results; and
5. results of the unit verification are summarized and communicated to all affected parties.
Base Practices SWE.4.BP1: Develop software unit verification strategy including regression strategy. Develop
a strategy for verification of the software units including regression strategy for re-verification if a
software unit is changed. The verification strategy shall define how to provide evidence for compliance
of the software units with the software detailed design and with the non-functional requirements.
[Outcome 1]
NOTE 1: Possible techniques for unit verification include static/dynamic analysis, code reviews, unit
testing etc.
SWE.4.BP2: Develop criteria for unit verification. Develop criteria for unit verification that are
suitable to provide evidence for compliance of the software units, and their interactions within the
component, with the software detailed design and with the non-functional requirements according to
the verification strategy. For unit testing, criteria shall be defined in a unit test specification.
[OUTCOME 2]
NOTE 2: Possible criteria for unit verification include unit test cases, unit test data, static verification,
coverage goals and coding standards such as the MISRA rules.
NOTE 3: The unit test specification may be implemented e.g. as a script in an automated test bench.
ESWE.4.BP3: Perform static verification of software units. Verify software units for correctness
using the defined criteria for verification. Record the results of the static verification. [Outcome 3]
NOTE 4: Static verification may include static analysis, code reviews, checks against coding standards
and guidelines, and other techniques.
SWE.4.BP4: Test software units. Test software units using the unit test specification according to the
software unit verification strategy. Record the test results and logs. [Outcome 3]
SWE.4.BP7: Summarize and communicate results. Summarize the unit test results and static
verification results and communicate them to all affected parties. [Outcome 5]
NOTE 9: Providing all necessary information from the test case execution in a summary enables other
parties to judge the consequences.
NOTE: For software and system test documentation, the IEEE-Standard 829- 2008 might be used.