Creating a JUnit test manually

TPTP JUnit Tests can be created manually or as a result of importing existing JUnit tests outside TPTP into a TPTP JUnit Test. They should be created manually if they are to exploit the TPTP JUnit Test behavior feature.

Note that, before creating a JUnit test, a Java project must exist.

Select File/New/Other then select TPTP JUnit Test from the Test folder:

Now click on Next to bring up the New JUnit Test Definition dialog. Identify the Source folder (javaProject), the Package (junit.samples), and the name to be assigned to the JUnit Test source code (Junit_1).

Now click on Next to bring up the name /location dialog:

Finally (and optionally) provide a description of the JUnit test definition:

Click on Finish.

Note that the 2nd and 3rd pages of the wizard are optional (i.e. you can finish the wizard at the first page). Also, the difference between the information requested in page 1 and page 2 is as follows: the first page asks for the name and location of the source code, while the second one asks for the name and location of the TPTP Test (the model). By default, they are identical (same name and location for the source code and the model resource).