Ruční vytváření testu JUnit

Testy TPTP JUnit lze vytvářet ručně nebo jako výsledek importu stávajících testů JUnit provedených mimo TPTP do testu TPTP JUnit. Měly by být vytvořeny ručně, pokud mají využívat vlastnosti chování testu TPTP JUnit.

Vezměte na vědomí, že před vytvořením testu JUnit musí existovat projekt Java.

  1. Vyberte Soubor > Nový > Jiné.
  2. Rozbalte Test. Vyberte Test TPTP JUnit.
  3. Klepnutím na Další spustíte dialogové okno Nová definice testu JUnit. Určete zdrojovou složku (javaProject), balíček (junit.samples) a název, který má být přiřazen zdrojovému kódu testu JUnit (JUnit_src).
  4. Klepněte na Další. Spustí se dialogové okno Nová definice testu JUnit.
  5. Zadejte nadřízenou složku (javaProject/junit/samples) a název (JUnit_src).
  6. Volitelně klepněte na Další a uveďte popis definice testu JUnit.
  7. Klepněte na Dokončit.

Povšimněte si, že druhá a třetí stránka průvodce je volitelná (tj. je možno ukončit průvodce na první stránce). Rozdíly mezi informacemi, požadovanými na první a druhé stránce, jsou následující: první stránka požaduje název a umístění zdrojového kódu, zatímco druhá stránka požaduje název a umístění testu TPTP (model). Ve výchozím nastavení jsou shodné.

(C) Copyright IBM Corporation 2000, 2006. Všechna práva vyhrazena.