Double-click on EclipseUiTest to open the TPTP JUnit Test editor:

 

 

The TPTP JUnit Plug-in Test editor is identical to that for TPTP JUnit Test except that, in the Overview tab, the Type field has the value TPTP JUnit Plugin Test rather than TPTP JUnit Test. Otherwise the editor functions exactly as for the TPTP JUnit Test editor.

TPTP JUnit Editor
Mapping test methods to a JUnit test
Behavior Editor
Adding test methods