Crear una prueba JUnit manualmente

Las pruebas JUnit de TPTP pueden crearse manualmente o como resultado de importar pruebas JUnit existentes fuera de TPTP en una prueba JUnit de TPTP. Deben crearse manualmente si van a explotar la característica comportamiento de la prueba JUnit de TPTP.

Tenga en cuenta que para poder crear una prueba JUnit, debe existir un proyecto Java.

  1. Seleccione Archivo > Nuevo > Otro.
  2. Expanda Prueba. Seleccione Prueba JUnit de TPTP.
  3. Pulse Siguiente para lanzar el diálogo Definición de prueba JUnit nueva. Identifique la carpeta fuente (javaProject), el paquete (junit.samples) y el nombre que se debe asignar al código fuente de la prueba JUnit (JUnit_src).
  4. Pulse Siguiente. Se lanza el diálogo Definición de prueba JUnit nueva.
  5. Especifique la carpeta padre (javaProject/junit/samples) y el nombre (JUnit_src).
  6. También puede pulsar Siguiente y proporcionar una descripción de la definición de prueba JUnit.
  7. Pulse Finalizar.

Tenga en cuenta que las páginas segunda y tercera del asistente son opcionales (es decir, puede finalizar el asistente en la primera página.) Además, las diferencias entre la información solicitada en la página 1 y la página 2 son las siguientes: la primera página solicita el nombre y la ubicación del código fuente mientras que la segunda solicita el nombre y la ubicación de la prueba de TPTP (el modelo). Por omisión, son idénticas.

(C) Copyright IBM Corporation 2000, 2006. Reservados todos los derechos.