A test method which aims to ensure that eachpossible branch from each decision point (e.g. "if" statement)is executed at least once, thus ensuring that all reachablecode is executed.