Branch Coverage Testing in Software programming