Opprette en JUnit-test manuelt

TPTP JUnit-tester kan opprettes manuelt eller som et resultat av å importere eksisterende JUnit-tester utenfor TPTP til en TPTP JUnit-test. De bør opprettes manuelt hvis de skal utnytte virkemåte-funksjonen i TPTP JUnit-tester.

Legg merke til at det må finnes et Java-prosjekt før du kan opprette en JUnit-test.

  1. Velg Fil > Ny(tt) > Annet.
  2. Utvid Test. Velg TPTP JUnit-test.
  3. Klikk på Neste for å åpne dialogboksen Ny JUnit-testdefinisjon. Identifiser kildemappen (javaProject), pakken (junit.samples) og navnet som skal tildeles til JUnit-testkildekoden (JUnit_src).
  4. Klikk på Neste. Dialogboksen Ny JUnit-testdefinisjon åpnes.
  5. Oppgi den overordnede mappen (javaProject/junit/samples) og Navn (JUnit_src).
  6. Klikk eventuelt på Neste og oppgi en beskrivelse av JUnit-testdefinisjonen.
  7. Klikk på Fullfør.

Legg merke til at andre og tredje side i veiviseren er valgfrie (det vil si at du kan avslutte veiviseren fra den første siden). Forskjellen på informasjonen det bes om på side 1 og 2, er følgende: på den første siden blir det bedt om navnet og plasseringen for kildekoden, mens det på den andre siden blir bedt om navnet og plasseringen for TPTP-testen (modellen). De er som standard identiske.

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