创建 JUnit 测试

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