模板
教程
环境
性能
功能
管理
关于TPTP的快速简明安装手册
发表于：2007-10-19来源：作者：点击数：
标签：tptp
为了学习和使用TPTP，并且基于此 开发 自定义的 测试 工具，我们需要安装和配置Eclipse环境。为了减轻大家到处查看英文网页的负担，在这里做个简要说明： 1- 下载和安装JDK: http://java.sun.com/j2se/1.5.0/download.jsp 目前最新的是JDK 5.0 Update 5 2-
为了学习和使用TPTP，并且基于此开发自定义的测试工具，我们需要安装和配置Eclipse环境。为了减轻大家到处查看英文网页的负担，在这里做个简要说明：1- 下载和安装JDK:
http://java.sun.com/j2se/1.5.0/download.jsp
目前最新的是JDK 5.0 Update 5
2- 下载和安装Eclipse SDK:
http://eclipse.org/downloads/index.php
目前最新的版本是3.1.1，解压即可。
http://download.eclipse.org/downloads/drops/R-3.1.1-200509290840/index.php
3- 下载EMF SDK 2.1.1:
http://www.eclipse.org/downloads/download.php?file=/tools/emf/downloads/drops/2.1.1/R200509281310/emf-sdo-SDK-2.1.1.zip
这是TPTP依赖的SDK，解压到Eclipse SDK相同的目录。
4- 下载XSD SDK 2.1.1:
http://www.eclipse.org/downloads/download.php?file=/tools/emf/downloads/drops/2.1.1/R200509281310/xsd-SDK-2.1.1.zip
这是TPTP依赖的SDK，解压到Eclipse SDK相同的目录。
5- 下载TPTP SDK 4.0.1:
http://www.eclipse.org/downloads/download.php?file=/tptp/4.0.1/TPTP-4.0.1-200510031151/tptp.sdk-TPTP-4.0.1-200510031151.zip
解压到Eclipse SDK相同的目录。
6- 启动Eclipse:
直接点eclipse/eclipse.exe启动，如果发现TPTP无法加载，使用-clean参数执行eclipse.exe一次。
