En la clase Java, la prueba JUnit de TPTP identifica automáticamente los métodos de prueba cuyos nombres empiezan por 'test' y los correlaciona como métodos de prueba. Por ejemplo, el código fuente de la clase SimpleTest es la siguiente:
package junit.samples; import junit.framework.*; /** * Algunas pruebas simples. * */ public class SimpleTest extends TestCase { protected int fValue1; protected int fValue2; protected void setUp() { fValue1= 2; fValue2= 3; } public static Test suite() { /* * el tipo de forma segura * TestSuite suite= new TestSuite(); suite.addTest(new SimpleTest("add") { protected void runTest() { testAdd(); } }); suite.addTest(new SimpleTest("testDivideByZero") { protected void runTest() { testDivideByZero(); } }); return suite; */ /* * la forma dinámica */ return new TestSuite(SimpleTest.class); } public void testAdd() { double result= fValue1 + fValue2; // forced failure result == 5 assertTrue(result == 6); } public void testDivideByZero() { int zero= 0; int result= 8/zero; } public void testEquals() { assertEquals(12, 12); assertEquals(12L, 12L); assertEquals(new Long(12), new Long(12)); assertEquals("Size", 12, 13); assertEquals("Capacity", 12.0, 11.99, 0.0); } public static void main (String[] args) { junit.textui.TestRunner.run(suite()); } }
Hay 3 métodos cuyos nombres empiezan por 'test': testAdd, testDivideByZero y testEquals. Estos métodos se listan en el panel Métodos de prueba de la pestaña Visión general.
Tenga en cuenta que, si el usuario añade un método de prueba utilizando el editor de pruebas, se añadirá un método nuevo al código.
Además, un requisito para poder ejecutar una clase JUnit en TPTP es que esta clase debe tener un método "Test suite()" estático (que es una práctica JUnit estándar.) Cuando el recuadro de selección de comportamiento no está seleccionado, este método suite() y el contenido correspondiente se generan automáticamente (y se actualizan cuando el usuario guarda la prueba que utiliza el editor de pruebas.) Cuando el recuadro de selección está seleccionado, el usuario debe implementar este método suite().
Para aprender a editar métodos en la prueba, consulte el tema Editor de pruebas JUnit.
Conceptos relacionados
Editor de pruebas JUnit