Testing with JUnit

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

  1. Creating JUnit tests

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


  2. Editing JUnit tests

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


  3. Choose an option to run a test:

  4. Analyzing test results

    When you run a script, the test results for the events are saved in a test log. You can use the Test Log viewer to view the results and events in the test log.


  5. Generating reports on JUnit tests and JUnit plug-in tests

    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