Testing with JUnit

This type of JUnit test generates an execution history from which a report can be generated.

  1. Creating a Java project

    Create a Java project to contain the TPTP JUnit test.


  2. Creating JUnit tests

    You can create a TPTP JUnit test in one of two ways: manually or from an existing JUnit test case.


  3. Editing JUnit tests

    The JUnit Test Suite Editor can create and remove methods on a JUnit test, and control how those methods are invoked.


  4. Choose an option to run a test:

  5. Analyzing test results

    When you run a test, the test results for the events are saved in a test log. Use the Test Log Editor to view and edit the test log.


  6. Generating test reports

    After you have run your tests and generated execution histories, you can generate a report on those test results to summarize the data.


Related concepts
Testing applications