if(trackingNum != null){ } Testing Safety-Related Software