SWE.4 Software Unit Verification
SWE.4.BP6 Ensure consistency