Coverage Measure for Path Testing Based on the Concept of Essential Branches