En el contexto del Desarrollo de Software Guiado por Modelos (Model- Driven Development, MDD) las transformaciones de modelos constituyen la actividad principal en el desarrollo de los sistemas. Las transformaciones de modelos pueden ser vistas como programas que toman como entrada un modelo y generan otro en base a un conjunto de reglas previamente definidas. Estas transformaciones deben ser verificadas y validadas rigurosamente para lograr el éxito del paradigma MDD. El proyecto de grado documentado en este informe expone un relevamiento sobre las técnicas de testing tradicionales que han sido adaptadas para transformaciones de modelos y brinda un panorama sobre las barreras existentes y los desafíos a superar en el futuro. A los efectos de poner en práctica los conceptos teóricos relevados se realiza un caso de estudio. El caso de estudio consiste en la verificación de una transformación definida en un proyecto anterior, en base a la generación de casos de prueba y la aplicación de una técnica de verificación existente en la literatura.