可以通过两种方法来创建 TPTP JUnit 测试:以手工方式创建,或者根据现有的 JUnit 测试用例来创建。
可以手工创建 TPTP JUnit 测试,也可以通过将 TPTP 外部的现有 JUnit 测试导入到 TPTP JUnit 测试中来进行创建。如果 TPTP JUnit 测试要利用 TPTP JUnit 测试的行为功能,则应该以手工方式创建它们。
如果 JUnit 测试在 TPTP 外部,则可以将这些测试导入到 TPTP JUnit 测试中。