Transformation of UML interaction diagrams into contract specifications for object-oriented testing