Puede crear una prueba JUnit de TPTP de una de dos maneras: manualmente o desde un caso de prueba JUnit existente.
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 aprovechar la característica comportamiento de la prueba JUnit de TPTP.
Si tiene pruebas JUnit fuera de TPTP, puede importarlas a una prueba JUnit de TPTP.