可以手工创建 TPTP JUnit 测试,也可以通过将 TPTP 外部的现有 JUnit 测试导入到 TPTP JUnit 测试中来进行创建。如果 TPTP JUnit 测试要利用 TPTP JUnit 测试的行为功能,则应该以手工方式创建它们。
注意,在创建 JUnit 测试之前,必须存在 Java 项目。
注意,向导的第 2 页和第 3 页是可选的(即,您可以在第 1 页就完成向导)。并且,在第 1 页和第 2 页中请求的信息之间的差别如下:第 1 页询问源代码的名称和位置,而第 2 页询问 TPTP 测试(模型)的名称和位置。缺省情况下,这些信息是完全相同的。
(C) Copyright IBM Corporation 2000, 2006. All Rights Reserved.