Validation and Test Generation for Object-Oriented Distributed Software