Right-click on the TPTP JUnit Plug-in test (EclipseUiTest) and select Run/Run As...; to bring up the Run dialog:

If a run configuration does not exist, ensure that the Test section is selected in the Configurations pane, click on the New button, select the Test tab, type a name (runEclipseUiTest in the example) into the Name field. Then select the test to be run (EclipseUiTest) in the Select test to run pane and workDEPLOY in the Select a Deployment pane.
Click on the Apply button then click on the Run button to launch the test.
The TPTP JUnit Plug-in test will then run.
The Test Logs tab allows you to override the log defaults if you wish:


When a test configuration is run, TPTP creates a file, with a .launch suffix, containing metadata. The various parameter settings are interpreted as follows:
|
Parameter |
Meaning |
|
Type of launch configuration: |
Local: Eclipse stores the .launch file in your workspace's metadata folder, which is invisible to other users. Shared: to allow other users access to the .launch file. If checked, click Browse then navigate to a folder in your workspace where you want to store the file |
|
Display in favorites menu: |
To have the test configuration appear in the Run, Debug, or Profile favorites toolbar menus, check the appropriate check box in the displayed list. |
|
Launch in background |
If checked, then Eclipse will run the test configuration in the background. If the test configuration is not run in the background, then nothing can be done in Eclipse until it finishes running the test configuration. |