使用 JUnit 进行测试

此类 JUnit 测试将生成可用于生成报告的执行历史记录。

  1. 创建 JUnit 测试

    可以通过两种方法来创建 TPTP JUnit 测试:以手工方式创建,或者根据现有的 JUnit 测试用例来创建。


  2. 编辑 JUnit 测试

    JUnit 测试套件编辑器可以对 JUnit 测试创建和除去方法以及控制那些方法的调用方式。


  3. 请选择选项以运行测试:

  4. 分析测试结果

    运行脚本时,事件的测试结果将保存在测试日志中。您可以使用测试日志查看器来查看测试日志中的结果和事件。


  5. 生成有关 JUnit 测试和 JUnit 插件测试的报告

    在运行测试并生成执行历史记录之后,可以生成一个有关那些测试结果的报告以便对数据进行汇总。


相关概念
测试应用程序