Importar una prueba JUnit existente
Si tiene pruebas JUnit fuera de TPTP, es posible importarlas en una prueba JUnit de TPTP.
Paso 1
Si las pruebas ya están en una proyecto Java de Eclipse existente, vaya al Paso 2.
-
De lo contrario, primero importe los archivos fuente y de clases Java y del sistema de archivos en un proyecto Java
pulsando Archivo > Importar > Sistema de archivos.
-
Pulse Siguiente. Se lanza el diálogo Importar Sistema de archivos.
-
Pulse Examinar para acceder al directorio necesario y seleccione los archivos relevantes. Pulse Finalizar.
Paso 2
-
Una vez los archivos están en el entorno de trabajo de Eclipse, importe los archivos de clase Java relevantes del
proyecto Java pulsando Archivo > Importar > Pruebas JUnit en TPTP.
-
Pulse Siguiente para visualizar el diálogo Selección de pruebas JUnit.
-
Busque los archivos necesarios y pulse Finalizar.
-
El resultado de una operación de importación satisfactoria será un archivo de prueba JUnit de TPTP asociado al paquete
o la clase importados.
Tenga en cuenta que el asistente de importación muestra todos los casos de prueba JUnit existentes en el espacio de
trabajo que todavía no se han importado a TPTP. Si esta lista está vacía,
eso significa que no se han encontrado pruebas JUnit en el espacio de trabajo o que todas las clases
de prueba JUnit existentes ya se han importado a TPTP.