SWE.4 Software Unit Verification
SWE.4.BP4 Test software units