SWE.4 Software Unit Verification
SWE.4.BP5 Establish bidirectional traceability