Opret en JUnit-test manuelt

TPTP JUnit-test kan oprettes manuelt eller som et resultat af import af eksisterende JUnit-test uden for TPTP i en TPTP JUnit-test. De bør oprettes manuelt, hvis de skal udnytte TPTP JUnit-testfunktionen funktionsmåde.

Bemærk, at inden du opretter en JUnit-test, skal der findes et Java-projekt.

  1. Vælg Fil > Ny > Andet.
  2. Udvid Test. Vælg TPTP JUnit-test.
  3. Klik på Næste for at åbne dialogboksen Ny JUnit-testdefinition. Angiv kildefolderen (javaProject), pakken (junit.samples) og det navn, du vil give kildekoden til JUnit-testen (JUnit_src).
  4. Klik på Næste. Dialogboksen Ny JUnit-testdefinition åbnes.
  5. Angiv den overordnede folder (javaProject/junit/samples) og navnet (JUnit_src).
  6. Klik eventuelt på Næste, og angiv en beskrivelse af JUnit-testdefinitionen.
  7. Klik på Afslut.

Bemærk, at du kan afslutte guiden efter første side, da anden og tredje side i guiden er valgfri. Forskellen mellem de oplysninger, der anmodes om på side 1 og 2, er følgende: På den første side anmodes der om kildekodens navn og placering, mens der på den anden side bedes om navn og placering på TPTP-testen (modellen). Som standard er navnene identiske.

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