A Metric Based Prioritization Approach for Basic Path Testing