Dalle classi Java, la verifica JUnit TPTP identifica automaticamente i metodi i cui nomi iniziano per 'test' e li associa ai Metodi di verifica. Ad esempio, l'origine della classe SimpleTest è:
package junit.samples; import junit.framework.*; /** * Some simple tests. * */ public class SimpleTest extends TestCase { protected int fValue1; protected int fValue2; protected void setUp() { fValue1= 2; fValue2= 3; } public static Test suite() { /* * the type safe way * TestSuite suite= new TestSuite(); suite.addTest(new SimpleTest("add") { protected void runTest() { testAdd(); } }); suite.addTest(new SimpleTest("testDivideByZero") { protected void runTest() { testDivideByZero(); } }); return suite; */ /* * the dynamic way */ 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()); } }
Esistono 3 metodi i cui nomi iniziano con 'test': testAdd, testDivideByZero e testEquals. Questi metodi sono riportati nel riquadro Metodi di verifica della scheda Panoramica.
Tenere presente che se l'utente aggiunge un metodo di verifica mediante l'editor, verrà aggiunto un nuovo metodo al codice.
Inoltre, un requisito per poter eseguire una classe JUnit in TPTP è che la classe deve avere un metodo statico "Test suite()" (JUnit standard). Quando la casella di controllo del comportamento è deselezionata, il metodo suite() e il rispettivo contenuto vengono generati automaticamente (ed aggiornati quando l'utente salva la verifica mediante l'editor). Quando la casella di controllo è selezionata, l'utente dovrà implementare questo metodo suite().
Per ulteriori informazioni sulla modifica dei metodi nella verifica, fare riferimento alla sezione Editor di verifica JUnit.
Argomenti correlati
Editor di verifica JUnit