if(trackingNum != null){ } Requirements, Test Cases, and Traceability with Paula Rome