if(trackingNum != null){ } Analysis and Testing of Distributed Software Applications