Testing and Debugging in SDN