Skapa ett JUnit-test manuellt

Du kan skapa TPTP JUnit-tester manuellt eller genom att importera befintliga JUnit-tester utanför TPTP till ett TPTP JUnit-test. Skapa dem manuellt om du vill använda TPTP JUnit-testets funktion för funktionalitet.

Observera att det måste finnas ett Java-projekt innan du skapar ett JUnit-test.

  1. Välj Arkiv > Nytt > Övrigt.
  2. Expandera Testa. Välj TPTP JUnit-test.
  3. Klicka på Nästa så att dialogrutan Ny JUnit-testdefinition öppnas. Identifiera källmappen (javaProject), paketet (junit.samples) och det namn som ska tilldelas JUnit-testkällkoden (JUnit_src).
  4. Klicka på Nästa. Dialogrutan Ny JUnit-testdefinition öppnas.
  5. Ange överordnad mapp (javaProject/junit/samples) och namn (JUnit_src).
  6. Om du vill kan du klicka på Nästa och ange en beskrivning av JUnit-testdefinitionen.
  7. Klicka på Slutför.

Observera att guidens andra och tredje sida är valfria (dvs. du kan alltså avsluta guiden på första sidan). Dessutom är skillnaden mellan den information som begärs på sidan 1 och 2 följande: på den första sidan anger du namn och plats på källkoden, medan du på den andra anger namn och plats på TPTP-testet (modellen). De är som standard identiska.

(C) Copyright IBM Corporation 2000, 2006. All Rights Reserved.