Testing of Communicating Systems