Decision coverage testing