Branch coverage

• A program should jump to all possible destinations

        if ($x)
        {
            print "a";
        }
        else
        {
            print "b";
        }

• $x must be true on one occassion and false on another