Dynamic data flow testing of object oriented systems