Describir: Metodologías y herramientas para testing : Construcción de un compilador TTCN-3 con soporte multiplataforma