This document is principally concerned with the JUnit Plug-in Test process. As such, the document assumes that the reader is familiar with Eclipse Plug-in Development. If not, reference should be made to the Eclipse online Help sections Platform Plug-in Developer Guide and/or JDT Plug-in Developer Guide.

Where we do make specific reference to Eclipse Plug-in development facilities or concepts, this is with a view to providing the reader with a context within which they can relate to the JUnit Plug-in Test process.

Overview

We are going to illustrate the JUnit Plug-in Test process by working through a simple example in a step-by-step way.

The various stages involved are:

• Test Plug-in Creation
• Establish Plug-in Project Dependencies
• Creating a JUnit Plug-in Test
• Using the TPTP JUnit Plug-in Test Editor
• Deployment of the TPTP JUnit Plug-in Test
• Creating a Workbench Location
• Workbench Location Editor
• Create a Deployment
• Running a TPTP JUnit Plug-in Test
• Analyzing a TPTP JUnit Plug-in Test
• Reports on a TPTP JUnit Plug-in Test